Theoretical Computer Science
He received his BSc., E.E. Diploma and M.Sc. from the Technion-Israel Institute of Technology in electrical engineering, and a Ph.D. in mathematics from UCLA. Dr. Fraenkel has founded the Responsa Storage and Retrieval Project, which he directed for its first ten years. He has published some 120 research papers in his areas of interest, which currently include combinatorial number theory, combinatorial games, analysis and complexity of combinatorial algorithms; the notion of complexity in
... atical, physical an biological systems; robust encoding and compression of data, and information storage and retrieval. Michael S. Paterson was born in London in 1942. He studied at the University of Cambridge and received his B.A. in mathematics in 1964 and his Ph.D. in mathematics in 1968, both from the University of Cambridge. He held a position as Instructor ( 1968-69) and Assistant Professor ( 1969-7 1) at the Mathematics Department of MIT. In 1971 he moved to the Department of Computer Science of the University of Warwick in Coventry, where he has been a Professor since 1979. From 1985 to 1990 he was a SERC Information Technology Senior Fellow. Professor Paterson has been a council member and is a Past President of the European Association of Computer Science (EATCS). He is on the editorial board of various international journals. His research interests include: complexity theory and analysis of algorithms. Martin Wirsing received his Ph.D. in Logic (1975) from the University of Munich and his Habilitation in theoretical computer science (1984) from the Technical University of Munich. From 1985 to 1992 he taught computer science as a Full Professor at the University of Passau. He has been Chairman (1986-88) and Vice-Chairman (1988-90) of the Faculty of Mathematics and Computer Science and one of the directors of the Bavarian Center for Knowlegde-based Systems (1990-92). Since 1992 he is a Full Professor at the University of Munich. Prof. Dr. Wirsing has published more than 100 scientific papers in the areas of mathematical logic, semantics, program development and formal specification.