5 free lookup(s). No credit card required.
PhD Candidate Computer Science (Formal Semantics of Memory, "Operational verification of a relativistic program")
2005-2009MSc Computer Science (Logics of Time and Computation) ("Demonstrating the undecidibility of first-order peano arithmetic in higher-order logic")
1995-1998BSc Industrial Technology (Magna Cum Laude, Network Models and Discrete Simulation)
1984-1987AAS (Electronic Engineering, "Fast Successive Approximation")
(Top Secret Clearance with SSBI, SCI-Eligible; E6 (PO 1st Class))
Find contact details for 700 million professionals.