My principal research interests are in
computer security (secure information flow and language-based security)
and programming languages (type systems and semantics).
Most of my research papers are available here.
My package for formatting FIU PhD dissertations using LaTeX can be
found here: fiuphd.zip.
See the README file for basic instructions.
SCS SquirrelMail