Skip to main content

Julian Parsert

Personal photo - Julian Parsert

Julian Parsert

Doctoral Student

Leaving date: 13th May 2024

Interests

Program Synthesis, Verification, Interactive and Automated Theorem Proving, Machine Learning

Biography

I successfully completed my studies and left the department. Further information can be found at www.parsert.com or by contacting me at julian.parsert@gmail.com.

Selected Publications

View AllManage publications

Supervisor