Department of Mathematics and Computer Science

Yuki Matsubara defends his PhD thesis at a public lecture: “A Study of Moduli Spaces of Parabolic Connections and Geometric Langlands Correspondence”.The chairman of the assessment committee, Associate Professor Fabian Haiden, will act as chairman at the defence.The PhD defence takes place in U146 (Ø15-501a-2).All are welcome.

Jonas Vistrup defends his PhD thesis at a public lecture: “Explainable AI and the Law: Expert Systems for Danish Traffic Law”.The chairman of the assessment committee, Associate Professor Tariq Yousef, will act as chairman at the defence.The PhD defence takes place in U48A (Ø4-602-2).All are welcome.

Poster Session and presentation

Want to know what is going on behind the scenes at IMADA?Come and join us for 2 x 20 min. inspiring talks while you enjoy a free “casual after-work” beer with your fellow student, colleague or teacher.This time Postdoc Xueying Qin (Topic: Using LLMs in Lean 4: The Next Stage of Proof Automation) and Associate Professor Lars Rohwedder (Topic: AI for Math and TCS Research: A User's Perspective) will each spend 20 minutes each telling you about their current research.

Speaker: Pallav Goyal (​University of Southern Denmark).Abstract: TBA

Speaker: Shing Tak Lam (​University of Warwick).Abstract: TBA

Students develop a wide range of competences throughout their education, but they do not always recognise everything they become better at along the way.