Search: 
 
MuSyC Member Directory

Search for ...    in

Ben Lickly
    University of California, Berkeley

Username:blickly
(To view user contact information, please log in.)
Home page:http://www.eecs.berkeley.edu/~blickly/
Bio:Ben Lickly is a UC Berkeley EECS PhD student, working in the Center for Hybrid and Embedded Software Systems with Professor Edward Lee. He is interested in models of computation and programming languages, and is currently working on a static analysis framework for analyzing Ptolemy II models based on type theory.
Papers
Group memberships