Fabian Ritter B.Sc.

Contact

Tel_+49 681 302-2034
Fax_+49 681 302-3065
Mail_
Room_403
Address_Saarland Informatics Campus
Building E1 3
66123 Saarbrücken
Germany

About Me

Research Interests

  • Program Analysis
  • Memory Safety
  • Decision Procedures

Teaching

Lecturer's Assistant

Teaching Assistant

  • Compiler Construction (WS2015/16)
  • Nebenläufige Programmierung (SS2015)
  • Grundzüge der Theoretischen Informatik (WS2014/15)
  • Systemarchitektur (SS2016, SS2014)

Publications

BSc Thesis

  • Compiler Optimizations using Symbolic Abstraction
    Ritter, F.
    B.Sc. Thesis, Saarland University, 2015. [pdf] [bib]

Links