EDUCATION

Executive Summary

Dr. Siegel received the Ph.D. degree in mathematics from the University of Chicago in 1993. During his graduate studies, he spent a year at Oxford University as a Fulbright fellow, and after graduation was an NSF post-doctoral researcher at Northwestern University. His mathematical research deals primarily with the theory of finite groups, especially applications of representation theory and cohomology to that field. He later became a senior research scientist in the computer science department at the University of Massachusetts, working in software engineering, with a focus on verification of concurrent programs. Today he is an Associate Professor at the University of Delaware in computer science with a joint appointment in the mathematics department. He researches formal methods, the use of logical and mathematical techniques for producing better software and hardware systems. Applications of formal methods to scientific and high performance computing are a particular focus.

Research Areas

• Computer Systems, Networks, and Security
• Computing Foundations