Researcher in theoretical computer science. Home site with academic resources (academic papers and talks), opinions, and personal information.

Professor at the Universität des Saarlandes, Saarbrücken, Germany working on the verification and synthesis of reactive systems.

Professor in Department of Mathematics at Purdue University.

Associate Professor in Department of Computing Sciences, Villanova University, Pennsylvania.

Researcher in theoretical computer science, specifically in the area verification of graph-based specifications. Website provides academic papers and personal information.

Research interests in natural language processing, lexical semantics using both symbolic and statistical analysis methods for parsing and word sense disambiguation, sense representation and rephrasing

Professor in CS Dept, UCB.

Professor in CS Dept, UCB.

Professor of Applied Mathematics and Computer Science at Yale.

Post-doctoral fellow at Oxford University Computing Laboratory. Research in models of quantum computation, high level methods for quantum computing and state transfer.