• Jump to main content
 
UiO The Faculty of Mathematics and Natural Sciences Department of Informatics
  • Home
  • Research
  • Studies
  • Student life
  • Services and tools
  • About the department
  • People
Back to uio.no
Menu
  • Norwegian website
  • For employees
  • My studies
Sub menu
  • Research
  • Research projects
  • RailCons
    • Collaborations
    • Dissemination activities
Research > Research projects > RailCons

Participants in RailCons: Automated Methods and Tools for Ensuring Consistency of Railway Designs

From the University of Oslo

Name Phone E-mail Tags
Christian Johansen
Bjørnar Steinnes Luteberget
Martin Steffen Professor +47 22850417 msteffen@ifi.uio.no 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
Josef Noll Professor +47-2284 2228 +47-9083 8066 (mob) josef.noll@its.uio.no SDGs, Agenda 2030, Sustainability, Digital Inclusion, ITS, radio, trådløse sensornettverk, wireless networks, mobile applications, informasjonssikkerhet, internet of things, measurable security, embedded systems, WNaS
Olaf Owe Professor +47 22852449 olaf@ifi.uio.no semantics, object-orientation, formal methods, concurrency, privacy, information security, language-based security, verification, programming languages

Other participants

  • Claus Feyling
Department of Informatics

Visiting address

Ole-Johan Dahls hus (map)
Gaustadalléen 23 B
N-0373 OSLO
Norway

Mail address

P.O box 1080
Blindern
0316 OSLO
Norway

Phone, fax, e-mail

+47 22 85 24 10
ifiadm@ifi.uio.no

Responsible for this page

nettredaksjonen

Log in Logout menu
  • Manage document