WiSE seminar with Laura Kovacs, Associate Professor of Formal Methods at the Department of Computer Science and Engineering, Chalmers.
On 8 June 2016 Laura Kovacs will be presenting her WiSE seminar with the title “Enjoying Research at the Intersection of Math and Computer Science”. Laura Kovacs is Associate Professor of Formal Methods at the Department of Computer Science and Engineering, Chalmers.
Laura Kovacs’ research and teaching focuses on computer theorem proving and symbolic computation, and integrates program analysis techniques with new approaches to program assertion synthesis and automated reasoning. She is the co-developer of the award-winning theorem prover Vampire, with a special role on enhancing theorem prover with novel features for program analysis. She works interdisciplinary, bridging together computer science, mathematics and logic. Laura Kovacs is a Wallenberg Academy Fellow, and she has been awarded the European Research Council Starting Grant. Welcome!
When? Wednesday 8 June, 11:30–13:00 (incl. lunch)
Where? Landahlsrummet (7430), Maskingränd 2, vån 7Ö, Chalmers Johanneberg
During the seminar we offer lunch. Please register by the latest on Friday 3 June with an email to firstname.lastname@example.org.