|
|
 |
|

|
 |
|
Co-director,
NSF Science
and Technolgy Center: Team for Research in Ubiquitous Secure
Technologies, 2005-...
Department Chair, San José State University, Computer
Engieering 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).
|
| |
College
Of Engineering
• One
Washington Square • San José, California USA, 95192
Copyright © 2002 San José State University

|
| |
 |