Mads Rosendahl

MSc & PhD

Associate Professor, Department of People and Technology
Associate Professor, Programming, Logic and Intelligent Systems

Phone+45 46 74 38 46
Emailmadsr@ruc.dk
Website

Universitetsvej 1, 08.2
DK-4000 Roskilde
Denmark

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

Projects 2007 2016

5 Finished

5 results
Status, start date (descending)

Finished

ICT-Energy

Gallagher, J. P., Rosendahl, M. & Bohr, N.

01/10/2013 → 30/09/2016

Project: Research

Situated Design Methods

Simonsen, J., Svabo, C., Strandvad, S. M., Samson, K., Hertzum, M., Hansen, O. E., Søndergård, B., Kristiansen, E., Christrup, H., Pries-Heje, J., Nielsen, J. L., Bødker, K., Pfeiffer Pedersen, L., Frølunde, L., Rosendahl, M., Neisig, M., Frandsen, M. S., Juul, N. C., Jørgensen, N., Lybæk, R., Groth, S. K., Christensen, T. B., Andreasen, T., Kjær, T., Kensing, F., Venable, J., Birch Andreasen, L., Baskerville, R. & Gudiksen, S.

01/01/2013 → 01/10/2014

Project: Research

ENTRA: Whole-Systems Energy Transparency

Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.

01/10/2012 → 30/09/2015

Project: Research

NUSA: Numeric and Symbolic Abstractions for Software Model Checking

Gallagher, J. P., Rosendahl, M. & Rhiger, M.

01/01/2011 → 31/12/2013

Project: Research

SAFT: Static Analysis with Finite Tree Automata

Gallagher, J. P., Rosendahl, M. & Rhiger, M.

01/01/2007 → 31/12/2010

Project: Research