Piotr Bacik

Piotr Bacik

Doctoral Student

E: piotr.bacik_at_stcatz.ox.ac.uk

Themes:

• Automated Verification

Biography

I'm a 2nd year DPhil student on the Oxford-Max-Planck Doctoral Program (joint with the MPI-SWS institute at Saarland University, Saarbrücken) under the supervision of James Worrell and Joel Ouaknine. My research interests lie mainly in linear dynamical systems, in particular I study the decidability and complexity of decision problems on linear recurrence sequences, such as the Skolem Problem. 

Previously, I completed my MMath in Mathematics at the University of Cambridge. 

Publications listed on my personal website: https://piotrbacik.github.io/

Supervisors