Homepage of Oliver Moeller at BRICS

AltaVista,

Archie,

HotBot,

Lycos,

MC,

WebCrawl,

W4,

Google,

Yahoo,

BLIP,

LLinks,

PLinks

M. Oliver Möller

PhD, studied at BRICS
_{Curriculum Vitae}
_{Supervisor: Kim Guldstrand
Larsen

thesis submitted: 20 February 2002

defended: Århus, 19 April 2002}

  Afrastrasse 14
  89331 Burgau
  Germany
Phone

(+49) 8222 7121
E-mail

omoeller@verify-it.de

dansk udgave
deutsche Version

Permanently away
I moved back to Germany and found employment at Verified Systems International GmbH in Bremen. Feel invited to visit my new homepage:

http://www.verify-it.de/index-en.html

Research Interests

Formal methods, automated verification & Model Checking
Analysis of Real-Time systems
Hierarchical structures in system design, Hierarchial Timed Automata
Solvability Properties of Equational Theories, in particular Bit-Vectors

online publications

Projects

The real-time model checking tool Uppaal (joint development Uppsala/Aalborg)
AIT-WOODDES: European project No. IST-1999-10069,
Advanced Information Technology- Workshop for Object Oriented Design and Development of Embedded Systems

Other Links

a non-representative Link List of people, universities and events
visit my Personal Link Page to find some favourites
find a collection of useful utilities
links to academic places I worked at

If you must, you can send your emails encrypted (but don't expect me to read them the same day). My public key: PGP 2.6.3i
Alternatively, you can use a online Java encryption applet just with your web-browser to do so.

``The explosive development of information-processing technology during the last two decades
has stimulated the vigorous growth of an Information Science.''

J. Hartmanis, R.E. Stearns, 1966

Last modified: Mon Sep 2 20:35:13 2002