Привет!

Меня зовут Лев Сорвин (в сети @metametamoon).

Я программист-математик, увлекающийся формальными методами. Люблю учиться, учить и решать задачки.