Logical Systems Lab: Researchers

Table of Contents
  1. People
    1. Faculty
    2. Ph.D. Students
    3. Post-docs
  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

Yong Kiam Tan
Yong Kiam Tan
Katherine Cordwell
Katherine Cordwell
Jonathan Laurent
Jonathan Laurent
Aditi Kabra
Aditi Kabra
Noah Abou El Wafa
Noah Abou El Wafa

Post-docs

William Simmons
William Simmons

Alumni

Ph.D. Alumni

Brandon Bohrer
Brandon Bohrer
Nathan Fulton
Nathan Fulton
Sarah Loos
Sarah Loos
David Henriques
David Henriques

Post-doc Alumni

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

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

Rachel Cleaveland
Rachel Cleaveland
Annika Peterson
Annika Peterson
David Vogelbacher
David Vogelbacher
Jean-Bastien Grill
Jean-Bastien Grill
Romuald Brillout
Romuald Brillout
Apologies that this list of students is incomplete.