[logo] Jason Hickey
Assistant Professor of Computer Science
Division of Engineering and Applied Science
California Institute of Technology

Home
Info
Students
Teaching
Research
Publications
Student theses
Professional
CV
MetaPRL
OMake
Yapper.org
Random

Professional responsibilities

Program Committee Membership

2006  Logic in Computer Science (LICS)
2004, 2005, 2007, 2008
  		Theorem Proving in Higher Order Logics (TPHOLs)
2006
  		International Joint Conference on Automated Reasoning (IJCAR)
2005  International Conference on Functional Programming (ICFP),
2005, 2006
  		Workshop on Distributed Shared Memory (DSM),
2005  International Conference on Control Systems and Computer Science (CSCS),
2004, 2005
  		Formal Methods and Models for Codesign (MEMOCODE),
2007
  		Workshop on Tools, Operating Systems and Programming Models for Developing Reliable Systems (TOPMoDelS),



Generated on Fri Jan 11 20:19:52 PST 2008
Copyright © 2003-2007 Jason Hickey, Caltech.
Computer Science Department, California Institute of Technology