Andrea Keusch

During my Master's, I specialized in secure and reliable systems. Among many courses, I completed program verification and formal foundations of programming languages. I was awarded the ETH Medal for my Master's thesis "Dependency Analysis in Automated Verification Proofs".
GPA: 5.7/6.0

In my Bachelor's degree, I acquired the foundations of computer science in a wide range of topics, such as (functional) programming, discrete mathematics, parallel computing, compiler design, formal methods and machine learning.
GPA: 5.5/6.0

I'm a doctoral student in the Programming Methodology Group of ETH Zurich under the supervision of Prof. Dr. Peter Müller. I research in the area of program verification. My main focus is on veryifing transpilations to Rust by proving the equivalence of programs and their transpilation.

I co-designed a datamigration from an Oracle to a Postgres database, which was a major part of a large migration project. In the final phase of this 2.5-year-long project, I took the lead in testing the correctness, stability, and performance of the datamigraton. The datamigration successfully ran over an extended weekend and finished well within the strict time frame without any incident. In this project, I collaborated with a dynamic project team and customers, and I have gained valuable experience in project management.
After this project, I joined the Cloud engineering team for 6 months, where I have learned the basics of Kubernetes, Ansible, and Terraform.

During my 6-months internship, I maintained and implemented new features in a CRM web application. I gained valuabe insights into project management, collaboration, and the practical sides of computer science in general.

I was awarded the ETH Medal for my Master's thesis "Dependency Analysis in Automated Verification Proofs". This award is given to the best 2.5% of the Master's theses.