I am a PhD student advised by professor Grigore Rosu currently working on the K Framework at FSL as a graduate research assistant. I am working on generating language independent program verifiers, compilers, etc. with only an arbitrary program semantics as parameter. I received undergraduate degrees in computer science and mathematics at the University of Pennsylvania in 2015.
- 2107 Thomas M. Siebel Center for Computer Science, 201 N. Goodwin Avenue, Urbana, IL 61801
- Email: lpena7 AT illinois DOT edu