Researcher @ From 2007 to Present (8 years) Engineer / Scientist @ Verification of mainframe memory subsystems. From September 2001 to June 2007 (5 years 10 months)
PhD, Computer Science @ University of Pennsylvania From 2003 to 2007 Sebastian Burckhardt is skilled in: Computer Science, Algorithms, Software Engineering, Jazz Piano, Distributed Systems, C++, LaTeX, Software Development, Programming, High Performance...