## Algorithms and Logic

## Department of Informatics and Mathematical Modeling - Former organisational unit. 31/12/2012. Taken over by Department of Applied Mathematics and Computer Science

## Andersen, Mikkel Birkegaard

- Department of Applied Mathematics and Computer Science - PhD Student, Former employee

## Bille, Philip

- Department of Applied Mathematics and Computer Science - Associate Professor
- Algorithms and Logic

## Bolander, Thomas

- Office for Study Programmes and Student Affairs - Associate Professor
- Department of Applied Mathematics and Computer Science - Associate Professor
- Algorithms and Logic

## Fischer, Paul

- Department of Applied Mathematics and Computer Science - Associate professor, head of section
- Algorithms and Logic

## Goranko, Valentin

- Department of Applied Mathematics and Computer Science - Associate Professor, Former employee

## Gørtz, Inge Li

- Department of Applied Mathematics and Computer Science - Associate Professor
- Algorithms and Logic

## Grue, Klaus

- Algorithms and Logic - Former employee

## Jensen, Andreas Schmidt

- Department of Applied Mathematics and Computer Science - PhD Student, Former employee

## Jensen, Martin Holm

- Department of Applied Mathematics and Computer Science - Postdoc, Former employee

## Strøm, Be-te Elsebeth

- Department of Applied Mathematics and Computer Science - Administrative Officer
- Algorithms and Logic

## Witt, Carsten

- Department of Applied Mathematics and Computer Science - Associate Professor
- Algorithms and Logic