Meldal, Sigurd

Meldal, Sigurd

Date Updated

7-30-2024

Department

Computer Engineering, Computer Science

Academic Rank

Professor Emeritus

Year Retired from SJSU

2015

Educational Background

University of Oslo, 1979, cand.mag., Computer Science, Mathematics

University of Oslo, 1982, cand.real., Computer Science

University of Oslo, 1986, dr.scient., Computer Science

Dissertation Title

Partial Correctness and Hierarchical Abstraction of Concurrent Systems

Teaching Experience

University of Bergen, Department of Informatics, 1987-1989

Stanford University, Electrical Engineering Department, 1989-1998

Cal Poly SLO, Computer Science Department, 1997-2002

San José State University, Computer Engineering and Computer Science Departments, 2002-2020

Administrative and Professional Experience

Chair, Computer Science Department, CalPoly, 2000-2002

Chair, Computer Engineering Department, SJSU, 2002-2013

Co-Director, NSF Center for Research in Ubiquitous Secure Technologies, UC Berkeley, 2005–2016

Director, Silicon Valley Big Data and Cybersecurity Center, 2013-2016

CEO, Mostly Sunny, Menlo Park, CA, 2012 – Present

Senior Computer Scientist, Quandary Peak Research, Los Angeles, CA 2014 – Present

• Provided reports and testimony to the International Trade Commission; USPTO Patent Trial and Appeal Board; US District Court for the Central District of California; US District Court for the Northern District of California; US District Court for the Southern District of California; US District Court for the District of Columbia; US District Court for the District of Delaware; US District Court for the Northern District of Illinois; US District Court for the District of Nevada; US District Court for the District of New Jersey; US District Court for the Southern District of New York; US District Court for the Eastern District of Texas; US District Court for the Northern District of Texas; US District Court for the Eastern District of Virginia; Superior Court of the State of California, County of Alameda; Superior Court of the State of California, County of Santa Clara; US Bankruptcy Court for the Southern District of Florida, West Palm Beach Division

Service

  • Chair, Academic Senate, SJSU, 2008-2009

  • Member, California Task Force on Cyber Security, State of California 2014 – 2016

  • Commissioner, Engineering Accreditation Commission (EAC), ABET, Inc., Baltimore, MD 2016 – 2024

  • Vice Chair of Operations, Engineering Accreditation Commission (EAC), ABET, Inc., Baltimore, MD 2024 – Present

Selected Publications

Articles

Sigurd Meldal, M. A. Walicki and M. Haveraaen. "Computation Algebras" Mathematical Structures in Computer Science Vol. 11 Iss. 5 (2001)

Sigurd Meldal and M. A. Walicki. "Singular and plural non-deterministic parameters" SIAM J. of Computing Vol. 26 Iss. 4 (1997) https://scholarworks.sjsu.edu/computer_eng_pub/10/

Sigurd Meldal and M. A. Walicki. "Algebraic Approaches to Non-Determinism – an Overview" ACM Computing Surveys Vol. 29 Iss. 1 (1997)

Sigurd Meldal and A. I. Vermesan. "Verification Oriented Development of Knowledge Based Systems" New Review of Applied Expert Systems Vol. 2 (1996)

Sigurd Meldal and M. A. Walicki. "A complete calculus for the multialgebraic and functional semantics of non¬determinism" ACM TOPLAS Vol. 17 Iss. 2 (1995)

Sigurd Meldal. "A complete axiomatic semantics of spawning" Distributed Computing Vol. 5 Iss. 3 (1991)

Sigurd Meldal, J. Mitchell and N. Madhav. "An extension of Standard ML modules with subtyping and inheritance" Information and Control Vol. 71 (1991)

Sigurd Meldal. "Fra spesifikasjon til virkelighet (In Norwegian)" DATA Vol. 17 Iss. 4 (1987)

Sigurd Meldal. "An axiomatic semantics for nested concurrency" BIT Numerical Mathematics Vol. 26 Iss. 2 (1986)

Sigurd Meldal. "Partial correctness of exits from concurrent structures" BIT Numerical Mathematics Vol. 26 Iss. 3 (1986)

Contribution to Book

Sigurd Meldal, D. C. Luckham and J. Vera. "Invited paper Key Concepts in Architecture Definition Languages" Foundations of Component Based Systems (2000)

Sigurd Meldal, G. Fisher and D. Stearns. "Software Prototyping" Invited contribution to John Wiley & Sons’ Encyclopedia of Electrical and Electronics Engineering (1999)

Sigurd Meldal, D. C. Luckham, M. Broy and B. Rumpe. "NSA’s MISSI Reference Architecture – From Prose to Precise Specification" Requirements Targeting Software and Systems Engineering Vol. 1526 (1998)

Sigurd Meldal and M. A. Walicki. "Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions" BerlinRecent Trends in Data Type Specification Vol. 906 (1995)

Sigurd Meldal and E. Mellbye-Larsen. "Styring av bus- of lageraksess i en multiprosessorarkitektur (In Norwegian)" In NordDATA 83, Den Norske Dataforening (1983)

Personal Commentary

Dr. Sigurd Meldal's 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.

Files

Meldal, Sigurd

Share

COinS