Euro-Par '97 - Tutorial (Afternoon) -
[Cached Version]
Published on: 3/24/2006
Last Visited: 7/18/2008
Martin Wirsing
...
Martin Wirsing is a Full Professor and Chair for Computer Science at Ludwig-Maximilians-Universität, München, Germany, where he is also leading the research group on Programming and Software Technology.Currently he is leader of projects on the specification of concurrent object-oriented systems, software engineering for distributed systems, design and implementation of electronic product catalogs, and constraint functional programming. Martin Wirsing is editor of more than 10 books and has published more than 120 scientific papers in the areas of program transformation and program development, semantics of programming languages, software technology, formal specification, algebraic specification languages, and mathematical logic.