MoSIS

Modularity in large Software and Information Systems

[Programming Technology Group, Department of Informatics, University of Bergen]

Home
Conferences
Publications
Annual Reports
Members
Activities

Members

Professor Marc Bezem Type theory, logic programming, process algebras
Assoc. Professor Uwe Wolter Partial algebraic specifications, categorical semantics, relatingalternative description frameworks, coalgebras, process algebras
Assoc. Professor Magne Haveraaen Algebraic software methodologies and frameworks, par-tiality, modular software in the problem domain of scientific computing
Assoc. Professor Khalid A. Mughal Object orientation, Java, web-based systems, distantlearning
Assoc. Professor Michal Walicki Fundamentals of algebraic specifications, abstraction mechanisms in specification
Hoang Anh Truong PhD student
Wojciech Szajnkenig PhD student
Yngve Lamo Research Associate
Last modified by webmaster September 11 2003 $