Kristopher Micinski

A homepage of lambdas, computer science, drumming, and related interesting things

Articles Bio Programming

Welcome, all! To my corner of the web. On my website, you will find various documents relating to math, computer science, and any other things I find interesting. I'm a PhD student at the University of Maryland, College Park, and I work with the PLUM people. My broad interest is programming languages, specifically how we can reason about programs to ensure or optimize properties of systems.


  • Language based security (on Android, often)
  • High order constructive logic. (Small things composed of complex ideas.)
  • Formal methods and verification.
  • Systems (Massive things composed of simple, and occasionally complex, ideas.)
  • Drumming
  • Many others...

Current projects

Love the lambda,
— Kristopher Micinski

Generated with Hakyll