Registered user since Thu 2 Mar 2017
Name: Kasper Luckow
Country: United States
Affiliation: Carnegie Mellon University
Personal website: http://andrew.cmu.edu/user/kluckow/
Research interests: program analysis, verification, machine learning
Contributions
| JPF 2019 | Committee Member in Program Committee within the JPF 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ASE 2019-profile
View general profile
View general profile