Harry Mairson
Ph.D., Computer Science, Stanford University, 1984
mairson at cs dot brandeis dot edu
257 Volen / (781) 736-2724
Courses
At Brandeis:
-
CS21b: Structure and Interpretation of Computer
Programs
-
CS30a: Introduction to Theory of Computation
-
CS30b: Algorithm Design and Analysis
-
CS190: Programming Language Theory
-
CS240: Computational Logic
-
USEM77a: Where the Idea of the Computer Came From
At Boston University:
-
CS320: Introduction to Programming Languages
-
CS520: Programming Language Theory: Pi-Calculus, Lambda-Calculus
-
CS792: Logic for Computer Science
Go back up.
Mail comments to webmaster@cs.brandeis.edu.