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.
phone: (860) 486-5045
office: 231 ITE
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.