Robert Freiman

  • Project Assistant, MSc
  • TU Wien
  • Institute of Computer Languages, Theory and Logic Group (E185/2)
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria
 
  • Email: robert [at] logic.at

Research Interests

Game semantics and proof theory for classical and non-classical logics.

Current Position

  • I am a Ph.D. student, affiliated with the Doctoral College Logical Methods in Computer Science. My position is within the project From Semantic Games to Analytic Calculi – and Back, funded by FWF.

Education

  • MSc in Logic and Computation at TU Vienna. My Master's thesis was on Analysis and Comparison of Constructive Set Theories, supervised by Chris Fermüller.
  • BSc in Technical Mathematics at TU Vienna.