I am a member of the programming languages group at CU Boulder. My
primary research interests are:
My current research activities include:
We are working on a formal model of access control to physical
spaces designed to take into account physical topology. This research
could make properties of access control policies verifiable.
I am also interested in analysis of concurrency, e.g., analysis of
multithreaded programs. I did an internship at
NEC Laboratories of America in the Summer of 2010 under
the supervision of Franjo Invacic. We studied
the verification problem for typestate-like properties of concurrent
programs. We expect to be releasing publications about this research
in the near future.