I am a computer scientist and an electronic engineer.

I was a member of
SAT Team @ CASL / CSI,
University College Dublin.


Recent News

I was awarded a doctoral degree (Ph.D.) in September 2013.

November 2011, I am a recipient of the CASL ACE Award (Photos),
for contributions to the development of MUS/QBF-based Bi-Decomposition Methods.

Recent Research

Satisfiability-based verification and optimization
for Electronic Design Automation (EDA)
under the supervision of Professor
Joao Marques-Silva.