Professional Experience
PhD candidate
University of Lugano
- Conducting PhD research at the Formal Verification and Security Lab, focusing on automated software verification.
- Participated in the development of the Golem CHC solver and automated formal-based test generation for Solidity smart contracts.
- Worked on SMT solving, implementing heuristics, and maintaining supported theories for OpenSMT.
Teamlead
Daoism Systems
- Led a development team of 4 Solidity developers in a start-up focused on Ethereum infrastructure.
- Participated in smart contract development while overseeing organization, planning, and task distribution.
- Developed projects for DoinGud and implemented Multi-Chain contracts based on deBridge and GnosisSafe infrastructures.
Smart Contract Developer
Curve Labs
- Developed Solidity smart contracts for Balancer, PrimeDao, API3, and other blockchain projects.
- Experienced in building smart contracts from inception to deployment on Ethereum mainnet.
- Employed rigorous testing, CI, and static analysis to ensure code correctness.
Software engineer
Innopolis University
- Contributed to the development of a formally verified distributed ledger system based on CakeML/C languages.
- Constructed interfaces between CakeML and C, and performed formal verification of CakeML code using HOL4.
Academic Information
Education
PhD in Computer Science
University of Lugano, 2021-Present
Research Focus: Safety Verification of Complex Software Systems
MsS in Software Engineering
Innopolis University, 2019-2021
BcS in Computer Science
Bauman Moscow State Technical University, 2015-2019
Research Interests
- Model Checking
- Safety Verification
- CHC Solving
- Termination analysis
- Application of formal methods in blockchain
Publications & Conferences
Publications
CHC-Based Reachability Analysis via Cycle Summarization.
Konstantin Britikov, Grigory Fedyukovich, Natasha Sharygina, Integrated Formal Methods 2025
View PaperSolTG: A CHC-Based Solidity Test Case Generator.
Konstantin Britikov, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina, Computer Aided Verification 2024
View PaperReachability Analysis for Multiloop Programs Using Transition Power Abstraction.
Konstantin Britikov, Martin Blicha, Grigory Fedyukovich, Natasha Sharygina, Formal Methods 2024
View PaperThe Golem Horn Solver.
Mar#tin Blicha, Konstantin Britikov, Natasha Sharygina, Computer Aided Verification 2023
View PaperPicky CDCL: SMT-Solving with Flexible Literal Selection.
Konstantin Britikov, Antti E. J. Hyvärinen, Natasha Sharygina, nternational Conference on Verified Software: Theories, Tools, and Experiments 2023
View PaperConference Presentations
Presentation Title
Conference Name, Location (Year)