You can read the complete citation (which is very big to paste here) at the SIGPLAN website: www.sigplan.org/Awards/Milner/!

An excerpt from the award citation: Her work is distinguished by extraordinary technical depth, breadth, and originality. She has repeatedly anticipated emerging trends, notably pioneering the integration of machine learning with formal methods.

You can read the full citation for the award here: www.sigplan.org/Awards/Softw..., and find more info about Lean here: lean-lang.org!

You can see the full award information and past awardees here: www.sigplan.org/Awards/Disse...

And one from Rachit's: Beautifully written, technically deep, and with growing impact beyond academia, this dissertation exemplifies the best of programming languages research and will serve as a guide for future work at the intersection of PL and hardware design.

An excerpt from Harry's citation: His research, bridging programming languages, software engineering, and human-computer interaction, lays the foundation for a new generation of practical, powerful PBT tools, with substantial impact across both academia and industry.

"A simpler, safer programming and execution model for intermittent systems" by Brandon Lucia and Benjamin Ransford. dl.acm.org/doi/10.1145/...

The work addresses significant consistency problems in the area of intermittent systems and dramatically simplifies their programming ⭐️

Graduates:
🥉Prasanth Prahladan, University of Colorado, Boulder
🥈Jay Lee, Seoul National University
🥇Charles Averill, University of Texas at Dallas

Undergraduates:
🥉Andrew Fox, University of Colorado, Boulder
🥈Liudmila Paskonova, Lomonosov Moscow State University
🥇Jam Kabeer Ali Khan, Max Planck Institute for Security and Privacy, and University of Hong Kong