Kontakt
Ole Lehrmann Madsen
Ph.d., Professor
Åbogade 34
bygning 5346, 328
8200 Aarhus N
Danmark
Fastnet: +4587156187
Mobil: +4520154451
Alexandra Instituttet A/S
Åbogade 34
8200 Aarhus N
Danmark
Fastnet: +4587156187
Mobil: +4520154451
Mit forskningsområde er objekt-orienterede software systemer. En væsentlig del af min forskning har været centreret omkring udviklingen af programmeringssproget BETA og tilhørende systemer.
Siden 1999 har jeg brugt det meste af min tid på at være direktør for Alexandra Instituttet som er et anvendelsesorienteret forskningsinstitut der arbejder med offentlig/privat samarbejde - se www.alexandra.dk for yderligere information.
Forskningsområder
- It, datalogi og matematik > Softwaresystemer > Distribuerede softwaresystemer
- It, datalogi og matematik > Softwaresystemer > Objekt-orienterede programmeringssprog
- It, datalogi og matematik > Softwaresystemer > Objekt-orienterede softwaresystemer
- It, datalogi og matematik > Softwaresystemer > Objekt-orienteret analyse og design
- It, datalogi og matematik > Softwaresystemer > Objekt-orienteret modellering
- It, datalogi og matematik > Softwaresystemer > Objekt-orienteret programmering
- It, datalogi og matematik > Softwaresystemer > Softwarearkitektur
- It, datalogi og matematik > Pervasive computing (it i alting) > Softwaresystemer for pervasive computing
- It, datalogi og matematik > Softwaresystemer > Softwareudviklingsværktøjer
- It, datalogi og matematik > Softwaresystemer > Virtuelle/abstrakte maskiner
- Udgivet
The future market for cybersecurity in Denmark
Publikation: Bog/antologi/afhandling/rapport › Rapport
- Udgivet
This is not a Model: On development of a common terminology for modeling and programming
Publikation: Konferencebidrag › Paper › Forskning › peer review
The Essence of Subclassing
Publikation: Konferencebidrag › Paper › Forskning › peer review
The Mjølner Project
Projekter: Projekt › Forskning
Development of the Beta Language
Projekter: Projekt › Forskning
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Deltagelse i eller organisering af konference
Udvalget for Strategisk Forskning under Danmarks Innovationsfond (Ekstern organisation)
Aktivitet: Medlemsskab - typer › Medlemskab af udvalg, råd og nævn
Aftagerpanelet for Danmarks Tekniske Universitet (Ekstern organisation)
Aktivitet: Medlemsskab - typer › Medlemskab af udvalg, råd og nævn
ID: 14887