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.
- techniques for producing correct software
- functional programming
- specification languages and related logics
I am investigating implementation techniques for principled specification transformation by identifying, characterizing, and demonstrating language-parametric transformation abstractions.