NEW FACULTY HIRED
July 1, 2008
It is with great pleasure that we announce the hiring for Dr. Christoph Csallner as Assistant Professor in the CSE Department.
Dr. Csallner is an expert in software engineering and is working on software engineering problems, such as how to find software
bugs automatically or how to automatically infer program invariants.
He is an author of several research papers, for which he has received
two ACM SIGSOFT Distinguished Paper Awards, one at ISSTA 2006 (the ACM SIGSOFT International Symposium on Software Testing and Analysis)
and another one at ASE 2007 (the IEEE/ACM International Conference on Automated Software Engineering).
He is a student of Yannis Smaragdakis and has also worked on software engineering issues for Google and Microsoft Research.