My scientific interests:
- Mathematics: Category Theory, Algebra, Logic (Model-Theory, ATP), Control Systems
- Physics: General Relativity, QFT
- Amateur Astronomer and Astrophotographer
- Mathematica programming
My Websites:
WildCats
Premiere Mathematica package for category theory
xPrint
Premiere GUI for tensor input and manipulation
Visit Mathematica.SE!
My non-scientific interests:
- Skiing, Sailing, Windsurfing
- Argentine Tango dancer
More or less fluent in (random order):
Italian, English, German, French, Spanish, Dutch and struggling with Russian
