About me

I am a Postdoctoral Researcher in the Computational Logic Center at The University of Iowa
and my advisors are Cesare Tinelli and Omar haider Chowdhury. I received my Ph.D. from
University College Dublin under the supervision of Joao Marques-Silva.

Research Interests

SAT/SMT, Software Verification, and Computer Security

Previous Work Experience