### 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

#### 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

#### 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

#### 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

#### 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

#### 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

#### 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

#### 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.