Muse TECHNOLOGIES
  • Home
  • ACADEMIC BIO
  • News
  • Projects
  • Contact

current projects

Axiomatic Methods in Non-classical Model Theory
​​
Component-based Formal Verification
Powered by Create your own unique website with customizable templates.
  • Home
  • ACADEMIC BIO
  • News
  • Projects
  • Contact