Adam Procter Email and Phone Number

Software engineer on the Sorbet team.

Postdoctoral Fellow at the Center for High Assurance Computing (College of Engineering). My research focused on programming languages and tools to support the development of high assurance secure hardware. I maintained the compiler for ReWire, a purely functional hardware design language based on Haskell which I developed as part of my dissertation research.

GAANN (Graduate Assistance in Areas of National Need) Fellow, a competitive fellowship funded by the U.S. Department of Education via a grant to the Department of Computer Science. During the period of this fellowship I designed and implemented ReWire, a purely functional programming language based on Haskell that supports efficient compilation directly to circuits on an FPGA. ReWire is distinguished by the support it provides for modular formal reasoning about security properties of circuits.

Research Assistant in the High Assurance Security Kernel (HASK) Lab, which is essentially the forerunner to the Center for High Assurance Computing.

Have served as both an instructor and a teaching assistant for each of:Principles of Programming LanguagesProduction Languages (Programming in C)Algorithm Design and Programming IDepending on the course and semester, duties ranged from grading and holding office hours to full instructor duties (preparing and delivering lectures, exams, and assignments) in courses with enrollment ranging from 30 to over 100 students.

Gilliom Graduate Fellowship in Cyber Security, a departmental fellowship.

Developed a theorem-proving system for monadic programs in collaboration with Professor Aaron Stump.

Teaching assistant for Elementary Japanese I (Fall 2004) and co-instructor for Elementary Japanese II (Spring 2005).

Conducted individual and group tutoring sessions in computer science, elementary Japanese.