News: Dissertation Award

Jonathan Mace receives Dennis M. Ritchie Dissertation Honorable Mention

October 23, 2018

MPI-SWS faculty member Jonathan Mace has received an honorable mention for the Dennis M. Ritchie Doctoral Dissertation Award.

Launched in 2013, the Dennis M. Ritchie Doctoral Dissertation Award was created by the Association for Computing Machinery's Special Interest Group on Operating Systems (ACM SIGOPS) to recognize research in software systems and to encourage the creativity that Dennis Ritchie embodied. Only one winner is chosen annually, and this year, Jonathan Mace's dissertation received an Honorable Mention for the award.

MPI-SWS faculty member Jonathan Mace has received an honorable mention for the Dennis M. Ritchie Doctoral Dissertation Award.

Launched in 2013, the Dennis M. Ritchie Doctoral Dissertation Award was created by the Association for Computing Machinery's Special Interest Group on Operating Systems (ACM SIGOPS) to recognize research in software systems and to encourage the creativity that Dennis Ritchie embodied. Only one winner is chosen annually, and this year, Jonathan Mace's dissertation received an Honorable Mention for the award.

"Many tools for monitoring and enforcing distributed systems," Jonathan explains, "capture information about end-to-end executions by propagating in-band contexts." In his thesis---A Universal Architecture for Cross-Cutting Tools in Distributed Systems---he characterizes a broad class of such cross-cutting tools and extends these ideas to new applications in resource management and dynamic monitoring. Finally, he identifies underlying commonalities in this class of tools, and proposes an abstraction layering that simplifies their development, deployment, and reuse.

Read more

Amaury Pouly receives Ackermann Award

Amaury Pouly, a postdoc in Joël Oukanine's Foundations of Automatic Verification Group, has received the 2017 Ackermann Award for his PhD thesis, “Continuous-time computation models: From computability to computational complexity.” The Ackermann Award is an international prize presented annually to the author of an exceptional doctoral dissertation in the field of Computer Science Logic.

Amaury Pouly's thesis shows that problems which can be solved with a computer in a reasonable amount of time (more specifically problems which belong to the class P of the famous open problem “P = NP?”) can be characterized as polynomial length solutions of polynomial differential equations.

Amaury Pouly, a postdoc in Joël Oukanine's Foundations of Automatic Verification Group, has received the 2017 Ackermann Award for his PhD thesis, “Continuous-time computation models: From computability to computational complexity.” The Ackermann Award is an international prize presented annually to the author of an exceptional doctoral dissertation in the field of Computer Science Logic.

Amaury Pouly's thesis shows that problems which can be solved with a computer in a reasonable amount of time (more specifically problems which belong to the class P of the famous open problem “P = NP?”) can be characterized as polynomial length solutions of polynomial differential equations. This result paves the way for reformulating certain questions and concepts of theoretical computer science in terms of ordinary polynomial differential equations. It also revisits analog computational models and demonstrates that analog and digital computers actually have the same computing power, both in terms of what they can calculate (computability) and what they can solve in reasonable (polynomial) time.

Read more

Sadegh Soudjani receives DIC Best PhD-Thesis Award

MPI-SWS postdoctoral fellow Sadegh Soudjani has been awarded the DISC Best PhD-Thesis Award for the best PhD thesis defended in 2014 in the Netherlands in the area of systems and control. Dr. Soudjani received the award for the excellent quality of his PhD Thesis "Formal Abstraction for Automated Verification and Synthesis of Stochastic Systems" for which he obtained the doctoral degree at Delft University of Technology in November.

Rijurekha Sen receives ACM-India Doctoral Dissertation Award

February 1, 2015

MPI-SWS postdoctoral fellow Rijurekha won the 2014 Best Doctoral Dissertation Award by ACM-India for her thesis titled "Different Sensing Modalities for Traffic Monitoring in Developing Regions" Dr. Sen recently joined the MPI-SWS Distributed Systems and Social Computing research groups.

Aaron Turon receives SIGPLAN Dissertation Award

Aaron Turon, a postdoc in Derek Dreyer's Foundations of Programming Group, has received the 2014 ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award for his PhD thesis, "Understanding and Expressing Scalable Concurrency", which he completed at Northeastern University in 2013 under the supervision of Mitch Wand. This international award is presented annually to the author of the outstanding doctoral dissertation in the area of Programming Languages. Aaron has recently joined Mozilla Research in San Francisco,

Aaron Turon, a postdoc in Derek Dreyer's Foundations of Programming Group, has received the 2014 ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award for his PhD thesis, "Understanding and Expressing Scalable Concurrency", which he completed at Northeastern University in 2013 under the supervision of Mitch Wand. This international award is presented annually to the author of the outstanding doctoral dissertation in the area of Programming Languages. Aaron has recently joined Mozilla Research in San Francisco, where he is a member of the development team for the Rust programming language.

Read more

Björn Brandenburg receives EDAA dissertation award

February 1, 2013

MPI-SWS faculty member Björn Brandenburg has won the 2012 EDAA Outstanding Dissertations Award in the category "New directions in embedded system design and embedded software", to be presented at the DATE 2013 conference in March. This marks the third award Brandenburg has received for his dissertation.

Björn Brandenburg receives North American dissertation award

December 1, 2012

Björn Brandenburg, an MPI-SWS faculty member, has been awarded the Council of Graduate Schools/ProQuest Distinguished Dissertation Award in the area of mathematics, physical sciences, and engineering. The award—North America's most prestigious honor for doctoral dissertations—recognizes recent doctoral recipients who have already made unusually significant and original contributions to their fields.

Brandenburg's dissertation, "Scheduling and Locking in Multiprocessor Real-Time Operating Systems," was also selected for the 2012 Linda Dykstra Distinguished Dissertation Award,

Björn Brandenburg, an MPI-SWS faculty member, has been awarded the Council of Graduate Schools/ProQuest Distinguished Dissertation Award in the area of mathematics, physical sciences, and engineering. The award—North America's most prestigious honor for doctoral dissertations—recognizes recent doctoral recipients who have already made unusually significant and original contributions to their fields.

Brandenburg's dissertation, "Scheduling and Locking in Multiprocessor Real-Time Operating Systems," was also selected for the 2012 Linda Dykstra Distinguished Dissertation Award, which recognizes the best dissertation among all graduates in the fields of mathematics, physical sciences, and engineering at the University of North Carolina at Chapel Hill.

Read more

Ruzica Piskac wins Patrick Denantes Prize

September 1, 2012

Ruzica Piskac, an MPI-SWS faculty member, has been awarded the 2012 Patrick Denantes Prize for her dissertation titled "Decision Procedures for Program Synthesis and Verification." The prize is awarded annually to the most outstanding master's, doctoral or post-doctoral research project within the school of computer and communication sciences at EPFL.