|
|
|
|
|
This series of short videos answers frequently asked information security questions and shares insights from professionals in the field. Join us as we ask the important questions and have some fun in…
Date
June 27th, 2022 Speaker
Tara Schaufler Department
Information Security Office
|
|
Proving the Equivalence of Two Modules
Date
November 3rd, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Type Checking: Part 2: Ocaml Implementation
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Reasoning About Modular Programs: Part 3: More Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Reasoning About Modular Programs: Part 2: Proving Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Reasoning about Modular Programs: Part 1: Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
PNI Bootcamp 2020 Day 1 Math/Programming
Date
August 3rd, 2020 Department
Princeton Neuroscience Institute
|
|
Dr. Francesco Romanelli
JET and EFDA
|