![]() |
|
| Stephen Siegel is a Senior Research Scientist in the Laboratory for Advanced Software Engineering Research, Department of Computer Science, University of Massachusetts Amherst. His research interests include analysis and verification of concurrent and distributed software systems, applications of linear programming and group theory to software analysis, parallel computation, and the cohomology and representation theory of finite groups. |
|