Meldal, Sigurd
Date Updated
3-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)
http://works.bepress.com/sigurd_meldal/1/
Sigurd Meldal and M. A. Walicki. "Singular and plural non-deterministic parameters" SIAM J. of Computing Vol. 26 Iss. 4 (1997)
http://works.bepress.com/sigurd_meldal/5/
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)
http://works.bepress.com/sigurd_meldal/11/
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) http://works.bepress.com/sigurd_meldal/14/
Sigurd Meldal. "Partial correctness of exits from concurrent structures" BIT Numerical Mathematics Vol. 26 Iss. 3 (1986)
http://works.bepress.com/sigurd_meldal/13/
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)
http://works.bepress.com/sigurd_meldal/4/
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)
Files
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.