Liana Hadarean

lianah [at] cs [dot] nyu [dot] edu
Liana Hadarean
I am a Ph.D. student in Computer Science at New York University, advised by Clark Barrett .

I am interested in Satisfiability Modulo first-order Theories (SMT), automated reasoning, decision procedures, formal verification of hardware and software (abstract interpretation, model checking).

I am currently doing research as part of the NYU ACSys Group and I am a member of the developing team for the SMT solver CVC4 (the latest in the Cooperating Validity Checker family of tools and the successor of CVC3 )