Real-Time and Embedded Systems

Research Interests

  • Synchronous languages
  • Domain specific languages
  • Model based design
  • Operative semantics and model execution
  • Ptolemy
  • Concurrent programming and distributed algorithms