View Computer Science directory
Peter Aldous

Faculty Member

Peter Aldous

Education

PhD, University of Utah, 2017

Major: Computer science

BS, Brigham Young University, 2010

Major: Computer science

Teaching

CS 4450

Analysis of Programming Languages, Spring 2025

CS 3240

Discrete Mathematical Structures II, Spring 2025

CS 3240

Discrete Mathematical Structures II, Spring 2025

Scholarly/Creative Works

Aldous, Peter , "Curd: A curriculum design tool" . New York, NY: Association for Computing Machinery.
Harrison, Neil , Rudolph, George , Aldous, Peter , "Software Architecture for Essential and Accidental Uncertainty" . IEEE.
Aldous, Peter , Flores Montoya, Antonio , Saven, Avi , "Retypd Revisited (working title)" . Principles of Programming Languages.
Hooker, Joshua , Aldous, Peter , Mercer, Eric , Ogles, Benjamin , Storey, Kyle , Powell, S Jacob, (2019) "JPF-HJ: A Tool for Task Parallel Program Analysis" (Issue: 4, vol. 44).
Ogles, Benjamin , Aldous, Peter , Mercer, Eric , (2019) "Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order" . 2019 Formal Methods in Computer Aided Design. https://doi.org/10.23919/fmcad.2019.8894270
Jones, Joseph , Wasson, James , Brown, Sean , Poulsen, Seth , Aldous, Peter , Mercer, Eric , (2018) "Memory safety in C by abstract interpretation" . Java PathFinder Workshop.