Fabian Ritter B.Sc.

Contact

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

Research Interests

  • Program Analysis
  • Memory Safety
  • Decision Procedures

Teaching

Teaching Assistant

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

Publications

BSc Thesis

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

Links