Associate Professor Ph.D., Carnegie Mellon University, Pittsburgh, Pennsylvania Interests: mathematical logic, model theory