I’m a postdoctoral researcher at Carnegie Mellon University, Silicon Valley, currently researching for the Integrated Symbolic Execution for Space-Time Analysis of Code (ISSTAC) project, which is funded by DARPA STAC. I also worked on a NASA project on safety analysis of flight critical systems. My current focus is on identifying algorithmic complexity vulnerabilities using symbolic execution with heuristic exploration.

Research Interests

My current research interests include:

  • Symbolic Analysis: I work on Symbolic PathFinder, a symbolic execution engine built on the software model checker Java PathFinder. I also maintain JDart, a dynamic symbolic execution engine.
  • Probabilistic Software Analysis: I’m working on analysis of software placed in stochastic environments, e.g., with the goal of quantifying how likely a target event is to occur.
  • Machine Learning: I’m investigating how to leverage machine learning techniques as a heuristic for symbolic analysis. I also used machine learning for mining log data from flight-critical systems.


Before joining Carnegie Mellon University in 2014, I was affiliated with Aalborg University in Denmark, where I completed my B.Sc. in Software Engineering (2009), M.Sc. Cum Laude in Software Engineering (2011), and Ph.D. in Computer Science (2014).

During my Ph.D., I worked on temporal verification of real-time embedded systems using a combination of static analysis and Timed Automata model checking using the UPPAAL model checker. As part of this effort, I developed TetaSARTS, a tool for generating a Timed Automata description from Java real-time systems written in Safety Critical Java. Among others, I also developed a time predictable version of the Hardware near Virtual Machine (HVM), a lean and portable JVM implementation targeting embedded systems.

In 2013, I was a visiting researcher at NASA Ames Research Center, Mountain View, where I worked with Corina Păsăreanu on symbolic execution, temporal analysis of systems, and probabilistic software analysis.


Email (preferred): kasper.luckow@sv.cmu.edu
Phone: (650) 335-2889

Kasper Søe Luckow
NASA Research Park
Building 19, Room 1006
Moffett Field, CA 94035