Congratulations to Sebastian Brandhofer, whose PhD thesis was recognized as one of the three outstanding ones (out of 36 in total in 2024) in Stuttgart University‘s Computer Science Department. The thesis at ITI-HOCOS dealt with compilation methods for near-term quantum circuits, creatively applying formal methodd to achieve provably optimal solutions for several relevant problems within the topic. Sebastian is now with IBM Quantum.
