|
Open decentralized networking is a decades-old dream, the fabric enabling open, uncensored, global communication. Although this dream drove the design of the original Internet (web 1.0),…
Date
September 27th, 2022 Speaker
Pramod Viswanath Department
Center for Information Technology Policy Location
306 Sherrerd Hall
|
|
|
|
|
|
|
|
With America divided as ever, people from state governments to households have asked themselves: "Why can’t we change their minds?" In FRS 193: Belief and Ideology, I researched why…
Date
April 27th, 2022 Speaker
Jeffery Chen Department
Psychology
|
|
Algorithmic Mechanism Design studies the design of algorithms in settings where participants have their own incentives. For example, when executing an ad auction, the auctioneer/designer wants to…
Date
November 16th, 0021 Speaker
Matt Weinberg Department
Princeton University, Center for Information Technology Policy Location
Virtual
|
|
Blockchains are a disruptive technology into domains where market barriers rather than technical limitations limit innovation, including healthcare, supply chain, finance, and e-commerce. Bitcoin,…
Speaker
Matheus Venturyne Xavier Ferreira, GS Department
Computer Science
|
|
This talk will compare two recent advances in the understanding of election integrity. The Scytl/SwissPost e-voting solution was intended to provide complete verifiability for Swiss government…
Date
November 10th, 2020 Speaker
Vanessa Teague Department
Center for Information Technology Policy Location
Webinar
|
|
The Turing Machine Test: module proof for equivalence
Date
November 15th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
COS510 preview - Software Verification
Date
September 16th, 2020 Speaker
Andrew Appel 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
|
|
Uncomputability: What We Can't Compute
Date
August 16th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Generalizing Your Inductive Hypothesis
Date
August 16th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Did I Get it Right? Part 5: Proofs About Programming Languages
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Did I Get it Right? Part 4: Induction for Datatypes
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|