Flemming Nielson

Flemming Nielson

Professor

Richard Petersens Plads, Building 324, Room 182

2800 Lyngby

Denmark

Phone: 45253735

Flemming Nielson er cand.scient. i matematik og datalogi fra Aarhus Universitet (1981), han er PhD i datalogi fra Edinburgh University (1984) med "udlandsophold" ved MIT, og han er den første dr.scient. i datalogi fra Aarhus Universitet (1990). Han har været ansat som lektor ved universiteterne i Aalborg og Aarhus, som gæsteprofessor ved universiteterne i Kiel og Saarbrücken samt ved Max Planck instituttet i Saarbrücken, og er nu professor ved DTU. Han er medforfatter på 5 bøger og editor på 1 bog; Trier-databasen (november 2007) opgør 100 publikationer hvoraf 35 er tidsskriftsartikler; Citeseer (august 2006) lister ham på position 1227. Han var koordinator for forskningsprojektet "Design, Analysis and Reasoning about Tools", der var et flerårigt rammeprogram omfattende forskere ved AU, AAU og KU, samt for forskningsprojektet "Logical and Operational Methods in the Analysis of Programs and Systems", der var et EU-projekt omfattende forskere ved blandt andet AU, Cambridge, ENS i Paris. Han er bevillingshaver for projekterne "Security in Embedded Systems" og "Aspects of Security for Citizens" bevilget af det strategiske forskningsråd og er bevillingshaver og forskningsleder for arbejdspakken "kvalitativ analyse" inden for EU-projektet SENSORIA. Han har tidligere været bevillingshaver for mange andre EU- og nationale forskningsprojekter. Han har været afdelingsleder for "Computer Science and Engineering" ved DTU i årene 2002-06 og har gennemført rektorkollegiets institutlederkursus; han har også gennemført en række andre kurser inden for PhD- og adjunktvejledning, virkningsfuld universitetsundervisning og coaching. Hans faglige hovedinteresser er modellering og analyse af datalogiske processer, herunder anvendelser på datasikkerhed, med særlig vægt på statisk analyse og operationel semantik.

CV

Academic grades

PhD, dr.scient.

My links

My files

View graph of relations

Publications

(231)

View all »

View all »

Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word
Download as: To download, please limit the number of search results to 1,000 or less.

Place of employment

Latest activities and conferences

ID: 2177272