Research

Faculty Research Interests

Jessen T. Havill

Jessen Havill

Algorithms, computational biology

I enjoy designing efficient online algorithms for network and scheduling problems. Like a market speculator, an online algorithm must respond to input as it arrives, without knowing the future. I am also interested in computational biology problems.

Matt Kretchmar

Matt Kretchmar

Artificial intelligence

My primary research interests are in artificial intelligence and machine learning. I am interested in studying how people learn to solve complex problems and then capturing that same behavior in a computer algorithm.

Ashwin Lall

Ashwin Lall

Big data

My research spans many different areas in computer science related to large data sets. Projects we could work on would involve answering questions about large network traffic, commercial product, or social network data sets.

Don Bonar

Don Bonar

Complex analysis

I have four manuscripts in various stages of completion that support the teaching of 1) mainstream calculus, 2) advanced calculus, 3) linear algebra, 4) complex analysis. Each small book is not a textbook but is a book (approximately 100 pages) that I believe will be useful to students, teachers, and professors.

Tom Bressoud

Tom Bressoud

Computer systems

My research interests are within the systems area of computer science and can be partitioned into the subareas of (i) fault-tolerance, (ii) networking and inter-domain routing, and (iii) high performance computing.

May Mei

May Mei

Dynamical systems

My research applies techniques from dynamical systems to questions from mathematical physics. I'm interested in supervising undergraduate projects involving numerical experiments that model how an electron passes through quasicrystalline material.

Joan Krone

Joan Krone

Formal methods

My research lies in the field of formal methods for software engineering. The focus is on the formal specification of software in the context of software engineering principles developed by experts in the field over decades of research and practice.

Matthew Neal

Matthew Neal

Operator algebras, statistical modeling

I study operator algebras and statistical modeling. Operator algebras generalize problems in virtually every undergraduate class and model observable quantities in quantum physics. My statistical work is concerned with player evaluation in the NBA.