René Pascal Maseli

PhD Student (M.Sc. in Computer Science)

E-Mail:  r.maseli(at)tu-braunschweig.de

Büro:    IZ 309
              Informatikzentrum, 3. Stock, Raum 309

Mail:     René Maseli
              Institut für Theoretische Informatik
              Mühlenpfordtstr. 23
              D-38106 Braunschweig
              Germany

ORCID: 0000-0002-3608-2584

Seit September 2021 bin ich wissenschaftlicher Mitarbeiter im Institut für Theoretische Informatik.  Ich forsche zu Statische Programmanalysen und dem Bounded Model Checking nebenläufiger Systeme unter schwachen Speichermodellen.  Ich wirke bei dem Projekt Dartagnan mit.

Lehre

• Theoretische Informatik 1 (WS 21/22, WS 22/23, WS 23/24, WS 24/25)
• Theoretische Informatik 2 (SS 22, SS 23, SS 24)
• Seminar Theoretische Informatik (SS 25)