Research
We use electrical engineering and computer science analysis methods to solve problems and to create new design methodologies for analog and digital VLSI circuits.
Validation Tools
Improving validation productivity by providing automatic verification and debugging tools for hardware generator frameworks. Two major projects: automatic FSM verification and source-level debugging.
Validation ToolsAnalog Emulation
Developing strategies to model analog blocks within the context of FPGA emulation, along with an open-source framework that makes it easy to apply those strategies.
Fly Neuroscience
Studying how fruit flies transform visual stimuli into physical action. Rather than using the traditional "fly-on-a-ball" setup, which confines flies to a fixed position, developing a new platform, called FlyVR, that allows flies to walk freely during experiments.
Fly NeuroscienceDebugging
Studying how students learn to debug circuits in order to improve electrical engineering education. Debugging is a complex cognitive process and is a specialized form of problem-solving that engineers and computer scientists use on a daily basis when working with physical systems and code.
Debugging