Instr Fac 12 Mo, Computer Engineering
Director, SJSU Cybersecurity + Big Data Initiative
Co-Director, NSF STC TRUST (UC Berkeley)
Additional Contact Information
By appointment through the Computer Engineering Department
Software engineering education
Specification and conformance of (distributed) software
Prototyping of distributed architectures
Professor and DirectorCo-directorCybersecurity + Big Data Initiative
San Jose State University.
On the faculty of the Computer Engineering and the Computer Science departments.
Director, SJSU Cybersecurity + Big Data Initiative, 2013-...
Co-director, NSF Science and Technology Center: Team for Research in Ubiquitous Secure Technologies, 2005-...
Chair, Academic Senate, San José State University, 2008-2009
Department Chair, San José State University, Computer Engineering Department, 2002-2013
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 research interests are primarily the many aspects of concurrent processing, with an emphasis on its formalization by means of programming, prototyping and specification formalisms with supporting tools. He has participated in the definition of the Task Sequencing Language, and was a senior researcher in the project developing the Rapide language framework for prototyping of distributed architectures and the abstraction mechanisms necessary for large-scale conformance checking.
He has also established significant results in the formal theory of verification of concurrent programs, such as a compositional and fully structurally abstract reasoning system for concurrent systems with spawning and exceptions, and co-authored the seminal paper on the algebraic foundations of non-deterministic operators.
He has a strong interest in the development of a solid software engineering education, and was the primary author of Cal Poly's new undergraduate degree in software engineering as well as of the new BS and MS Software Engineering degrees at San José State University.
He is a strong proponent of the internationalization of higher education, and in particular of the international collaboration necessary to prepare students for a global workplace. To that end he has worked with universities in India and China to establish collaborative frameworks for student and faculty exchanges, and for dual or joint degree programs bringing together students from different countries into one educational context.
He is an editor of the Nordic Journal of Computing, has published one book and more than 60 technical papers.