Personal Information
My name is Ryan Babbitt. I am a fifth
year PhD student in Computer Science studying under Dr.
Johnny Wong and Dr.
Samik Basu. I received my
M.S. in Computer Science from Iowa State University
in Fall 2006, and my B.S. in Computer Science from Iowa State University
in Spring 2004.
In my spare time, I play guitar and sing for a local rock band Vow of Silence.
We've cut two CDs and are working on a third this year.
Research Interests
My general research interest is
the Modeling and Verification of Security and Privacy in Ubiquitous and
E-Commerce Systems. More specifically, I am interested in how to apply
high-level modeling languages such as UML/OCL to
- model security and privacy requirements
- verify the consistency of a given set of requirements
- model security countermeasures, such as access control policies
and cryptographic protocols
- verify the satisfaction of security and privacy requirements with
respect to a set of security mechanisms
Representative Publications
Here are some samples of the work
I have done:
- R. Babbitt, D. Lu, C. Chang, and J. Wong, “Requirements Engineering for Smart Homes to Support
Successful Aging, Disability, and Independence” European Academy of Sciences Annals 2005, pp. 107-127.
- R. Babbitt, J. Wong, S. Mitra, and C. Chang, “Privacy Management in Smart Homes: Design and
Analysis,” Proc. of International Conference on Aging, Disability, Independence (ICADI), pp. 55-64,
February 2006.
- R. Babbitt, "Information Privacy Management in Smart Home Environments: Modeling, Verification, and Implementation," compsac , pp. 344-346, 2006.
Pending Publications I have a few papers pending as well:
- R. Babbitt, HI Yang, J. Wong "Environment Objects: A Novel
Approach for Modeling Privacy in Pervasive Computing", submitted to
the International Conference on Smart Homes and Health Telematics
(ICOST) 2009.
Teaching Experience
I have been a Teaching Assistant for
- Com Sci 227: Introduction to Programming (2004)
- Com Sci 311: Algorithm Design and Analysis (2004)
- Com Sci 309: Software Engineering Practices (2004-2007)
and currently (Spring 2009), I am a full instructor for Com Sci 352:
Principles of
Operating Systems
Work Experience
In 2007, I held an internships with Rockwell Collins, a commercial and
government flights systems company in Cedar Rapids, IA. While there I
helped in a project for modeling resource allocation optimization
problems using Satisfiability Modulo Theories and Integer Linear
Programming.