Zach Battleman

About

My name is Zach, and I study Computer Science at Carnegie Mellon University advised by Marijn Heule and Randy Bryant.

My research interests are in automated reasoning and formal methods broadly, with a particular interest in SAT solvers. To date, my research has largely focussed on massively parallel SAT solving that is most useful for resolving deep, intricate combinatorial problems. More generally, I am interested in making formal methods, verification, and automated reasoning more usable and powerful for mathematicians, programmers, and hobbyists.

If these topics are interesting to you, feel free to reach out!