Computability and Logic 2009

News

About this class

Weekly schedules

Assignments

Students

Final exam

Students

Hold I

Class hours: Mandag 11 - 14 Shannon 156, Åbogade, TA: Karl Klose

Class Årskortnr. Name
120073755Hjalgrimur Højgaard Poulsen
120003355Michael Andreas Holmgaard Tjørning
120042199Andreas Hummelshøj Jakobsen
120061255Carsten Bøgh Normann Gade
120070913Adam Ehlers Nyholm Thomsen
120071538Morten Grue Sørensen
120071707Camilla Lodahl Gravgaard
120071739Dennis Hasselstrøm Pedersen
120071948Søren Kristoffer Stiil Frederiksen
120072873Niccolo Skovgård Poulsen
120073065Camilla Møller Pedersen
120073433Martin Mygind Jensen
120073595Nikolaj Thuskjær Andresen
120073618David Tor Bonde
120062485Irina Boubenets Kristensen
119982269Tommy De Blanck
120021868Jakob Bækgaard Sandholm
120051711Kavi Frederik Mellerup
120070706Anders Mikkelsen
120052979Anders Ingemann
120071252Rasmus Krabbe Øvlesen
120073528Jakob Dam Jensen

Hold DAT1

Class hours: Tirsdag 8 - 11 IT-huset, lokale 129 (5524-129), TA: Rocio Santillan

Class Årskortnr. Name
DAT120080782Nils Alfred Rahbek Henning
DAT120080816Jakob Mark Friis
DAT120080848Lasse Højgaard
DAT120080923Frederik Mogensen
DAT120080934Rune Steen Laursen
DAT120080955Adam Finn Tulinius
DAT120080991Steffen Beier Olesen
DAT120081015Christian Billeskov Clausen
DAT120081607Morten Kragelund Holt
DAT120081851Jesper Thirup Larsen
DAT120081972Jakob Jakobsen Boysen
DAT120082042Lars Christian Ersly
DAT120082113Jacob Leth Hegnsvad
DAT120082119Mikkel Pedersen Kaas
DAT120082178Henrik Knakkegaard Christensen
DAT120082212Jens Johansen
DAT120082240Thomas Nørlem Rasmussen
DAT120082246Daniel Winther Petersen
DAT120082340Simon Bilskov Jespersen
DAT120082351Baban Ketabi
DAT120082386Nils Asbjørn Joensen

Hold DAT2

Class hours: Tirsdag 11 - 14 IT-huset, lokale 131 (5524-131), TA: Rikke Bendlin

Class Årskortnr. Name
DAT220042172Anders Haahr
DAT220080817Mikael Kragbæk Damborg Jensen
DAT220081044Nikolai Müller
DAT220081130Peter Urbak
DAT220081148Michael Herlev Schiønning
DAT220081273Jakob Koed Holm
DAT220081332Emil Nauerby
DAT220081434Kristian Kongsted
DAT220081459Kristoffer Dahl Hansen
DAT220081512Martin Schmidt
DAT220081698Jeppe Haugaard Sørensen
DAT220081794Mikkel Kjeldsen
DAT220082410Peter Høeg Steffensen
DAT220083030Jon Korsgaard Sorensen
DAT220083123Bjarke Vældgaard Grøn
DAT220083209Martin Zanoni
DAT220083311Allan Stisen
DAT220083364Mads Pedersen
DAT220083824Daniel Milo Farkner
DAT220084980Kristian Theilgaard Hansen
DAT220085208Jana Kunert

Hold DAT3

Class hours: Torsdag 8 - 11 Shannon 156, Åbogade, TA: Rocio Santillan

Class Årskortnr. Name
DAT320040892Troels Ugilt Jensen
DAT320071254Jeppe Stampe Pedersen
DAT320071346Line Løfquist
DAT320072145Malik Lund
DAT320072680Troels Mortensen
DAT320072961Ole Dalgaard Lauridsen
DAT320073241Bo Mortensen
DAT320073954Kim Thomsen
DAT320074456Morten Rasmussen
DAT320081663Johannes Blaschke Hansen
DAT320082076Ermin Duna
DAT320083850Jens Middelboe Petersen
DAT320083864Mads Møller Jensen
DAT320083881Kasper Føns Sørensen
DAT320083899Ole Rasmussen
DAT320083914Simon Bech Thougaard
DAT320083918Michael Vilhelmsen
DAT320084414Martin Norre Christensen
DAT320084724Heine Stokholm
DAT320084844Michael Juhl

Hold DAT4

Class hours: Torsdag 9 - 12 Shannon 159, Åbogade (159), TA: Rikke Bendlin

Class Årskortnr. Name
DAT420020188Henrik Schmidt-Møller
DAT420021651Chi Ma
DAT420021685Michael Svendsen
DAT420030595Jeppe Fastrup
DAT420042273Daniel Skov Kjeldsen
DAT420051211Magnus Sølvhøi Nielsen
DAT420051610Martin Aksel Jensen
DAT420053906Mads Tejlgaard Olesen
DAT420060914Morten Rasmussen
DAT420062546Peter Esben Hvidgaard
DAT420063422Bjarke Jungberg Madsen
DAT420063705Jeppe Schou
DAT420064013Jørgen Ligaard Sørensen
DAT420082285Mikkel Nielsen
DAT420082429Christian Hamburger Grøngaard
DAT420082519Peter Jessen
DAT420082602Søren Bramer Schmidt
DAT420082753Tomasz Sawicki
DAT420083206Jacob Hougaard
DAT420083430Clement Scheelfeldt Skau

Karl Klose