Robert L. Bocchino Jr.
Since May 2013 I have been a software engineer and researcher at the NASA/Caltech Jet Propulsion Laboratory (JPL) in Pasadena, California.  I perform research and develop-ment relating to next-generation space flight computing.  My recent projects include (1) a programming language that simplifies the verification and parallelization of flight software; (2) a testing framework for flight software; and (3) developing benchmarks for evaluating a next-generation multicore space flight processor.
Before joining JPL I was a Postdoctoral Assoc-iate at Carnegie Mellon University, working with Jonathan Aldrich.  Prior to that I was a Ph.D. student at the University of Illinois at Urbana-Champaign.  My Ph.D. and post-doctoral research developed novel languages and type systems for safe and efficient parallel programming.