Recent Changes

Friday, December 9

  1. page home edited From January 1, 2017 the TCS section is merged into of the Department of Computer Science. This …

    From January 1, 2017 the TCS section is merged into of the Department of Computer Science. This page is no longer maintained.
    Theoretical Computer Science Section
    The Theoretical Computer Section at the IT University of Copenhagen conducts research on theoretical computer science, including both "tracks A and B" (programming, logic, and semantics; and algorithms and complexity theory). Current research topics include: automated reasoning, business processes, category theory, concurrency theory, distributed and mobile computing, domain theory, program logics and verification, software configuration, electronic voting, logical frameworks, programming language technology for functional and object-oriented languages, proof assistants, semantics, static analysis, workflow languages, complexity theory, graph algorithms, algorithm engineering, big data algorithms, and algorithmic game theory.
    (view changes)
    1:47 am

Tuesday, October 4

  1. page home edited ... Sam McCauley Bassel Mannaa Christian Graulund PhD Students Agata Murawska ... Johan vo…
    ...
    Sam McCauley
    Bassel Mannaa
    Christian Graulund
    PhD Students
    Agata Murawska
    ...
    Johan von Tangen Sivertsen
    Thomas Dybdahl Ahle
    Christian Graulund
    Assistants
    Alec Faithfull
    (view changes)
    12:39 am
  2. page home edited ... Sam McCauley Bassel Mannaa Christian Graulund PhD Students Agata Murawska
    ...
    Sam McCauley
    Bassel Mannaa
    Christian Graulund
    PhD Students
    Agata Murawska
    (view changes)
    12:39 am
  3. 12:38 am
  4. page home edited ... The Theoretical Computer Section at the IT University of Copenhagen conducts research on theor…
    ...
    The Theoretical Computer Section at the IT University of Copenhagen conducts research on theoretical computer science, including both "tracks A and B" (programming, logic, and semantics; and algorithms and complexity theory). Current research topics include: automated reasoning, business processes, category theory, concurrency theory, distributed and mobile computing, domain theory, program logics and verification, software configuration, electronic voting, logical frameworks, programming language technology for functional and object-oriented languages, proof assistants, semantics, static analysis, workflow languages, complexity theory, graph algorithms, algorithm engineering, big data algorithms, and algorithmic game theory.
    Faculty
    Zeljko Agic, assistant professor
    Patrick Bahr, assistant professor

    Jesper Bengtsson, associate professor
    Marco Carbone, associate professor, publications
    Søren Debois, associate professor
    Jes Frellsen, associate professor

    Thomas Hildebrandt, associate professor
    Thore Husfeldt, associate professor
    ...
    Rasmus Ejlers Møgelberg, associate professor
    Rasmus Pagh, professor, head of section, publications
    Natalie Schluter, assistant professor
    Carsten Schürmann, associate professor
    Troels B. Sørensen, assistant professor
    ...
    Martin Aumüller
    Alessandro Bruni
    Patrick Bahr
    Søren Debois
    Ninh Pham
    Matthew Skala

    Francesco Silvestri
    Tijs SlaatsSam McCauley
    Bassel Mannaa

    PhD Students
    Jian Wang
    Marco Paviotti

    Agata Murawska
    Tobias Christiani
    (view changes)
    12:38 am

Monday, February 8

  1. 5:28 am

Monday, January 18

  1. page home edited ... Troels B. Sørensen, assistant professor Postdocs Martin Aumüller Alessandro Bruni Patric…
    ...
    Troels B. Sørensen, assistant professor
    Postdocs
    Martin Aumüller
    Alessandro Bruni

    Patrick Bahr
    Søren Debois
    Nicolas Guenot
    Lorena Ronquillo

    Ninh Pham
    Matthew Skala
    ...
    Tijs Slaats
    PhD Students
    Daniel Gustafsson
    Jian Wang
    Marco Paviotti
    ...
    Assistants
    Alec Faithfull
    Jens Egholm PedersenNina Holm Larsen
    Contact
    Our offices are in the 4B and 4C corridors. The sections's email alias is "tcs" (with the usual itu.dk domain).
    (view changes)
    12:24 am

Thursday, August 6

  1. page home edited ... Troels B. Sørensen, assistant professor Postdocs Patrick Bahr Søren Debois Nicolas Gueno…
    ...
    Troels B. Sørensen, assistant professor
    Postdocs
    Patrick Bahr
    Søren Debois
    Nicolas Guenot
    ...
    Francesco Silvestri
    Tijs Slaats
    Patrick Bahr
    PhD Students
    Daniel Gustafsson
    (view changes)
    1:21 am
  2. page home edited ... Thore Husfeldt, associate professor Riko Jacob, associate professor Jesper Larsson, externa…
    ...
    Thore Husfeldt, associate professor
    Riko Jacob, associate professor
    Jesper Larsson, external lecturer
    Rasmus Ejlers Møgelberg, associate professor
    Rasmus Pagh, professor, head of section, publications
    (view changes)
    1:20 am

Tuesday, August 4

  1. page home edited Theoretical Computer Science Section ... algorithms, algorithm engineering. engineering, big…

    Theoretical Computer Science Section
    ...
    algorithms, algorithm engineering.engineering, big data algorithms, and algorithmic game theory.
    Faculty
    Jesper Bengtsson, associate professor
    ...
    Søren Debois
    Nicolas Guenot
    Nicolas Pouillard
    Lorena Ronquillo
    Ninh Pham
    Matthew Skala
    Francesco Silvestri
    Tijs Slaats
    Patrick Bahr

    PhD Students
    Daniel Gustafsson
    Tijs Slaats
    Morten Stöckel

    Jian Wang
    Marco Paviotti
    (view changes)
    1:00 am

More