Alexis Maciel
Associate Professor
Department of Computer Science
Clarkson University
Office Hours

Mon 1-2:30, Tue 9-11:30, Wed 1-2:30, Thu 9-11:30

Teaching

This semester (Fall 19), I'm teaching

Next semester (Spring 20), I'm scheduled to teach

Research

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...

Service

I currently serve as Executive Officer of the Computer Science department. I also serve on the following committees:

Contact Information