Computing Systems

  • Embedded Computing Systems, Microprocessors

    Integrated Digital Circuits

  • ASIC Design, Low Power, Timing, Validation

    Design Automation

  • Modeling, Synthesis and Verifcation

    Formal Methods

  • Model Checking and Theorem Proving

    Emerging Technologies

  • Nanotechnologies, Quantum Computing