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

This semester (Fall 14), I'm teaching

Next semester (Spring 15), I will be on sabbatical. So no teaching.

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