CSE Faculty Details

Christoph Csallner

Christoph Csallner
Christoph Csallner
Assistant Professor

  • Office : 306 Nedderman Hall
  • Office Hours :
  • Phone : 817-272-3334
  • E-mail Address : csallner@uta.edu
  • Website : http://ranger.uta.edu/~csallner
  • Primary Research Stem : Software Engineering
  • Research Interests : Software Engineering, Program analysis and Automated testing
  • Biography : 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.