I am an Assistant Professor in the NYU Computer Science Department and a member of the Analysis of Computer Systems Group.

Research

My research focuses on program analysis and verification, automated deduction, concurrent software, and software productivity.

Recent Publications

• New Ideal Abstractions for Well-Structured Transition Systems with Damien Zufferey and Thomas A. Henzinger
  In Proceedings of VMCAI, 2012. [pdf]
• New Deciding Functional Lists with Sublist Sets with Marco Muñiz and Viktor Kuncak
  In Proceedings of VSTTE, 2012. [pdf] [pdf-extended]
• New An Efficient Decision Procedure for Imperative Tree Data Structures with Marco Muñiz and Viktor Kuncak
  In Proceedings of CADE, 2011. [pdf] [pdf-extended]
• New Scheduling Large Jobs by Abstraction Refinement with Thomas A. Henzinger, Vasu Singh, and Damien Zufferey
  In Proceedings of EuroSys, 2011. [pdf]
• Decision Procedures for Automating Termination Proofs with Ruzica Piskac
  In Proceedings of VMCAI, 2011. [pdf]
• Counterexample-Guided Focus with Andreas Podelski
  In Proceedings of POPL, 2010. [pdf]

Complete list of publications

Biography

I earned my master's degree in Computer Science at the Max Planck Institute for Informatics, Saarbrücken, Germany (2005) and received my doctorate in Computer Science from the University of Freiburg, Germany (2009). Before joining NYU, I held post-doctoral positions at École Polytechnique Fédérale de Lausanne, Switzerland and at the Institute of Science and Technology Austria.

See also my curriculum vitae.

Tools

• Bohne
• Jahob
• SLAyer
• HAVOC

Teaching

• Rigorous Software Development, Spring 2012.
• Programming Paradigms for Concurrency, IST Austria, Fall 2010.

Professional Services

Program committee member:

• WING 2012 (co-chair), BOOGIE 2012, FTfJP 2012, SAS 2012, VSTTE 2012
• WING 2010
• WING 2009