Robert Frohardt

About me

I am a second-year Ph.D. candidate in Computer Science at the University of Colorado at Boulder. I received my B.S. in mathematics from the University of Chicago in 2005.

I am currently a member of the Computer Science Graduate Committee.

Advisors

I am blessed to have not one but two advisors:

Research

I am a member of the programming languages group at CU Boulder. My primary research interests are:

• Verification
• Program Analysis
• Theory

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.
• For my final project for Intro. to the Theory of Computation I wrote a paper giving a brief introduction to separation logic.

Publications

• Main, M., Frohardt, R., and Huang, Y. 2010. What did qubits ever do for me: an answer for CS2 students. In Proceedings of the Fifteenth Annual Conference on innovation and Technology in Computer Science Education (Bilkent, Ankara, Turkey, June 26 - 30, 2010). ITiCSE '10

Teaching

• Outstanding Teaching Assistant Award - I received an award for my work as a teaching assistant for Michael Main's Fall 2009 CSCI 2270 (Data Structures) class.
• Fall 2009 - TA for Michael Main's CSCI 2270 (Data Structures) class. Here is the link to Robert's B-Tree Blog where CSCI 2270 students can play along at home while working on their B-Tree assignment.