Lucas Peña

From FSL
Revision as of 18:31, 16 August 2016 by Lpena7 (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


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.

Contact Info

  • 2107 Thomas M. Siebel Center for Computer Science, 201 N. Goodwin Avenue, Urbana, IL 61801
  • Email: lpena7 AT illinois DOT edu
Personal tools