Formal Methods

CyLab Seminar Panther Hollow Conference, Mehrabian Collaborative Innovation Center 4105 Anonymous (not verified) Wed, 09/06/2023 - 12:00 In Person and Virtual - ET Program Analysis in the Face of Uncertainty ARLEN COX, ANDREW RUEF Arlen Cox is a research staff member at the Institute for Defense Analyses / Center for Computing Sciences whose PhD focused on ab…

Marijn Heule Marijn importerbot Thu, 08/22/2019 - 15:28 Heule Associate Professor 9107 Gates and Hillman Centers mheule@andrew.cmu.edu Computer Science Department Emi Perdan Programming Languages Formal Methods Pure and Applied Logic Faculty Cayden Codel Bernardo Anibal Subercaseaux Roa Amar Shah Zachary Battleman Ben Przybocki My research focuses on solv…

Bryan Parno Bryan importerbot Tue, 01/24/2017 - 07:07 Parno Professor 2121 Mehrabian Collaborative Innovation Center bparno@andrew.cmu.edu (412) 268-2033 Computer Science Department CIT - Electrical and Computer Engineering http://www.andrew.cmu.edu/user/bparno/ Cryptography Distributed Systems For…

Jeannette Wing Jeannette importerbot Fri, 08/26/2016 - 06:18 Wing Adjunct Faculty jw35@andrew.cmu.edu Computer Science Department http://www.cs.cmu.edu/~wing/ Distributed Systems Formal Methods Programming Languages Security and Privacy Software Engineering Faculty A long-term goal that drives my research is to provide, where appropriate, as rigorous as possible a foundation …

Jan Hoffmann Jan jennsbl Thu, 09/10/2015 - 18:57 Hoffmann Associate Professor 9105 Gates and Hillman Centers janh@andrew.cmu.edu (412) 268-6309 Computer Science Department Michael Stanley Programming Languages Formal Methods Security and Privacy Faculty Ethan Chu Nathan Glover My research mission is to discover beautiful mathematica…

Matt Fredrikson Matt jennsbl Sun, 08/23/2015 - 22:42 Fredrikson Associate Professor 2126 Mehrabian Collaborative Innovation Center mfredrik@andrew.cmu.edu Computer Science Department Programming Languages Formal Methods Security and Privacy Faculty Saranya Vijayakumar Andy Zou My research is directed at understanding fundamental security and privacy issue…

David Brumley David csdadmin Tue, 10/14/2014 - 09:01 Brumley Professor of ECE, Affiliated Faculty 2202 Mehrabian Collaborative Innovation Center dbrumley@andrew.cmu.edu (412) 268-3851 CIT - Electrical and Computer Engineering Computer Science Department: Affiliated Formal Methods Security Cryptography Security and Priv…

Jonathan Aldrich Jonathan csdadmin Tue, 10/14/2014 - 09:01 Aldrich Professor, Affiliated Faculty 422 TCS Hall aldrich@cs.cmu.edu (412) 268-7278 Software And Societal Systems Department Computer Science Department: Affiliated http://www.cs.cmu.edu/~aldrich/ Programming Languages Formal Methods Softw…

David Garlan David csdadmin Tue, 10/14/2014 - 09:01 Garlan Professor 420 TCS Hall dg4d@andrew.cmu.edu (412) 268-5056 Software And Societal Systems Department Computer Science Department http://www.cs.cmu.edu/~garlan Programming Languages Security Formal Methods Mobile and Pervasive Computing Securi…

Stephen Brookes Stephen csdadmin Tue, 10/14/2014 - 09:01 Brookes Professor Emeritus sb21@andrew.cmu.edu (412) 268-8820 Computer Science Department http://www.cs.cmu.edu/~brookes Formal Methods Programming Languages Pure and Applied Logic Stephen Brookes is well known internationally for his seminal contributions to semantics for concurrent programs and …