This semester (Spring 12), I'm teaching

CS141 Introduction to Computer Science I
CS142/IT501 Introduction to Computer Science II

More...

My main research interests are in circuit complexity and proof complexity. I also have an old interest in applications of semigroup theory to circuit complexity and a new interest in algorithms for the propositional satisfiability problem. More...

I am currently serving on the following committees:

Computer Science Undergraduate Committee
Joint CS/ECE Software Engineering Committee
Arts and Sciences Academic Affairs Committee

E-mail: alexis clarkson edu
Phone: (315) 268-2385
Fax: (315) 268-2371
Mail: Dept. of Computer Science, Clarkson University, Potsdam, NY 13699-5815, U.S.A.
Office: Science Center 379