Email: anastasiia.petrova@rwth-aachen.de
Work:
- Fraunhofer, Produktionstechnologie
- responsible for computer science department rwth’s website
- ITV institute
Teaching:
- Fosap SoSe24, i1, Prof. Katoen
- Mathematik 3 für Physiker und Elektrotechniker WiSe23/24, Lehrstuhl für Mathematik (Analysis), Prof. Michael Westdickenberg
- Fosap SoSe23, i1, Prof. Peter Rossmanith
- Afi WiSe22/23, Lehrstuhl für Angewandte und Computergestützte Mathematik, Prof. Manuel Torrilhon
- Fosap SoSe22, i7, Prof. Martin Grohe
Studies:
- 10/2019-04/2023 Informatik B.Sc. rwth
- 10/2021-09/2023 Mathematik B.Sc. rwth
- 10/2023-now Informatik M.Sc. rwth
Bachelor thesises:
- Model Checking Probabilistic PDA vs Unambiguous Automata
- Convergence Analysis of the Concave-Convex Procedure: A Proof Using Zangwill‘s Theory