Igor Konnov

Igor Konnov's page

View My GitHub Profile

Igor Konnov

You can always reach me by writing a message on igor at konnov.phd or igor.konnov at gmail.com, Mastodon, X-Twitter.



[2024] I have started the blog Protocols Made Fun :bowtie:

[2024] I am an independent security and formal methods research scientist. Let me know, if you have projects that require following expertise:

Previous positions:

Open source projects

Started and managed by me:

Past research & open source projects

Lecture Slides and Talks

Conferences

Publications

PhD students

Alumni

Academic and non-academic profiles:

CV

Curriculum Vitae, February 2024

Required sections