Faculty

Institution

Unit

Venue

Jonathan Aldrich

Associate Professor

Carnegie Mellon University

Affiliations

School of Computer Science

Software and Societal Systems

Jonathan Aldrich is currently serving as a School Of Computer Science Associate Professor at Carnegie Mellon University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Jonathan Aldrich

Carnegie Mellon University

Associate Professor

You can click a keyword to filter the displayed items

computer science formal methods software engineering programming languages software analysis program analysis system software formal verification systems engineering automated deduction logic in computer science automated reasoning programming language design object-oriented programming linguistics information security computer security architecture machine learning data security communication security programming language theory type systems information technology software verification natural language processing software architecture cryptographic hardware human-computer interaction type theory blockchain system specification architecture analysis protocol analysis runtime verification software architecture modeling generic programming concurrency theory program comprehension protocol compliance specification language aspect-oriented programming runtime systems symbolic execution knowledge discovery knowledge management information management static extraction empirical study structure discovery architecture specification specification (technical standard) system architecture access permissions language support intelligent computing control protocol functional programming verification and validation typestate-oriented programming separation logic ownership domains gradual verification object propositions plaid language software implementation software validation conformance checking software architecture recovery open modules aliased objects atomic blocks object protocols structural subtyping international workshop automated software engineering program quality information science management information systems enterprise information management electrical engineering technology management engineering business information systems engineering management engineering education business intelligence software design system engineering education informatics information system planning electrical insulation graphic interface electricity generation software practice

Notable Scholarly Works

Notable Federal Grants

Collaborators

Security Reasoning via Substructural Dependency Tracking. Proceedings of the ACM on Programming Languages (2026)

language-based securitysoftware analysiscomputer securitysoftware securitydata securityinformation securityformal verificationcomputer science

An Exploratory Study of ML Sketches and Visual Code Assistants. (2025)

designcode representationvisualizationgraphic interfacevisual programming languagecomputing educationprogramming languagescomputer scienceml sketches

An Exploratory Study of ML Sketches and Visual Code Assistants. 2025 IEEE/ACM 47TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE (2025)

machine intelligenceinformation visualizationintelligent computingintelligent user interfacesprogram comprehensiondata sciencesoftware designprogramming methodologyartificial intelligencevisualizationprogramming languagesinteraction designvisual programming languagecomputing educationcode generationcode representationdesignhuman-computer interactionsoftware engineeringgraphic interfacecomputational intelligencecomputer science

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. arXiv (2025)

abstract interpretationnumerical simulationssystem softwarecomputational physicsprogramming language theoryverificationcomputer engineeringprogramming languagesscientific computingtheory of computationcomputational scienceformal specificationcompiler supportformal verificationsoftware analysisstatic program analysissoftware engineeringprogram analysisformal methodscomputer science

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. (2025)

software analysisabstract interpretationprogram analysisformal methodsrust librariesfunctional programmingprogramming languagescomputer sciencemathematics

Preface. Leibniz International Proceedings in Informatics Lipics (2025)

biomedical informaticsbiophysicslipid sciencelipidssystems biologybiosystemscomputational biologymolecular informaticslipid chemistry

Semantically Separating Nominal Wyvern for Usability and Decidability. (2025)

semanticslogic in computer scienceformal methodssemantic computinglanguagesemantic webcomputational semanticslinguisticsknowledge representation and reasoning

Structural Information Flow. (2025)

informaticscomputational sciencegeneral systemsgranular computingdata flowstheoretical computer sciencedata sciencecomputer scienceinformation flow

Structural Information Flow: A Fresh Look at Types for Non-Interference. Proceedings of the ACM on Programming Languages (2025)

abstract interpretationsystem softwaremathematicshigh-level programming languageprogramming language theoryintermediate representationsoftware designtheoretical computer scienceautomated deductionprogramming languagesautomated reasoningprogramming language designtheory of computationsystem scienceformal verificationsoftware analysislogic in computer sciencesoftware engineeringprogram analysisformal methodscomputer sciencelinguistics

Structural Information Flow: A Fresh Look at Types for Non-Interference. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL (2025)

abstract interpretationsystem softwarehigh-level programming languageprogramming language theoryverificationsoftware designcomputer engineeringautomated deductionprogramming languagesautomated reasoningprogramming language designtheory of computationformal specificationformal verificationsoftware analysissoftware engineeringlogic in computer scienceprogram analysisformal methodscomputer sciencelinguisticsdesign automation

1
2
3
4
5
48
10 / page

Jonathan Aldrich

Associate Professor

Carnegie Mellon University

Affiliations

School of Computer Science

Software and Societal Systems

Jonathan Aldrich is currently serving as a School Of Computer Science Associate Professor at Carnegie Mellon University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Jonathan Aldrich

Carnegie Mellon University

Associate Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Security Reasoning via Substructural Dependency Tracking. Proceedings of the ACM on Programming Languages (2026)

language-based securitysoftware analysiscomputer securitysoftware securitydata securityinformation securityformal verificationcomputer science

An Exploratory Study of ML Sketches and Visual Code Assistants. (2025)

designcode representationvisualizationgraphic interfacevisual programming languagecomputing educationprogramming languagescomputer scienceml sketches

An Exploratory Study of ML Sketches and Visual Code Assistants. 2025 IEEE/ACM 47TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE (2025)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. arXiv (2025)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries. (2025)

software analysisabstract interpretationprogram analysisformal methodsrust librariesfunctional programmingprogramming languagescomputer sciencemathematics

Preface. Leibniz International Proceedings in Informatics Lipics (2025)

biomedical informaticsbiophysicslipid sciencelipidssystems biologybiosystemscomputational biologymolecular informaticslipid chemistry

Semantically Separating Nominal Wyvern for Usability and Decidability. (2025)

semanticslogic in computer scienceformal methodssemantic computinglanguagesemantic webcomputational semanticslinguisticsknowledge representation and reasoning

Structural Information Flow. (2025)

informaticscomputational sciencegeneral systemsgranular computingdata flowstheoretical computer sciencedata sciencecomputer scienceinformation flow

Structural Information Flow: A Fresh Look at Types for Non-Interference. Proceedings of the ACM on Programming Languages (2025)

Structural Information Flow: A Fresh Look at Types for Non-Interference. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL (2025)

1
2
3
4
5
48
10 / page

Similar Faculty Members

Claire Le Goues

Institution

Carnegie Mellon University

electricity generation

system software

Travis Breaux

Institution

Carnegie Mellon University

electricity generation

system software

Saumya Debray

Institution

University of Arizona

static program analysis

software security

Jeannette Wing

Institution

Carnegie Mellon University

programming language theory

computational thinking

Christian Collberg

Institution

University of Arizona

data security

information security

Srinivasan Seshan

Institution

Carnegie Mellon University

network science

computer communications

Kevin Sullivan

Institution

University of Virginia

software engineering

software analysis

Robert Harper

Institution

Carnegie Mellon University

programming languages

networking

Jack Davidson

Institution

University of Virginia

computer science

computer engineering

Peter Steenkiste

Institution

Carnegie Mellon University

hybrid network

electricity generation

Similar Faculty Members

Claire Le Goues

Institution

Carnegie Mellon University

electricity generation

system software

Travis Breaux

Institution

Carnegie Mellon University

electricity generation

system software

Saumya Debray

Institution

University of Arizona

static program analysis

software security

Jeannette Wing

Institution

Carnegie Mellon University

programming language theory

computational thinking

Christian Collberg

Institution

University of Arizona

data security

information security

Srinivasan Seshan

Institution

Carnegie Mellon University

network science

computer communications

Kevin Sullivan

Institution

University of Virginia

software engineering

software analysis

Robert Harper

Institution

Carnegie Mellon University

programming languages

networking

Jack Davidson

Institution

University of Virginia

computer science

computer engineering

Peter Steenkiste

Institution

Carnegie Mellon University

hybrid network

electricity generation