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

Spring 21: MTuWTh 9:30-11


This semester (Spring 21), I'm teaching

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


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 as

Contact Information