## 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

## Witt, Carsten

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

## Strøm, Be-te Elsebeth

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