Skip to Navigation Skip to Page Content

Tag: Formal Methods

Faculty


Research Focus
  • Computer security
  • Formal methods
  • Program analysis

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