Christian W. Probst

Christian W. Probst

Associate Professor

Matematiktorvet, Building 324, Room 160

2800 Kgs. Lyngby

Denmark

Phone: 45257512

Fax: 45-93 00 74

Christian W. Probst er ekspert i programmeringssprog og mobile applikationer, som f.eks. anvendes til at programmere alle computerbaserede systemer og til Internet applikationer. Christians forskning har fokus på modellering og analyse af systemer og deres sikkerhedsegenskaber. Det fælles grundlag af disse områder er ønsket om at opnå en model, som beskriver relevante detaljer og er præcis nok til at opnå meningsfulde resultater---men samtidig grov nok til at finde resultaterne med fornuftig indsats. For tiden arbejder Christian især med optimerende oversættere og modellering og analyse af systemer med hensyn til mulige insider-trusler. Han underviser i oversætterteknologi, robust programmering og sprogbaseret sikkerhed. Christian W. Probst modtog sin MSc og PhD fra Universitaet des Saarlandes, Tyskland. Han har tidligere arbejdet på det Internationale Konference og Forksnings Center Schloss Dagstuhl, Tyskland, og på University of California, Irvine, i USA. Han har siden 2005 været adjunkt ved Informatik og Matematisk Modellering på DTU. Christian har arrangeret en række konferencer og workshops, og arbejder regelmæssigt i programudvalg indenfor sine forskningsområder.

CV

Education

1989 - 1994 M.Sc. in Computer Science - Universität des Saarlandes, Germany
1999 - 2002 Ph.D. thesis in Computer Science on the subject “A Demand-Driven Solver for Constraint-basedControl Flow Analysis” - Universität des Saarlandes, Germany

Academic grades

Ph.D.

Professional experience

1999 - 2002 Graduate Research Assistant - Universität des Saarlandes, Germany, Informatics
2003 - 2005 Postdoctoral Researcher (UCI) - University of California, Irvine, Donald Bren School for Information and Computer Science
2005 - 2005 Lecturer (UCI) - University of California, Irvine, Donald Bren School for Information and Computer Science
2005 - 2008 Assistant Professor (DTU Informatics) - Technical University of Denmark, Informatics and Mathematical Modelling
2008 - Associate Professor (DTU Informatics) - Technical University of Denmark, Informatics and Mathematical Modelling
2008 - External Lecturer (CBS) - Copenhagen Business School, Informatics

Languages

German (mother tongue), Danish (fluent), English (fluent)

International experience

Postdoctoral stay at the University of California, Irvine

My links

My files

View graph of relations

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: 1831331