My research interest is in computational algorithmics, complexity, and practical applications thereof, including implementations of parameterized algorithms for various combinatorial hard problems. I focus on model counting propositional formulas and various formalisms in AI, the Boolean satisfiability problem (SAT), and answer-set programming (ASP). I have an industry background in applications of data analysis and evaluation in health care.
See my or for more information and recent publications.
