Laura M. A. Young

Laura M. A. Young
Name	Laura M. A. Young
Occupation	Researcher; Professor

Laura M. A. Young is a researcher and academic specializing in computer science and software engineering whose work spans formal methods, programming languages, and cybersecurity. Young has held faculty positions and directed research initiatives at major universities and laboratories, collaborating with peers across the Association for Computing Machinery, Institute of Electrical and Electronics Engineers, and national research centers. Her career connects innovations in verification, concurrent systems, and privacy with applications in industry and government.

Early life and education

Young completed undergraduate and graduate studies at prominent institutions, engaging with research groups linked to Massachusetts Institute of Technology, Stanford University, Carnegie Mellon University, University of California, Berkeley, and California Institute of Technology. During doctoral work she interacted with faculty from Princeton University, Harvard University, Cornell University, University of Cambridge, and University of Oxford. Postdoctoral affiliations included collaborations with researchers at Bell Labs, Los Alamos National Laboratory, Sandia National Laboratories, Lawrence Berkeley National Laboratory, and Argonne National Laboratory.

Research and academic career

Young's research program intersects formal verification, programming language semantics, and security, contributing to projects funded by National Science Foundation, Defense Advanced Research Projects Agency, National Institute of Standards and Technology, Department of Energy, and European Research Council. She developed tools and frameworks that relate to work at IBM Research, Microsoft Research, Google Research, Amazon Web Services, and Intel Labs. Her collaborations drew on methods from teams at MIT Lincoln Laboratory, Rensselaer Polytechnic Institute, University of Illinois Urbana–Champaign, University of Washington, and University of Texas at Austin. Young's lab produced artifacts cited alongside research from Eclipse Foundation, OpenAI, Mozilla Foundation, and Red Hat. Her work interfaces with communities around Programming Language Design and Implementation, Principles of Programming Languages, IEEE Symposium on Security and Privacy, and USENIX Security Symposium.

Teaching and mentorship

In academic appointments at institutions connected to Yale University, Brown University, Duke University, University of Michigan, and University of California, San Diego, Young taught courses that complemented curricula used at Imperial College London, ETH Zurich, Technical University of Munich, and National University of Singapore. She supervised doctoral students advancing research intersecting projects affiliated with Google Summer of Code, Microsoft Research PhD Fellowship, DARPA Young Faculty, and collaborative efforts with IBM PhD Fellowship. Her mentees have gone on to roles at Facebook, Twitter, Snap Inc., Palantir Technologies, Stripe, and research posts at Max Planck Institute, French National Centre for Scientific Research, and A*STAR.

Publications and key contributions

Young authored and coauthored articles presented at venues including ACM SIGPLAN, ACM SIGOPS, ACM CCS, USENIX, NeurIPS, ICML, AAAI, and ICLR. Her work on program verification, model checking, and concurrent algorithms has been cited alongside foundational results from Edsger W. Dijkstra, Tony Hoare, Leslie Lamport, Robin Milner, and C.A.R. Hoare. She contributed to toolchains and specifications interoperable with LLVM, GCC, Docker, Kubernetes, and Apache Kafka. Cross-disciplinary publications connected to National Academies Press reports and standards from Internet Engineering Task Force and World Wide Web Consortium informed practice in privacy and secure systems. Selected contributions include novel techniques for static analysis, runtime verification, and refinement types that have been used in projects at Apple Inc., Nokia, Ericsson, and Samsung.

Awards and honors

Young's recognitions include fellowships and awards tied to National Science Foundation Graduate Research Fellowship, Fulbright Program, Humboldt Foundation, MacArthur Fellowship, and prizes from ACM and IEEE. She received grants and honors from Office of Naval Research, Air Force Office of Scientific Research, Simons Foundation, Gordon and Betty Moore Foundation, and scholarly distinctions conveyed at Royal Society meetings and symposiums hosted by Society for Industrial and Applied Mathematics. Her invited lectures have been featured at Turing Award Lectures-adjacent events, major workshops at SIGPLAN and SIGMOD, and plenary sessions at ICFP and SOSP.

Professional service and outreach

Young has served on program committees and editorial boards for journals and conferences such as Journal of the ACM, IEEE Transactions on Software Engineering, Communications of the ACM, ACM Computing Surveys, ACM Transactions on Programming Languages and Systems, Nature Communications, and Science Advances. She participated in policy advisory roles with United States Department of Defense, European Commission, National Institutes of Health, and advisory boards for startups incubated at Y Combinator and Techstars. Outreach efforts included public talks at Smithsonian Institution, collaborations with Khan Academy, guest lectures at The Alan Turing Institute, and engagement with diversity initiatives coordinated by Association for Women in Computing and Girls Who Code.

Category:Computer scientists Category:Women in technology