Research Areas

System Level Design

  • Heterogeneous Modeling and Simulation.
  • Multi-MoC Frameworks based on Functional Languages.

Formal Verification

  • Formal Verification for Probabilistic Systems.

Nano Computing

  • Defect-tolerant Computing for Nano Architectures.

Low Power

  • Analysis of Concurrent, Parallel and Complex Computing Systems.
  • Low Power Design of Systems

Networked Embedded Systems

  • Hardware - Software Co-design for Embedded Systems.
  • Networking, Mobile and Ad-Hoc Networking.
  • Probabilistic Modeling of Embedded and Networked Systems.
  • Analysis of Concurrent, Parallel and Complex Computing Systems.