Welcome to the Personal Homepage of Uwe Bubeck
ub-net is the website of Dr. Uwe Bubeck with personal information, publications and interesting projects in computer science and other areas.
This website is divided into the following main areas:
- Uwe's Home: information about me, my publications and some of my projects
- ProverBox: my logic software
- StuSti-Tagung: a conference by the German National Merit Foundation that I have co-organized