[TYPES/announce] FME Teaching Tutorial on August 1, 2025 @ 3 pm CEST: Dragana Milovancevic, EPFL, Switzerland, on Formal Autograding in a Classroom

[Luigia Petre]

Dear all,

We continue our Formal Methods Teaching tutorials series with a lecture on Friday, August 1st, at 3 pm CEST!

(first Friday of the month...)

Dragana Milovancevic is a doctoral assistant in the LARA group (Laboratory for Automated Reasoning and Analysis) at EPFL, under the supervision of Prof. Viktor Kuncak. Her research interests are in the field of formal verification, and include equivalence checking and automated grading. Dragana will talk about a recent paper on formal autograding.

Here comes the abstract of the talk:

In this talk, I will present our work on automated grading of functional programming assignments, and share our experience in enhancing automated grading in an undergraduate programming course using formal verification. In our experiment, we deploy a program verifier to check the equivalence between student submissions and reference solutions, alongside the existing, testing-based grading infrastructure. Consequently, we achieve higher confidence in correctness of idiomatic solutions but also more thorough assessment of solution landscape that reveals solutions beyond those envisioned by
instructors.

The event will last about an hour.

Warmly welcome!!

Best wishes,
Luigia


__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!VVpi9O5-LCocD_dF6msC60_vZs89NVdHTg7Bse2kdMCf3vGXPfxc8l4aR2q9ErMOEHaSAv7HrgrKHwcf_e8gCPY4HUX1cFw5BhQY$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250726/ea2935c7/attachment-0001.htm>