Carsten Schürmann

Phone72185282
Emailcarstenitudk

Research activity per year

If you made any changes in Pure these will be visible here soon.

Marco Carbone

macaitudk

Computer Science - Associate Professor, Head of study programme
Programming Logic and Semantics
cisat.dk

Person: VIP

6 shared research output

Rosario Giustolisi

rosgitudk

Computer Science - Associate Professor
cisat.dk

Person: VIP

5 shared research output

Alessandro Bruni

brunitudk

Person: VIP

4 shared research output

Oksana Kulyk

okkuitudk

Computer Science - Associate Professor, Deputy Head of Department
cisat.dk

Person: VIP

2 shared research output

Fabrizio Montesi

University of Southern Denmark

External person

5 shared research output

Bernhard Beckert

Karlsruhe Institute of Technology

External person

5 shared research output

Rajeev Gore

External person

3 shared research output

Robert Krimmer

Tallinn University of Technology

External person

3 shared research output

Iliano Cervesato

Carnegie Mellon University

External person

3 shared research output

Frank Pfenning

Carnegie Mellon University

External person

3 shared research output

Adam Poswolsky

Yale University

External person

2 shared research output

Michael Kirsten

Karlsruhe Institute of Technology

External person

2 shared research output

Jordi Barrat

University of Catalonia/URV

External person

2 shared research output

Jorge Sacchini

Carnegie Mellon University

External person

2 shared research output

Thorsten Bormer

External person

2 shared research output

Peter Wolf

External person

2 shared research output

Nobuko Yoshida

Imperial College London
Imperial College

External person

2 shared research output

Henry DeYoung

Carnegie Mellon University

External person

1 shared research output

Rosa Sigbjörnsdóttir

IT University of Copenhagen

External person

1 shared research output

Michael Clouser

External person

1 shared research output

Mark-Oliver Stehr

University of Illinois Urbana-Champaign

External person

1 shared research output

Florian Rabe

Constructor University

External person

1 shared research output

Sven Heiberg

External person

1 shared research output

Kasper Møller Nielsen

External person

1 shared research output

Rejeev Gore

External person

1 shared research output

Alejandro Bravo

External person

1 shared research output

Robert J Simmons

External person

1 shared research output

Robert Simmons

Carnegie Mellon University

External person

1 shared research output

Sam Lindley

University of Edinburgh

External person

1 shared research output

Peter Ryan

External person

1 shared research output

Steve Schneider

University of Surrey

External person

1 shared research output

Dirk Pattinson

Australian National University

External person

1 shared research output

Søren Stauning

External person

1 shared research output

Giampaolo Bella

External person

1 shared research output

Stephan Neumann

TU Darmstadt

External person

1 shared research output

Henrik Nore

External person

1 shared research output

Wojtek Jamroga

Universite du Luxembourg

External person

1 shared research output

Eva Drewsen

External person

1 shared research output

Sebastian Alexander Mödersheim

Danmarks Tekniske Universitet

External person

1 shared research output

Vladimir Klebanov

External person

1 shared research output

Al Acong Parreno

External person

1 shared research output

Douglas Wikström

KTH, Royal Institute of Technology

External person

1 shared research output

Eden Bolo

External person

1 shared research output

Philip Wadler

University of Edinburgh

External person

1 shared research output

Philip Stark

University of California

External person

1 shared research output

Melanie Volkamer

TU Darmstadt

External person

1 shared research output

Ivan Garbacz

External person

1 shared research output

Jeffrey Sarnat

Yale University

External person

1 shared research output

Carsten Schürmann

Network