Christoph Koch
EPFL IC IINFCOM DATA
BC 260 (Bâtiment BC)
Station 14
1015 Lausanne
+41 21 693 75 47
Office:
BC 260
EPFL › IC › IINFCOM › DATA
Site web: https://data.epfl.ch
+41 21 693 75 47
EPFL › IC › IC-SIN › SIN-ENS
Site web: https://sin.epfl.ch
+41 21 693 75 47
EPFL › IC › IC-SSC › SSC-ENS
Site web: https://ssc.epfl.ch
+41 21 693 75 47
EPFL › VPA › VPA-FAC › CEAE
Prix et distinctions
Christoph Koch: "Abstraction without regret in data management systems"
2013
Category: Structured Data
2009
Foundations of Algebraic and Dynamic Data Management Systems
2011
"For fundamental work on logic-based web data extraction and querying tree-structured data"
2021
Georg Gottlob, Christoph Koch: "Monadic Datalog and the Expressive Power of Languages for Web Information Extraction"
2002
Martin Grohe, Christoph Koch, Nicole Schweikardt: "Tight Lower Bounds for Query Processing on Streaming and External Memory Data"
2005
Nitin Gupta, Lucja Kot, Sudip Roy, Gabriel Bender, Johannes Gehrke, Christoph Koch: "Entangled Queries: Enabling Declarative Data-Driven Coordination"
2011
Yannis Klonatos, Christoph Koch, Tiark Rompf, Hassan Chafi: "Building Efficient Query Engines in a High-Level Language"
2014
Lionel Parreaux, Amir Shaikhha, Christoph Koch: "Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations"
2017
since
2019
Enseignement et PhD
Doctorant·es actuel·les
Léonard Léchot, Zhekai Jiang, Hanbit Lee
A dirigé les thèses EPFL de
Immanuel Trummer, Aleksandar Vitorovic, Milos Nikolic, Daniel Lupei, Mohammed El Seidy, Ioannis Klonatos, Mohammad Dashti Rahmat Abadi, Amir Shaikhha, Lionel Parreaux, Sachin Basil John, Zilu Tian
A co-dirigé les thèses EPFL de
Cours
Making intelligent things A
CS-358(a)
Le cours vise à enseigner le prototypage d'artefacts physiques intelligents et à résoudre des défis du monde réel en combinant la program. de microcontrôleurs, l'électr.,la conception et la fabrication assistée par ordinateur. Les équipes choisissent leur propre défi en accord avec les enseignants.
Making intelligent things B
CS-358(b)
Le cours vise à enseigner le prototypage d'artefacts physiques intelligents et à résoudre des défis du monde réel en combinant la program. de microcontrôleurs, l'électr.,la conception et la fabrication assistée par ordinateur. Les équipes choisissent leur propre défi en accord avec les enseignants.