Anton Alekseev's homepage. Research, teaching, open source.