Andrei Sipoş
Andrei Sipoș
Research Assistant @ IMAR


(Curriculum Vitae, arXiv)


Scientific interests

  • proof theory
  • proof mining
  • model theory

Education

Employment


Papers

Talks

Expository notes


Scientific Seminars

Research Grants


Teaching

  • Mathematical and Computational Logic, 1st year tutorial, Winter Term 2013/2014, 2014/2015, 2015/2016, 2016/2017.
  • Logic Programming, 2nd year laboratory and tutorial, Summer Term 2013/2014, 2014/2015, 2015/2016, 2016/2017.
  • Declarative Programming, 3rd year laboratory, Winter Term 2014/2015.
  • Model Theory, 1st Master's year tutorial, Summer Term 2016/2017.