Two PhD Positions in AUTOSARD available
12.01.2023 | job offers
![](/media/filer_public_thumbnails/filer_public/e6/75/e67579e3-0eb4-4fe0-8979-4c9d531d7656/esop.jpg__576x346_q85_crop_subsampling-2.jpg)
TCS @ ESOP & OOPSLA
Two new papers accepted: "On the Hardness of Analyzing Quantum Programs Quantitatively" will be presented at ESOP, while "Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs" will be presented at OOPSLA.
26.07.2024 | publications
![](/media/filer_public_thumbnails/filer_public/1e/67/1e67fd1c-ec33-4897-8746-2d1eeccfd24d/jamie_master.jpg__576x346_q85_crop_subsampling-2.jpg)
Jamie became Master
Jamie successfully defended her Master thesis and concluded her Master studies
26.07.2024 | members