LPAR-25 will feature the following invited talks:
Nate Foster (Professor of Computer & Communication Sciences EPFL, Visiting Researcher Jane Street)
TITLE: TBA
ABSTRACT: TBA.
BIOGRAPHY:
Nate Foster is a Professor of Computer and Communication Sciences at EPFL and a Visiting Researcher at Jane Street. He currently serves as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. The goal of Nate’s research is to develop languages and tools that make it easy for programmers to build secure and reliable systems. His current work focuses on the design and implementation of languages and tools for programmable networks. In the past he has also worked on bidirectional languages (also known as “lenses”), database query languages, data provenance, type systems, mechanized proof, and formal semantics. Nate received a PhD in Computer and Information Science from the University of Pennsylvania, an MPhil in History and Philosophy of Science from Cambridge University, and a BA in Computer Science from Williams College. He is an ACM Fellow, and his awards include a Sloan Research Fellowship, an NSF CAREER Award, the SIGPLAN Robin Milner Award, the SIGCOMM Rising Star Award, as well as several paper and teaching awards.
Marieke Huisman (University of Twente)
TITLE: TBA
ABSTRACT: TBA.
BIOGRAPHY: TBA.
Nina Narodytska (VMWare Research by Broadcom)
TITLE: TBA
ABSTRACT: TBA.
BIOGRAPHY: Nina Narodytska is a staff researcher at VMware Research by Broadcom. Prior to VMware, she was a researcher at Samsung Research America. She completed postdoctoral studies in the Carnegie Mellon University School of Computer Science and the University of Toronto. She received her PhD from the University of New South Wales. She was named one of “AI’s 10 to Watch”researchers in the field of AI in 2013.Her primary research interests lie at the intersection of formal methods and machine learning. She has worked on verification and explainability of ML models. Recently, she has focused on using large language models to enhance program verification and leveraging automated reasoning to improve the reasoning abilities of large language models. She has presented invited talks and tutorials at FMCAD’18, CP’19, AAAI’20, IJCAI’20, LMML’22, CP’22, ESSAI’23 and KR’24.
TBA (TBA)
TITLE: TBA
ABSTRACT: TBA.
BIOGRAPHY: TBA.