SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Robert Bocchino

Not registered as user yet

Name: Robert Bocchino

Bio: 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 development relating to next-generation space flight computing. My current projects include (1) developing a programming language that assists verification of flight software and (2) developing benchmarks for evaluating a next-generation space processor.

Before joining JPL I was a Postdoctoral Associate 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.

Affiliation: NASA/Caltech Jet Propulsion Laboratory

Personal website: http://rob-bocchino.net/

SPLASH 2014 Activities

SPLASH 2014-profile
View general profile