Office Hilman 7709
kbn [at] cs.cmu.edu
I am a third year PhD student in the Computer Science Department at Carnegie Mellon University working with Jonathan Aldrich on the Plaid programming language. Now that we have formalized the semantics of Plaid, I am working to build a static type system for the language.
I spent the summer of 2011 as an intern at Oracle Labs East working on the Fortress programming language. During my time there I helped to develop techniques for instantiating generic types at runtime.