Silvia Steila


I am postdoctoral fellow at the Logic and Theory Group
of the University of Bern.
I obtained the PhD on January 2016 from the University of Torino defending my thesis "Terminating via Ramsey's Theorem".

Email: steila AT inf DOT unibe DOT ch