Research

Areas of Interest

• Formal verification and automata theory: focusing on automata as specifications for reactive systems. Most particularly Büchi automata.
• Data structures: particularly for applications in formal verification.
• Domain-specific Languages: most currently dsmodels, a domain-specific language for visualizing dynamical systems.
• Functional Languages and Type Systems: although not an active topic for quite some time, I am a heavy Haskell user and enjoy following along.
• Security: while I only briefly dabbled in security research, it is a frequent topic of seminars I lead.

Most of the problems I work on are PSPACE-complete. NP is practically solved, while 2-EXPTIME is far too impractical.

Publications by Research Area (or on Google Scholar)

Collaboration

The direction of my research time is dictated by active collaborations, and there is space for more. The dsmodels project has several proposed extensions, and would benefit greatly from someone familiar with numerical methods or dynamical systems simulation. I have several automata-theoretic problems lying fallow, ranging from data structures to determinization. I am always open to new and interesting problems.

Trinity Students: I have space for undergraduate research assistants, both to join existing projects and to advise on new projects. Research can be done during a directed study during the semester, summer research, or as a thesis project. I prefer to spend at least one semester in a directed study before a summer research or thesis project.