Rodolfo Jordao

PhD Student @ KTH

Summary

I am doing my PhD at the ForSyDe group under Ingo Sander's supervision. Using the Cyber-Physical Systems community jargon, my main research focus is Design Space Exploration, both in specific techniques development as well as overall methodical optimization refinement. From a pragmantic perspective, I am the current responsible for development and maintence of the DeSyDe tool from the ForSyDe ecosystem or any of its future incarnations.

Research

Interests

Basically all that relates to Hardware/Software CoDesign fits in my research interests, and any optimization related topic. As a consequence of many methodologies available to achieve a formal "correct" design of a system, there are a handful of topics which must also be considered into the optimization/decision stage originating from other more mature disciplines.

Here is a non-exhaustive list of topics, ordered roughly in order of direct to indirect interest,

  • Optimization methodologies and techniques, e.g. Constraint Programming, Convex Programming, Heuristics in general etc.
  • Real time theory, leaning towards schedulability analysis
  • Formal high-level modelling of cyber-physical systems
  • High level Hardware and software synthesis of cyber-physical systems formal models
  • Hardware architectural design for predictable and reliable applications

Publications

Teaching