Brittany Nkounkou headshot

Assistant Professor of Computer Science and Engineering

PhD, Computer Science, Cornell University, 2020
MS, Computer Science, Cornell University, 2016
BSE, Computer Science and Engineering, University of Connecticut, 2012


Hi, I’m Brittany. My last name is pronounced like ‘nnn-KOON-koo’.
I’m interested in programming languages and building certified software in Coq.
In the past, I’ve built certified software for CHP, a programming language used to design asynchronous circuits.
I expect to be teaching an ‘Intro to Certified Software’ course in Spring 2022.


email: brittany.nkounkou(a)
phone: (860) 486-5045
office: 231 ITE

mailing address:
Department of Computer Science and Engineering
University of Connecticut
371 Fairfield Way, Unit 4155
Storrs, CT 06269-4155


Stephen Longfield, Brittany Nkounkou, Rajit Manohar, Ross Tate. Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2015.

Brittany Nkounkou, Chih Lee, Chun-Hsi Huang, Colin Brown. Biological Data Classifications with LDA and SPRT. Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW), December 2010.