b为什么越小越过瘾ADC

    1. <form id=dYZHyJLjQ><nobr id=dYZHyJLjQ></nobr></form>
      <address id=dYZHyJLjQ><nobr id=dYZHyJLjQ><nobr id=dYZHyJLjQ></nobr></nobr></address>

      SPLASH 2022
      Mon 14 - Sat 19 November 2022 Auckland, New Zealand
      Jonathan Aldrich

      Registered user since Wed 4 Jun 2014

      Name:Jonathan Aldrich
      Bio:

      Jonathan Aldrich is Associate Professor of Computer Science at Carnegie Mellon University. He is the director of CMU’s Software Engineering Ph.D. program, and teaches courses in programming languages, software engineering, and program analysis for quality and security. In addition, he serves as a consultant on architecture, design, and legal issues in the software industry. Dr. Aldrich joined the CMU faculty after completing a Ph.D. at the University of Washington and a B.S. at Caltech.

      Dr. Aldrich’s research centers on programming languages and type systems that are deeply informed by software engineering considerations. His research contributions include verifying the correct implementation of an architectural design, modular formal reasoning about code, and API protocol specification and verification. For his work on software architecture, Aldrich received a 2006 NSF CAREER award and the 2007 Dahl-Nygaard Junior Prize, given annually for a significant technical contribution to object-oriented programming. He is currently performing research on extensible programming languages, analysis and type systems for security and productivity, and foundations of object-oriented programming.

      Affiliation:Carnegie Mellon University
      Personal website:http://www.cs.cmu.edu/~aldrich/
      Research interests:Programming Languages, Software Engineering, Verification, Security

      Contributions

      SPLASH 2022 Hybridisation Co-Chair in Organizing Committee
      Show activities from other conferences

      Using general profile
      HoMEmenuCopyrights 2015.All rights reserved.More welcome - Collect from power by english Blok number sss85786789633111 Copyright