intro
Pamina Georgiou
PhD Studentin, TU Wien
Profile picture for user Pamina Georgiou
Ich bin PräDoc-Studentin in der Automated Program Reasoning Group unter Betreuung von Dr. Laura Kovács an der TU Wien.
Forschungsinteressen: Automated Software Verification, Program Analysis, Automated Deduction, Theorem Proving, Formal Methods.

Skills:

Programming
,
Formale Methoden
,
Theorem Proving
,
Software Verification