| layout | permalink |
|---|---|
default |
/ |
I am a Senior Research Engineer at Runtime Verification Inc. I am currently working on the formal modeling and verification of blockchain and distributed systems (see projects below). I received my MS and PhD degrees in computer science from the University of Illinois at Urbana-Champaign. My research interests are in applying formal methods to verification of software systems with the goal of improving software quality and reliability.
Check out my CV for more details.
- Project 1
- Project 2
- Project 3
See a more complete list of ongoing and past projects here
- Project 1
- Project 2
- Project 3