San Jose State University :: Faculty & Staff Web Pages: Sigurd Meldal's Home Page

Navigation

Sigurd  Meldal

Meldal, Sigurd

Instr Fac 12 Mo,  Computer Engineering
Director, SJSU Cybersecurity + Big Data Initiative
Co-Director, NSF STC TRUST (UC Berkeley)

E-mail
sigurd.meldal@sjsu.edu
Additional Contact Information

Phone Number(s)
(408) 924-3960

Office Hours
By appointment through the Computer Engineering Department

Interests:
Cyber security
Software engineering education
Specification and conformance of (distributed) software
Prototyping of distributed architectures

Education

  • dr. sc., Informatics
    University of Oslo, Norway, 1986
  • cand. real., Informatics
    University of Oslo, Norway, 1982

Bio

Current position:

Professor and Director
Cybersecurity + Big Data Initiative
San Jose State University.
Co-director
On the faculty of the Computer Engineering and the Computer Science departments.

Career:

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.