Embedded Computer Systems
Avionics Systems
Spacecraft Design and Dependable Spacecraft Electronics
Small Satellites
Autonomous Vehicles
Parallel and Distributed Architectures and Operating Systems
Software Engineering Tools
Verification of Safety Critical Systems
Ph.D. Electrical Engineering, University of Iowa
M.S. Electrical Engineering, Purdue University
B.S. Electrical Engineering, Purdue University
The University of Kentucky, Lexington, KY, Dept. of Electrical and Computer Engineering Associate Professor, (7/99 – present) Assistant Professor, (7/93 – 6/99)
Oak Ridge National Laboratory, Engineering Physics & Math Div. Mathematical Sciences Section, Visiting Scientist, (6/94-8/94) Developed techniques to reduce the overhead of software instrumentation and performance metrics for parallel programs.
Rockwell International, Collins Division, Advanced Technology and Engineering Department (5/90-9/92) Developed verification and validation (formal methods and code coverage metrics), and performance evaluation techniques for embedded, safety critical, avi
The University of Iowa, Department of Electrical and Computer Engineering (1/90-8/93) Research assistant: debugging, testing, and performance evaluation of multiprocessor systems.
AT&T Bell Laboratories, Indian Hill, Large Systems Development Department (5/88-8/88) Developed database tools for managing a design decision database.
Purdue University, Department of Electrical Engineering (1/88-12/89) Course coordinator and instructor for microprocessor design and projects laboratories, course development for EE Department.
Northrop Corporation, Defense Systems Division, Advanced Technology and AN/ALQ-171 EW Group (5/85-8/87) Real-time data acquisition systems, digital and analog design for electronic warfare systems and avionics for F5 fighter aircraft.