https://konnov.phd/posts/quint/ 2023-12-31T22:59:00+01:00 https://konnov.phd/posts/solarkraft/ 2024-07-29T23:00:00+02:00 https://konnov.phd/posts/chonkybft/ 2024-07-29T23:00:00+02:00 https://konnov.phd/posts/apalache-moved/ 2024-08-13T23:59:00+02:00 https://konnov.phd/posts/tla-community-meeting2024/ 2024-09-10T23:00:00+02:00 https://konnov.phd/posts/zksync-governance/ 2024-09-15T23:00:00+02:00 https://konnov.phd/posts/vstte2024/ 2024-10-15T23:00:00+02:00 https://konnov.phd/posts/dss2024/ 2024-11-09T22:00:00+01:00 https://konnov.phd/posts/devcon2024/ 2024-11-15T22:00:00+01:00 https://konnov.phd/posts/solarkraft-scf29/ 2025-04-18T16:24:31+02:00 https://konnov.phd/posts/3sf-mc-report/ 2025-01-16T22:00:00+01:00 https://konnov.phd/posts/chonkybft-paper/ 2025-03-19T22:00:00+01:00 https://konnov.phd/posts/service/ 2025-12-15T19:23:24+01:00 https://konnov.phd/posts/aztec-governance/ 2025-12-09T18:15:25+01:00 https://konnov.phd/long-reads/ 2026-03-31T18:26:13+02:00 https://konnov.phd/research/ 2026-03-31T18:26:13+02:00 https://konnov.phd/talks/ 2026-03-31T18:26:13+02:00 https://konnov.phd/cv/ 2026-03-31T18:26:13+02:00 https://konnov.phd/tags/ 2026-03-31T18:26:13+02:00 https://konnov.phd/categories/ 2026-03-31T18:26:13+02:00 https://konnov.phd/apalache.html https://konnov.phd/datenschutz.html https://konnov.phd/impressum.html https://konnov.phd/ https://konnov.phd/nvidia2025.html https://konnov.phd/quint.html https://konnov.phd/vtsa2023.html https://konnov.phd/tags/simulation/ https://konnov.phd/tags/research/ https://konnov.phd/tags/specification/ https://konnov.phd/tags/verification/ https://konnov.phd/tags/model-checking/ https://konnov.phd/tags/quint/ https://konnov.phd/tags/apalache/ https://konnov.phd/tags/tla/ https://konnov.phd/tags/tool/ https://konnov.phd/tags/open-source/ https://konnov.phd/tags/grant/ https://konnov.phd/tags/monitoring/ https://konnov.phd/tags/development/ https://konnov.phd/tags/stellar/ https://konnov.phd/tags/matter-labs/ https://konnov.phd/tags/consensus/ https://konnov.phd/tags/paper/ https://konnov.phd/tags/smt/ https://konnov.phd/tags/conference/ https://konnov.phd/tags/talk/ https://konnov.phd/tags/smart-contracts/ https://konnov.phd/tags/solidity/ https://konnov.phd/tags/dss/ https://konnov.phd/tags/security/ https://konnov.phd/tags/ethereum-foundation/ https://konnov.phd/tags/devcon/ https://konnov.phd/tags/runtime-monitoring/ https://konnov.phd/tags/fuzzing/ https://konnov.phd/tags/aztec/ https://konnov.phd/categories/tooling/ https://konnov.phd/categories/service/ https://konnov.phd/categories/conference/ https://konnov.phd/page2/ https://konnov.phd/assets/doc/D-CON-2026-Konnov.pdf 2026-03-31T18:26:02+02:00 https://konnov.phd/assets/doc/NVIDIA-FM-Week-2025-Igor-Konnov.pdf 2026-03-31T18:26:02+02:00 https://konnov.phd/assets/doc/VTSA-lectures-2023-Igor.pdf 2026-03-31T18:26:02+02:00 https://konnov.phd/assets/doc/konnov-cv.pdf 2026-03-31T18:26:02+02:00 https://konnov.phd/assets/doc/konnov-habil19.pdf 2026-03-31T18:26:02+02:00 https://konnov.phd/assets/doc/konnov-vmcai20-school.pdf 2026-03-31T18:26:02+02:00