Peter Amidon


Peter is an incoming undergraduate at UCSD and is interning over the summer at HARC. His current research interests are in formal methods and type theory, but he is interested in making these fields more accessible through better programming language design and tools. He hopes to work on a method of integrating formal methods into the Lively system, and is also working on a self-hosting compiler and typechecker for a simple object-oriented language inspired by Smalltalk.