Biography
I am a graduate student at the University of Wisconsin-Madison studying Computer Science under the guidance of Professor Thomas Reps. I received my B.S. in Computer Science from Indiana University and M.S. in Computer Science at UW. I am interested in all things related to programming languages: specifically the analysis and understanding of programming languages, software development, and the tools used in software development.
My current research revolves around Weighted Pushdown Systems (WPDSs). We have used WPDSs for many program analyses, mostly related to model checking concurrent programs. A list of my publications can be found here.
My CV can be found here.
Contact
Nicholas Kidd : <kidd@cs.wisc.edu>1210 W. Dayton St.
Madison, WI 53706
Phone: (608) 265-4892
Fax : (608) 262-9777