About
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 Performance Summary
First Recorded Paper
Projective modules for A9in characteristic three
Year: 1991
Citations: 6
Venue: Communications in Algebra 19 (11)
Latest Recorded Paper
Proceedings of the International Workshop on Verification of Scientific Software
Year: 2025
Citations: 0
Venue: arXiv preprint arXiv:2510.12314
Last 10 Years Publication Activity
This timeline shows the professor's yearly publication activity.