Skip to Navigation Skip to Page Content

Tag: Programming Languages

Faculty


Research Focus
  • Language-based methods in computer security
  • Semantics of programming languages
  • Formal model-driven system synthesis

Research Focus
  • Computer-aided design
  • Computational biology
  • Programming language

Research Focus
  • High Performance computing & networks
  • Bioinformatics
  • Parallel and distributed systems