I work with Ross Tate and Rajit Manohar as an Exchange Scholar in the Computer Systems Lab at Yale University.

My current research project is to use Coq to mechanically specify and verify program transformations in Communicating Hardware Processes (CHP), a language used to develop asynchronous circuits.


Publications

Stephen Longfield, Brittany Nkounkou, Rajit Manohar, Ross Tate. Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications. PLDI 2015 [paper] [artifact]

(Undergraduate)
Brittany Nkounkou, Chih Lee, Chun-Hsi Huang, Colin Brown. Biological Data Classifications with LDA and SPRT. BIBMW 2010 [paper]


Internships

Post-Silicon Validation Test Coverage and Simulation of TrueNorth. IBM Research. Summer 2015

(Undergraduate)
Feature Development and Quality Analysis of Hydraulics and Hydrology Software. Bentley Systems. Summer 2011


Teaching Assistantships

Introduction to Compilers. CU Computer Science Department. Fall 2013

Programming Languages and Logics. CU Computer Science Department. Fall 2012


Student Leadership

President. PhD Students at Cornell Tech. 2016

PhD Representative. Cornell Tech Social Events Committee. 2016

Peer Mentor. CU Engineering Mentoring Partnerships. 2013 - 2015
Outstanding Peer Mentor Award. 2014 & 2015

President. CU Black Graduate and Professional Student Association. 2014

Graduate Representative. CU National Society of Black Engineers. 2013 - 2014

Public Relations Chair. CU Black Graduate and Professional Student Association. 2013

PhD Visit Day Czar. CU Computer Science Department. 2013