Under heavy and slow construction. Things are happening behind the curtains. Last update 15 April 2020.
papers, proceedings, books
research projects, events
scritps, utilities
notes, exercises, exams
conferences, seminars, outreach
curriculum vitae