Stefan Bucur works on scaling automated software testing to systems of millions of lines of code. In this regard, he is building Cloud9, a cluster-based parallel symbolic execution engine. He is focused on techniques for mitigating path explosion, as well as making testing tools more accessible to developers. Prior to joining EPFL, Stefan received his Dipl.Eng. from "Politehnica" University in Bucharest. He is currently the recipient of the 2011 Google European Fellowship in Software Dependability. Stefan has been doing an internship at Google Zurich, working on deploying Cloud9 in the Google computing infrastructure.

Vitaly Chipounov is building S2E, a platform for multi-path in-vivo analysis of complex software systems. S2E empowers developers to build practical analysis tools such as comprehensive performance profiling, reverse engineering of proprietary software (RevNIC), or bug finding for both kernel-mode and user-mode binaries (DDT). S2E is publicly available and actively used at several research institutions world-wide. He holds a B.S. and M.S. degree in Computer Science from EPFL. 

Baris Kasikci's research is centered around building techniques, tools and environments that will ultimately help developers build more reliable software. He is interested in finding solutions that will allow programmers to debug their code in an easier way. In this endeavor, he mainly concentrates on ways to deal with concurrency bugs. He holds B.S and M.S degrees in Electrical and Electronics engineering from the Middle East Technical University, Ankara, Turkey. He has 4 years of experience developing embedded systems software prior to joining EPFL.

Johannes Kinder joined the Dependable Systems Lab as a postdoctoral researcher in March 2011. He holds a doctorate in computer science from Technische Universität Darmstadt and a Master’s degree (Diplom) from Technische Universität München. His research interests revolve around automated program analysis, with particular focus on making formal methods applicable to assessing and improving the reliability and security of real world software.

Volodymyr Kuznetsov works on scaling symbolic execution and related program testing and verification techniques to work on large systems code bases. As one of the steps in this regard, he is building S2E, a platform for multi-path in-vivo analysis of complex software systems. S2E empowers developers to build practical analysis tools such as performance profiling, reverse engineering of proprietary software (RevNIC), or bug finding for both kernel-mode and user-mode binaries (DDT). S2E is publicly available and actively used at several research institutions world-wide. Volodymyr holds a B.S. and M.S. degree in Applied Physics and Mathematics from MIPT.

Cristian Zamfir is working on techniques for automated debugging using execution synthesis, a technique that starts from a bug report and automatically produces an execution of the program that leads to the reported bug symptoms. His main interests are in automated testing and debugging concurrent systems using a mix of systems and program analysis techniques. He received his M.S. from University of Glasgow in 2007 and B.S. from University Politehnica of Bucharest in 2005.