Hans Hüttel

Associate Professor
Department of Computer Science
Aalborg University
E-mail: hans@cs.aau.dk
Page: http://people.cs.aau.dk/~hans

Fields of interest:

Process calculi, operational semantics, programming language theory, logics for programs

List of publications:

http://vbn.aau.dk/da/persons/hans-huttel(374c283d-9961-4b1a-9fbd-77b4fa0dc30d)/publications.html