Skip to main content

Daniel Luchaup

Post Doctoral Researcher, CyLab


Daniel Luchaup

Cross Cutting Thrusts

Software Security
Formal Methods


Daniel Luchaup is a Post Doctoral researcher at CyLab, Carnegie Mellon University. He received his Computer Science PhD in 2015 from the University of Wisconsin at Madison, under the supervision of Professor Somesh Jha. His research interests include the application of programming languages theory and compiler techniques to software security, with a recent focus on binary program analysis.