|
![]() Welcome,
all! To the 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.
Interests:
- High order constructive logic. (Small things composed of complex ideas.)
- SMT and SAT solving.
- Formal methods and verification.
- Systems (Massive things composed of simple, and occasionally complex, ideas.)
- Drumming
- Many others...
Current projects
- For the past semester I've been working on adding security libraries to Android apps using a binary rewriting system.
- For Spring 2012, I am the TA for the undergraduate compilers class.
Love the lambda,
-- Kristopher Micinski
|
|