Lee Center for Advanced Networking
Assistant Professor of Computer Science
MS 256-80, California Institute of Technology
Pasadena, CA 91125

B.S., Electrical Engineering, California Institute of Technology, 1985; M.Eng., Electrical Engineering, Cornell University, 1987; M.S., Computer Science, Cornell University,1997; Ph.D., Computer Science, Cornell University, 2001.

jyh@cs.caltech.edu
http://www.cs.caltech.edu/~jyh

Professor Hickey was a Member of the Technical Staff at Bellcore (now called Telcordia), Morristown, New Jersey, from 1985 to 1995. During that time, his research interests centered around the development of high-speed packet switching technologies, ultimately leading to the development of backbone switching technology for the NSF’s National Research and Education Network (NREN). He is an expert on programming environments and logical frameworks for collaborative development of high-confidence software systems. His work on high-confidence software models led to the development of new software structures that guarantee scalable composition of software systems. Hickey has substantial experience using high-confidence software systems to develop tools, languages, and compilers for building reliable distributed systems. His prototype LPE has been used on the Ensemble group communication system, both to validate distributed communication protocols and to improve their performance.