Automatization of Mathematics and Software Engineering

Speaker: Lazar Milikic <u>EDIC candidacy exam</u><br> Exam president: Prof. Antoine Bosselut<br> Thesis advisor: Prof. Viktor Kuncak<br> Co-examiner: Prof. Ola Svensson<br> <br> <u>Abstract</u><br> <br> <u>Selected papers</u>