Martin Steffen

Professor - Programming
Image of Martin Steffen
Norwegian version of this page
Phone +47 22850417
Room 9465
Username
Visiting address Gaustadalléen 23B 0373 Oslo
Postal address Postboks 1080 0316 Oslo

Further information

For more detailed information about my professional activities (CV, teaching etc.) see  here.

There you find also more publications, some of which are available for download if no copyright issues prevent that. These official pages here include only publications officially registered and done as Norwegian employee (and counting some points in the  so-called tellekant system).

Tags: semantics, programming language theory, static analysis, verification, compiler construction, object-orientation, formal methods, concurrency, computer science, verification, PMA, program analysis, static analysis, compositionality, security, model checking, type systems
Published Nov. 4, 2010 2:19 PM - Last modified Sep. 30, 2020 8:48 AM