kmicinski.com

Interested in automated reasoning, static analysis, and logic programming and literally nothing else.