JulianParsert

I am a computer scientist interested in a broad range of topics. My research focus lies at the intersection of formal methods, automated reasoning, and AI. I am always happy to discuss my research and potential collaborations, so feel free to reach out.

Apart from my computer science, I spend a lot of my time climbing – preferably on rock, but you’ll find me in climbing gyms as well.