Logical Systems Lab: Researchers

  1. LS Lab
  2. >>
  3. People
Table of Contents
  1. People
    1. Faculty
    2. Ph.D. Students
    3. Post-docs
    4. Visitors
  2. Alumni
    1. Ph.D. Alumni
    2. Post-doc Alumni
    3. Former Visitors
    4. Honors Students and Theses

People

Faculty

Andre Platzer
André Platzer
Stefan Mitsch
Stefan Mitsch

Ph.D. Students

Katherine Kosaian
Katherine Kosaian
Jonathan Laurent
Jonathan Laurent
Aditi Kabra
Aditi Kabra
Noah Abou El Wafa
Noah Abou El Wafa
Marvin Brieger
Marvin Brieger
Long Qian
Long Qian (CMU)

Post-docs

Enguerrand Prebet
Enguerrand Prebet (KIT)

Visitors

Alumni

Ph.D. Alumni

Yong Kiam Tan
Yong Kiam Tan
Rose Bohrer
Rose Bohrer
Nathan Fulton
Nathan Fulton
Sarah Loos
Sarah Loos
David Henriques
David Henriques

Post-doc Alumni

William Simmons
William Simmons
Fabian Immler
Fabian Immler
Andrew Sogokon
Andrew Sogokon
Ran Ji
Ran Ji
Khalil Ghorbal
Khalil Ghorbal
Jean-Baptiste Jeannin
Jean-Baptiste Jeannin
Jan-David Quesel
Jan-David Quesel
Marcus Völp
Marcus Völp
Stefan Mitsch
Stefan Mitsch
Ping Hou
Ping Hou

Former Visitors

William Simmons
Samuel Teuber
Cláudio Gomes
Cláudio Gomes
Luis Garcia
Luis Garcia
Lorenz Sahlmann
Lorenz Sahlmann
Catarina Lobo do Souto Ferreira
Catarina Ferreira
Andreas Müller
Andreas Müller
Andrew Sogokon
Andrew Sogokon
Grant Olney Passmore
Grant Passmore
Yanni A. Kouskoulas
Yanni Kouskoulas
Stefan Mitsch
Stefan Mitsch

Honors Students and Theses

Anita Li
Anita Li
Rachel Cleaveland
Rachel Cleaveland
Annika Peterson
Annika Peterson
David Vogelbacher
David Vogelbacher
Jean-Bastien Grill
Jean-Bastien Grill
Romuald Brillout
Romuald Brillout