Dr. Ulrich Schöpp
Akademischer Rat auf Zeit
 |
|
Konferenzen und Workshops
- MSFP 2012: Mathematically Structured Functional Programming (Programmkomitee)
- SOFSEM 2012: International Conference on Current Trends in Theory and Practice of Computer Science (Programmkomitee)
- LOLA 2010: Syntax and Semantics of Low Level Languages (Programmkomitee)
Frühere Aktivitäten
- Feb–Aug 2009 Forschungsaufenthalt am Institute of Advanced Studies der Universität Bologna
- 2005–2008 Wissenschaftlicher Mitarbeiter, DFG-Projekt Pro.Platz, LMU München
- 2001–2005 PhD am LFCS, University of Edinburgh. Betreuer: Ian Stark
- 2000–2001 MSc am LFCS, University of Edinburgh. Betreuer: Alex Simpson
- 1996–2000 Informatikstudium an der Universität Leipzig
Lehre
Sprechstunde: nach Vereinbarung
- WS11/12: Praktikum Compilerbau (mit Andreas Abel)
- WS11/12: Übungen zu Automatentheorie
- SS11: Vorlesung Typsysteme (mit Andreas Abel)
- SS11: Übungen zu Formale Sprachen und Komplexität
- WS10/11: Einführung in die Informatik: Programmierung und Softwareentwicklung
- SS10: Semantik von Programmiersprachen (mit Andreas Abel)
- WS09/10: Praktikum Compilerbau (mit Robert Grabowski)
- WS09/10: Übungen zu Spezifikation und Verifikation
- WS08/09: Softwareentwicklungspraktikum (mit Martin Lange)
Veröffentlichungen, Vortragsfolien, Entwürfe
- Computation-by-Interaction with Effects
- In ASIAN Symposium on Programming Languages and Systems (APLAS 2011), Taiwan, 2011, ©Springer-Verlag
- Type Inference for Sublinear Space Functional Programming
- Mit Ugo Dal Lago.
- Überarbeitete Fassung erscheint in ASIAN Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, 2010.
- Letzte Überarbeitung: 17.06.2010
- Functional Programming in Sublinear Space
- Mit Ugo Dal Lago.
- Letzte Überarbeitung: 18.03.2010; Diese Version korrigiert einige Tippfehler. Die Originalversion ist abrufbar bei www.springerlink.com.
- In European Symposium on Programming (ESOP2010), Zypern, 2010, LNCS 6012, ©Springer-Verlag
- Vortragsfolien: OASIS Seminar, Universität Oxford (Dezember 2009)
- Pointer Programs and Undirected Reachability
- Mit Martin Hofmann.
- In Logic in Computer Science (LICS09), Los Angeles, USA, ©IEEE
- Vortragsfolien: LICS09 (August 2009)
- Pointer Programs and Undirected Reachability (ausführliche Version)
- Mit Martin Hofmann.
- Electronic Colloquium on Computational Complexity (ECCC)
- ECCC Technical Report TR08-090
- (letzte Änderung: 16. Januar 2009)
- Pure Pointer Programs with Iteration (ausführliche Version)
- Mit Martin Hofmann.
- In Transactions on Computational Logic (ToCL), 2009
- A Formalised Lower Bound on Undirected Graph Reachability
- (Coq sources)
- In LPAR 2008, Doha, Katar, ©Springer-Verlag
- Pure Pointer Programs with Iteration
- Mit Martin Hofmann.
- In Computer Science Logic (CSL08), Bertinoro, Italy
- LNCS 5213, 2008, ©Springer-Verlag
- Stratified Bounded Affine Logic for Logarithmic Space
- In Logic in Computer Science (LICS07), Wroclaw, Poland, ©IEEE
- Enwurf einer ausführlichen Version, Kommentare erwünscht!
- Vortragsfolien: LICS07 (July 2007)
- Space-efficient Computation by Interaction – A Type System for Logarithmic Space
- In Computer Science Logic (CSL06), Szeged, Hungary
- LNCS 4207, 2006, ©Springer-Verlag
- Vortragsfolien: CSL06 (September 2006)
- Modelling Generic Judgements
- In International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP06), Seattle, USA, 2006, Erscheint in ENTCS 174(5), 2007
- Vortragsfolien: LFMTP06 (August 2006)
- Names and Binding in Type Theory
- PhD Thesis, The University of Edinburgh, 2006
- Vortragsfolien: ICMS07 (May 2007)
- A Dependent Type Theory with Names and Binding
- Mit Ian Stark.
- In Computer Science Logic (CSL04), Karpacz, Poland
- LNCS, 3210, pages 235–249, 2004
- Vortragsfolien: CSL04 (September 2004), Logic and Semantics Club at LFCS (August 2004)
- Verifying Temporal Properties using Explicit Approximants: Completeness for Context-free Processes. (Older version with outline proofs)
- Mit Alex Simpson.
- In Proceedings of Foundations of Software Science and Computation Structures (FOSSACS02), Grenoble, France
- LNCS, 2303, pages 372–386, 2002, ©Springer-Verlag
- Vortragsfolien: FoSSaCS02 (April 2002), Logic and Semantics Club at LFCS (February 2002)
- Formal Verification of Processes
- MSc thesis, The University of Edinburgh, 2001
