|
Bio:
Jesse Bingham completed his PhD in Computer Science in August 2005 under the supervision of Anne Condon and Alan Hu at the University of British Columbia. His thesis revolved around formal verification of shared memory protocols, included complexity results on verifying sequential consistency and techniques for parameterized verification. Post-graduation, Jesse spent 1.5 years developing and applying formal verification techniques to an implementation of Intel’s Quickpath interconnect.
Currently Jesse works in Intel’s Microarchitecture Research Lab. His main research thrust here is the use of formal methods to reduce validation effort in future microprocessor designs. To this end, he has recently become interested in the use of theorem proving, in particular HOL, for correct computer hardware design and synthesis.
Jesse has 12 journal and conference publications on several topics: formal verification of memory models, parameterized model checking, SAT solving, cellular automata, software verification, and computer architecture. He lives in Portland and enjoys eating and jogging.
|
