Home » Computer Sciences » Computer Science By People » B

B - Computer Sciences Directory

• Franck van York University
  
  Breugel Franck van York University Ontario Concurrent programming languages, semantics, specification languages. ...
  http://www.cse.yorku.ca/~franck/

• HP Labs
  
  HP Labs is the central research lab for HewlettPackard. Java, Garbage collection, language theory. ...
  http://geocities.com/burdakov/

• Bundy, Alan University of Edinburg Understanding the structure of mathematical proofs using proof plans, automated theorem proving.
  
  My research is concerned with the analysis of, development of and interaction between reasoning processes. Together with my students, research fellows and other collaborators, the reasoning processes I have studied include: proof methods, including d ...
  http://homepages.inf.ed.ac.uk/bundy/

• Carnegie Mellon
  
  Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection. ...
  http://www.cs.cmu.edu/~guyb/home.html

• University of Technology Aachen
  
  Personal homepage of computer scientist Simon Becker. Includes CV, publications, research and teaching information. ...
  http://www-i3.informatik.rwth-aachen.de/private/sbecker/index.html