Guillermo Morales-Luna

My interests include

• mathematical logic (model theory, Peano arithmetic, proof theory, automatic theorem proving),

• the mathematical foundations of Computer Science (recursive functions, formal languages and automata, complexity, algorithms), 

• cryptography, and

• quantum computing.