Alexis Maciel
Associate Professor
Department of Computer Science
Clarkson University
Schedule
Teaching
Research
Service
Brief History
Contact
Teaching

This semester (Spring 14), I'm teaching

Next semester (Fall 14), 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 on the following committees:

Contact Information