Christoph-Simon Senjak

Office

Address

E-Mail

Some Work

• Using DiffArrays to optimize Decompression
  My talk at the ABM 2017 in Munich
• Verified Deflate - What's Next
  My talk at the PUMA Workshop 2017 in Osterhofen
• An Implementation of Deflate in Coq (Springer, Arxiv)
  With M. Hofmann, Volume 9995 of the series Lecture Notes in Computer Science pp 612-627
  Corresponding talk at Formal Methods 2016 in Limassol
• A Purely Functional, Efficient Backreference Resolver
  My talk at the PUMA Workshop 2016 in Passeier
• A Theory of Parsers
  My talk at the Leeds Logic Colloquium 2016
• An Implementation of Deflate in Coq
  My talk at the LMU Oberseminar on Mathematical Logic WS 2015/2016
• Iteratees
  My talk at the LMU TCS Oberseminar WS 2015/2016
• An efficient implementation of Deflate in Coq
  My talk at the PUMA/RiSE meeting 2015 Bad Griesbach
• Optimization of a verified Deflate Implementation
  My talk at the LMU TCS Oberseminar SoSe 2015
• An Implementation of Deflate in Coq
  My talk at the Agda Implementors’ Meeting 2015 in Göteborg
• Haskell Beats C using Generalized Stream Fusion
  By me and C. Neukirchen at the PUMA/RiSE meeting 2014 in Mondsee
• Coding Trees in the Deflate format
  My talk at the LMU TCS Oberseminar SoSe 2014
• Coding Trees in the Deflate format
  My talk at the nineteenth Agda Implementors’ Meeting 2014 in Paris
• Coding Trees in the Deflate format
  My talk at the PUMA/AlgoSyn Workshop 2014 in Bonn
• A Case Study On Practical Usability Of Dependently Typed Languages - Deflate
  My talk at the PUMA Workshop 2013 in Alacati
• Cylindrical Algebraic Decompositions
  My talk at the PUMA Workshop 2013 in Alacati
• A purely functional implementation of Inflate (and gunzip) in Haskell
• A Case Study On Practical Usability Of Dependently Typed Languages - Deflate
  My talk at the LMU TCS Oberseminar SoSe 2013
• Minimal from classical proofs
  with H. Schwichtenberg, Annals of Pure and Applied Logic 164 (2013), pp. 740-748.
• Quantitative relaxation of concurrent data structures
  My talk at the LMU TCS Oberseminar WS 2012/2013
• Dependent Types and Irrelevance
  My talk at the Goldegg 2012 PUMA&RiSE Workshop
• Minimal from Classical Proofs
  My diploma thesis
• Induktive Definitionen in Minlog
  My project thesis (in German)

Teaching

• Sommersemester 2013: Übungen Logik und Diskrete Strukturen, Mittwoch 16-18 Uhr, Raum A 022 (Hauptgebäude)
• Wintersemester 2015/2016: Übungen Methoden des Software-Engineering
• Sommersemester 2017: Übungen zu Einführung in die Zahlentheorie, Mi 16-18 (A027, Mathebau)
  Formlose Notizen zu den Übungen

Private

Owl

{o,o}
(( ))
-"-"-