Jack Stanek

I am a fourth-year Ph.D student in the Department of Computer Sciences at the University of Wisconsin-Madison advised by Prof. Adithya Murali. My research focus lies at the intersection of programming language theory and machine learning, particularly in neurosymbolic reasoning and probabilistic modelling. In particular, I am interested in how unreliable neural and probabilistic systems can be integrated into rigorous paradigms like automated reasoning and formal verification.

Before coming to Wisconsin, I completed my B.S. in computer science at the University of Minnesota-Twin Cities. I completed minors in mathematics and German language as well. After graduation, I worked for four years in the high-performance computing industry.

Outside of my studies, I enjoy cooking, reading, music, and going to the movies.