Professor and Chair
Computer Engineering Department
College of Engineering
San Jose State University.
NSF Science and Technology Center: Team for Research in Ubiquitous Secure Technologies (TRUST).
On the faculty of the Computer Engineering and the Computer Science departments.
Co-director, NSF Science and Technolgy Center: Team for Research in Ubiquitous Secure Technology, 2005-...
Department Chair, San Jos¯¯ State University, Computer Engineering Department, 2002-...
Department Chair, Cal Poly, Computer Science Department, 2000-2002
Associate Department Chair, Computer Science Department, Cal Poly, 1999-2000
Professor, Cal Poly, 2000-2003
Associate Professor, Cal Poly, 1997-2000
Professor (Consulting/Visiting), Stanford University, 1989-1998
Professor, University of Bergen, 1989-1998
Department Chair, Department of Informatics, University of Bergen, 1993-1995
Associate Professor, University of Bergen, 1987-1989
Fulbright Scholar, Stanford University, 1986-1987
Dr. Scient., University of Oslo, 1986
His work on software engineering resulted in a Certificate of Special Recognition from the U.S. House of Representatives as well as a Certificate of Recognition from the California State Assembly in 2000.
He is also a recipient of the international Carl-Erik Fr¯¯berg award, and his research interests are primarily the many aspects of concurrent processing, with an emphasis on its systematic design and development by means of programming, prototyping and specification formalisms with supporting tools. He participated in the definition of the Task Sequencing Language for annotation of concurrent Ada programs, and is a senior researcher in the project developing the Rapide language framework for prototyping distributed architectures. Throughout his work he has emphasised the power of abstraction mechanisms. In particular, he is currently investigating the use of event abstraction mappings in conformance testing of distributed software architectures. He has also established significant results in methods for reasoning about concurrent programs, such as a compositional and structurally fully abstract reasoning system for concurrents systems with spawning and exceptions.
He is the architect of the new undergraduate Computer Software Engineering degree program at Cal Poly, which offers an innovative curriculum providing the students with an effective blend of conceptual foundations, technical skills and managerial experience - emphasizing the engineering aspects of software development.
He is an editor of the Nordic Journal of Computing, has published one book and more than 50 technical papers (some recent ones are available here).