### ðŸ”— About William DeMeo

I am a postdoctoral researcher in the Algebra Department at Charles University in Prague. Libor Barto is my postdoc supervisor.

I have worked in mathematics departments at the University of Colorado, Boulder with Peter Mayr (2017--2019), the University of Hawaii with Ralph Freese (2016--2017), Iowa State University with Cliff Bergman (2014-2016), and the University of South Carolina with George McNulty (2012--2014).

My main specialty is universal algebra; current projects focus on lattice theory, computational complexity, and universal algebraic approaches to constraint satisfaction problems. Other research interests include logic, category theory, type theory, functional programming, computer-aided mathematical proof and formalization of mathematics.

### ðŸ”— Contact

** gitlab** Â Â Â Â
** github** Â Â Â Â
** google scholar** Â Â Â
** microsoft academic** Â Â Â Â Â
** cv**