Nicolas Frisby

IMG_0116.JPG

Please email me at the ittc⋅ku⋅edu domain, my username is nfrisby. Be sure to use one of my public keys for the important stuff.

I am a Computer Science doctoral student assisting Dr. Perry Alexander at the University of Kansas.

Interests

  • techniques for producing correct software
  • functional programming
  • specification languages and related logics

Focus

I am investigating implementation techniques for principled specification transformation by identifying, characterizing, and demonstrating language-parametric transformation abstractions.

Publications (DBLP)

Drafts