This semester (Spring 13), I'm teaching

CS141 Introduction to Computer Science I
CS344 Algorithms and Data Structures

Next semester (Fall 13), I'm scheduled to teach

CS142/IT501 Introduction to Computer Science II
CS345/MA345/CS541 Automata Theory and Formal Languages

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 currently serve 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