Team for Research in
Ubiquitous Secure Technology


photo of Sigurd Meldal
Sigurd Meldal
    San Jose State University

Home page:
Bio:  Current position:

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).