Eberhard Karls Universität Tübingen

Mathematisch-Naturwissenschaftliche FakultätProgramming Languages and Software Technology

Tillmann Rendel, M.Sc.

Photo of Tillmann Rendel

Tillmann Rendel
Universität Tübingen
WSI - Programmiersprachen und Softwaretechnik
Sand 13
72076 Tübingen

+49 - (0) 70 71 - 29 - 7 54 91
+49 - (0) 70 71 - 29 - 50 82
Office hours
by appointment

Publications on Google Scholar


Paper accepted at ICFP

Our paper on automatic refunctionalization for a language with copattern matching has been accepted for presentation at the International Conference on Functional Programming.
Read more ...

BSc. Defense by Tobias Weber and Mini-Workshop on Uroboro

Tobias Weber from the University of Marburg visits Tübingen to defend his BSc. thesis entitled “An Implementation of a Language with Pattern and Copattern Matching”. On the occasion of his visit, we organize a little workshop about application of the language “Uroboro” that Tobias implemented.
Read more ...

Open Thesis Topics

Integrated Environment for Uroboro Refactorings

Implement an editor for Uroboro that supports some features of an integrated development environment. In particular, we want to support experimentation with various refactorings based on program transformations that we are developing as part of the Uroboro project.
Read more ...

Finished Thesis Topics

Transformations for Uroboro Programs

Implement a set of program transformations between programs in (subsets or all of) the language Uroboro that has recently been proposed by the working group of programming languages and software technology.
Read more ...