Olav.Lysne | Simula Research Laboratory

Primary tabs

Olav Lysne

Professor

Director of Simula Metropolitan

Organisation:

Administration and Management

Email:

olavly@simula.no

Most recent publications

Heuristics for Completion in Automatic Proofs by Structural Induction

Nordic Journal of Computing 1 (1994): 135-156,.

Journal Article

1994

Extending Bachmair's Method for Proof by Consistency to the Final Algebra

Information Processing Letters 51, no. 6 (1994): 303-310,.

Journal Article

1994

Term Rewriting Techniques for Systems Based on Generator Induction

Department of Informatics, University of Oslo, 1991.

PhD Thesis

1991

News

21 January 2021

Professor Olav Lysne awarded the Trust and Transparency Award

Simula in the media

08 April 2016

Samferdselsministeren åpnet nytt senter for datasikkerhet

Samferdselsminister Ketil Solvik-Olsen åpnet forskningssenteret Simula@UiB, ved Universitetet i Bergen. - Vi må ha tillit til datasystemer, derfor trenger vi kunnskap for å forebygge cyberkriminalitet, overvåkning og industrispionasje.

:

Simula, Simula Research Laboratory

Samferdselsdepartementet

Find publication