Who's Who in
Sciences Academia

    Harry Mairson

  • Professor
  • Harry Mairson
  •  
  • Department of Computer Science
  • http://www.cs.brandeis.edu/cs/index.html
  • Brandeis University
  •  
  • Volen Center for Complex Systems
    Room 261
    Waltham, Massachusetts 02254
  •  
  •  
  • Contact by e-mail?
  •  
  • Optimal evaluation
    Game semantics and proof structures
    Expressibility and typed lambda calculus
    Polymorphic type inference
    Data types, objects, and coercion
    Logic and deductive databases
  •  

  • Start A New Search

    If you are a faculty member and are not presently included in our Who's Who in Academia, you may submit a request to be added.

    If you are currently included in our database and have previously established an account, you can update any of the information shown in your record.

 


RSS for the latest higher education jobs
Atom for the latest higher education jobs
Need a Sabbatical Home?
AcademicHomes.com

Academic Homes