Clarissa Littler

Biography

Type theorist, mathematician at heart, mentally disabled graduate student working towards a PhD.

Open Source Bridge 2016

Sessions for this user

* Rethinking Social Media, Privacy, and Information Flow from the Ground Up

Inspired by security and privacy research in operating systems, we'll be discussing possible ways to redesign privacy models so that all users can have fine-grained control over both visibility of their content and how others can interact with it.
Theory
Clarissa Littler

Open Source Bridge 2015

Sessions for this user

* What Are Computers, Really?

We'll take a whirlwind tour of the theory behind what computers do. We'll start with counting on our fingers and end with an explanation of why there are some problems where the laws of physics say "no, a computer can never do this". No mathematical background necessary.
Chemistry
Clarissa Littler

Open Source Bridge 2014

Proposals for this user

* An Introduction to Dependent Types and Proving Your Code Correct

This will be an introduction to dependently typed programming, the Curry-Howard correspondence, and using your type system as a proof system for showing that your code is correct all done in the programming language Agda.
Chemistry 2014-04-04 00:58:09 +0000
Clarissa Littler

* What Are Computers, Really?

We'll take a whirlwind tour of the theory behind what computers do. We'll start with counting on our fingers and end with an explanation of why there are some problems where the laws of physics say "no, a computer can never do this". No mathematical background necessary.
Chemistry 2014-04-04 00:45:10 +0000
Clarissa Littler