My scientific interests:
- Mathematics: Category Theory, Algebra, Logic (Model-Theory, ATP), Control Systems
- Physics: General Relativity, QFT
- Amateur Astronomer and Astrophotographer
- Mathematica programming
Premiere Mathematica package for category theory
Premiere GUI for tensor input and manipulation.
Belongs to the xAct suite of Mathematica packages.
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