ACM SIGPLAN Dissertation Award für Benjamin Bichsel
Benjamin Bichsel, Doktorand im Secure, Reliable, and Intelligent Systems Lab, wurde mit dem renommierten ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award im Bereich der Programmiersprachen ausgezeichnet. Herzlichen Glückwunsch!
Der Doktorand Benjamin Bichsel hat den ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award erhalten, der jährlich an den Autor einer herausragenden Doktorarbeit im Bereich der Programmiersprachen verliehen wird. Bichsels Dissertation "High-Level Quantum Programming" wird für seine bedeutenden Beiträge zum aufstrebenden Gebiet des Quantencomputings geehrt, die darauf abzielen, die Quantenprogrammierung einfacher, nachweislich sicherer und leichter zugänglich zu machen. In seiner Dissertation befasst sich der Doktorand mit zwei zentralen Herausforderungen der Quantenprogrammierung: Unberechenbarkeit und Simulation. Die Dissertation stellt eine neue, hochentwickelte Quantenprogrammiersprache namens Silq sowie ein neues Rahmenwerk für die Quantensimulation vor, das eine abstrakte Interpretation verwendet, um Präzision gegen Effizienz abzuwägen. Insgesamt kombiniert die Arbeit einen tiefen Einblick in die Natur des Quantencomputers mit fortschrittlichen Programmiersprachentechniken wie (linearen) Typsystemen und abstrakter Interpretation. Es ist erwähnenswert, dass Benjamin Bichsels Arbeit bereits bedeutende Auswirkungen hatte: die Silq-Sprache wird derzeit in der Lehre an der University of California, Los Angeles (UCLA) und in einem Lehrbuch über Quantencomputer verwendet. Herzlichen Glückwunsch!
Über SIGPLAN: Die ACM Special Interest Group on Programming Languages (SIGPLAN) erforscht Konzepte und Werkzeuge für Programmiersprachen und konzentriert sich dabei auf Design, Implementierung, Praxis und Theorie. Ihre Mitglieder sind Entwickler:innen, Ausbilder:innen, Implementierer:innen, Forschende, Theoretiker:innen und Benutzer:innen von Programmiersprachen. SIGPLAN vergibt jährlich Preise, um Leistungen und Erfolge in der Programmiersprachengemeinschaft zu würdigen.
Benjamin Bichsel promoviert derzeit im Secure, Reliable, and Intelligent Systems Lab unter der Leitung von Professor Martin Vechev. Seinen Bachelor- und Masterabschluss hat er am Departement Informatik der ETH Zürich erworben.
Im Jahr 2018 erhielt er den Willi-Studer-Preis für den besten Masterabschluss in Informatik, und 2023 wurde er mit der ETH-Medaille für seine herausragende Dissertation ausgezeichnet.