Pamina Georgiou

PhD student

I’m a PhD student in Laura Kovác’s group working on software verification with the first-order theorem prover Vampire.

In 2020 I interned (remotely) with the Automated Reasoning Group at Amazon Web Services. The internship was focused on extending the invariant generation tool LoopInvGen to solve for quantified invariants thereby proving the correctness of programs containing arrays.

Pamina Georgiou
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien

Room: HE 03 09 (how to get there)
Phone: +43 (1) 58801 – 192 411

Latest News

FORSYTE’s 2018 paper awards

FORSYTE has had a quite successful year: Adrian Rebola Pardo and his co-authors received the IJCAR best paper award for their paper Extended Resolution Simulates DRAT, Mitra Tabaei Befrouei and her co-authors received an OOPSLA 2018 Distinguished Paper award for their paper Randomized Testing of Distributed Systems with Probabilistic Guarantees, and Thomas Pani received the […]

Continue reading

Full news archive