I am interested in creating provably-correct software to meet intuitive specifications. Translating meaningful goals into trustworthy programs will increase the tractability of increasingly challenging problems in the Programming Languages domain.
I am interested in verifying distributed systems and devising techniques for enabling reliable distributed computing such as secret sharing and error control. As networked information systems become ever more ubiquitous, formal reasoning about reliable and secure communication of interconnected programs is needed for these systems to meet the needs of increasing global communication.
Parameterized Verification of Systems with Global Synchronization and
Guards. N. Jaber, S. Jacobs, C. Wagner, M. Kulkarni and R. Samanta.
CAV 2020. In Computer Aided Verification (CAV) 2020.
Extended version available on arXiv.