Andrei Sipoș
Andrei Sipoș
Research Assistant @ TUD
Scientific Researcher @ IMAR

Building S2|15 (Mathebau), Room 203,
Fachbereich Mathematik, TU Darmstadt,
Schlossgartenstraße 7,
64289 Darmstadt,
Germany.


(Curriculum Vitæ, arXiv, OPC)


Scientific interests

  • proof theory
  • proof mining
  • model theory

Education

Employment


Papers

Talks

Expository notes


Scientific Seminars

Research Grants


Teaching

At TU Darmstadt

  • Introduction to Mathematical Logic, 3rd year tutorial, Winter Term 2017/2018 (moodle link).

At the University of Bucharest

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