Institute of

Theoretical Computer Science


Technische Universität Braunschweig

Peter Chini

PhD Student

M.Sc. in Mathematics

Phone: +49 (0)531 391 9531
Office: IZ 342, i.e. Informatikzentrum, 3rd floor, office 344,
Mühlenpfordtstr. 23, D-38106 Braunschweig
Mail: Peter Chini
Institut für Theoretische Informatik
Mühlenpfordtstr. 23
D-38106 Braunschweig

Since September 2015 I am a PhD student at the Institute of Theoretical Computer Science. Before, I studied Mathematics with a focus on Computer-Algebra at the TU Kaiserslautern.

My current research focuses on parameterized complexity of verification tasks. We conduct fine-grained complexity analyses for decision problems arising in the context of verification. To this end, we come up with new verification algorithms, usually based on techniques from parameterized complexity theory. Then we prove optimality of these algorithms. We establish lower bounds against the (strong) exponential time hypothesis showing that faster running times are highly unlikely.

List of Publications


As lecturer: As organizer and tutor:

Other activities

I have reviewed submissions for the following workshops and conferences:

I have attended the following workshops and conferences: