(Dansk) Hjemmeside af Oliver Moeller i BRICS

AltaVista,

Archie,

HotBot,

Lycos,

MC,

WebCrawl,

W4,

Google,

Yahoo,

BLIP,

LLinks,

PLinks

M. Oliver Möller

PhD Student at BRICS
_{Supervisor: Kim Guldstrand
Larsen

Thesis submitted: 20.02 2002

defense: Århus, 19.04 2002}

Afrastrasse 14
89331 Burgau
Germany

(+49) 8222 7121
E-mail

omoeller@verify-it.de

English version
deutsche Version

Bort fra Århus
Jeg er flyttet tilbage til tyskland og har fundt jobben med Verified Systems International GmbH i Bremen. Du må gerne besøge min ny hyemmeside:

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

Det interesserer mej

Formale metoder, automatisk korrektheits-beviser & model checking
Analyse af Real-Tids systemer
Hierarchisk strukturer i systemer, HTAs
Solvability egenskaben af lignings teorien, i særdeleshed bit vectorer

online publications

Projekter

De real-time model checking tool Uppaal (sammen udvikling Uppsala/Aalborg)
AIT-WOODDES: Europæisk projekt No. IST-1999-10069,
Advanced Information Technology- Workshop for Object Oriented Design and Development of Embedded Systems

Mere URLs

min Link List af personer, universiteter, og tildragelse
besøg mig Yndlings Link Page for at finde min yndlings-links
nogle nyttig skripts
du kan også finde links til akademisk steder, hvor jeg har arbejdet de sidste år

Hvis du har brug for, det er mulig at sende mig hjemmelige breve. Min offentlig nøgler: PGP 2.6.3i
Eller, du må gerne tage min egen Java skrivet program med din web browser for at chiffrere.

Last modified: Thu Jul 11 10:37:25 2002