• 2013 Present

    PhD, Computer Science

    University of Illinois

    Adviser: Darko Marinov
  • 2009 2013

    BSc, Computer and Software Engineering

    Polytechnic University of Timisoara, Romania

    Advisory: Danny Dig and Marius Minea


  • October 2016: I'm visiting George Mason University and giving a talk
  • .
  • August 2016: I'm the TA for our graduate class on Software Testing CS527
  • .
  • June 2016: We've released NonDex
  • May 2015: I'm interning at Microsoft Research Redmond for the summer.
  • May 2015: I'm attending the Fifth Summer School on Formal Techniques in Atherton, California.
  • March 2015: I'm visiting Timisoara, Romania and giving a talk about PhD studies and research in the US for students.
  • March 2015: I'm visiting London and Oxford for Spring Break and giving talks at Oxford, UCL, and Imperial. Thanks to Cristi Iuga for hosting me for a week in Oxford.
  • August 2014: Awarded Saburo Muroga Endowed Fellowship for 2014-2015
  • July 2014: I'm attending the TAROT summer school on Software Testing Research in Porto.
  • May 2014: I'm interning at Google in Mountain View for the Summer'14 semester.
  • May 2013: I'm going to University of Illinois at Urbana-Champaign for my PhD. I'll be co-advised by Danny Dig and Darko Marinov. Starting August 2013.
  • May 2013: I'm attending Third International SAT/SMT Summer School 2013 this July in Helsinki.
  • February 2013: our latest refactorings that empower Java programmers to use lambda expressions are shipping with the official release of the NetBeans IDE.