Julian Backes

Saarland University Computer Science

Tutor Activities

Master's Thesis

I'm currently working on my Master's thesis "Tableaux for Higher-Order Logic with If-Then-Else, Description and Choice" under the advision of Chad E. Brown.

Bachelor's Thesis

In April of 2009, I finished my Bachelor's thesis. The title is "A Database for Higher-Order Problems".

Email Contact

Julian Backes