Below is a list of students I (co)supervised and a list of events I organized, participated, or (sub)reviewed for.

Students

  • Alexander Kvamme
    A Formal, Comprehensive, and Enforceable GDPR Specification (MSc thesis)

  • Jeniffer Lima Graf
    Signature Inference for Monitoring Structured Logs (MSc thesis)

  • Matthias Lott
    Temporal Data Golf (BSc thesis)

  • Daniel Gradwohl
    Model Transformations for Privacy-by-design (BSc thesis)

  • Karlo Piskor
    Secure Object-Relational Mappers (BSc thesis)

  • Berkay Aydogdu
    Monitoring using Differential Datalog (BSc thesis)

  • Jeniffer Lima Graf
    Monitoring Complex Data Types (Semester project)

  • Matthieu Gras:
    Explicit versus Implicit Monitoring (MSc thesis)

  • Remo Zumsteg
    Monitoring Complex Data Types (BSc thesis)

  • Matthieu Gras:
    Linux Kernel Monitoring (Semester project)

  • Hoàng Nguyễn Phước:
    Model-driven Privacy (PhD thesis)

  • François Hublet:
    Enforcement of Temporal Information-flow Policies (PhD thesis)

  • Martin Raszyk:
    Efficient, Expressive, and Verified Temporal Query Evaluation (PhD thesis)

  • Gigon Almada e Melo Artur:
    User-friendly Monitoring (MSc thesis)

  • Nicolas Kaletsch:
    Formalizing Typing Rules for VeriMon (BSc thesis)

  • François Hublet:
    A Prototype Implementation of the “Databank Model” (MSc thesis)

  • Valeria Jannelli:
    White-Box Parallel Monitor for Metric First Order Temporal Logic (BSc thesis)

  • Stefan Zemljic:
    Monitoring Subledger Accounting with Metric First-Order Temporal Logic (BSc thesis)

  • François Hublet:
    Monitoring Unsafe First-order Formulas (Semester project)

  • Sarah Plocher:
    From StreamingSQL to MFOTL (MSc thesis)

  • Matthieu Gras:
    Scalable Multi-source Online Monitoring (BSc thesis)

  • Christian Fania:
    Self-Adaptive Online Monitoring (BSc thesis)

  • Frederik Brix:
    Adaptive Online Monitoring (MSc thesis)

  • Joshua Schneider:
    Scalable and Trustworthy Monitoring (Phd thesis)

  • Nemanja Stolić:
    HyperSpark: A Framework for Parallel Execution of Meta-heuristic Algorithms (MSc thesis)

Events