|
TU Darmstadt Department of Computer Science Modeling and Analysis of Information Systems Hochschulstraße 10 D-64289 Darmstadt Germany |
GPG-Key: 4096R/5C866695, Fingerprint: 828E 8270 83CB 250B 61D1 471C 94A3 B2D5 5C86 6695
I received my B.Sc. and M.Sc. degree in computer science at Technische Universität Darmstadt in 2016 and 2018, respectively. Afterwards, I joined the MAIS group as a PhD candidate in the Software-Factory 4.0 project. My current focus is to obtain reliable correctness guarantees for (semi-)automatic parallelization of sequential software.
Are you looking for a thesis topic or a position as student assistant? Are you interested in applying formal methods to obtain correctness results? Feel free to contact me via e-mail for open thesis topics or student assistant positions connected to my current research topics.