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

EDA on GPU, GPGPU

• SystemC Simulation on GPU
• Verilog and VHDL simulation on GPU