Stepan G. Kuznetsov

Formal Methods Researcher, PhD student, Design enthusiast

Huawei Dresden Research Center & TU-Braunschweig
Dresden, Saxony, Germany

E-mail: mail "at" stepan-k.ru

About me:

As a researcher.

As a designer.

Other:

My guide to Barcelonian bar curiosities (in Russian)

Related:

Announciation, Fra Angelico

Divine Confusion

Hugo-Ugo song played by me

Stepan Kuznetsov 23.03.25