Petar Tsankov

Co-Founder And CEO at LatticeFlow AI

Zurich, Zurich, Switzerland
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Petar Tsankov is a serial founder and research-driven CEO with 15 years of experience building secure, reliable systems and taking cutting-edge research into production. As Co-Founder and CEO of LatticeFlow he is tackling the practical barriers to enterprise AI adoption by focusing on robustness and model reliability rather than raw capabilities. He previously co-founded ChainSecurity, turning formal verification research into commercial smart contract audit products that were acquired by PwC, and held senior research and teaching roles at ETH Zurich working on AI safety, system security, and network programmability. His profile blends deep academic credentials (PhD, ETH Zürich) with hands-on product and engineering leadership across startups and industry labs, including work on privacy enforcement with multiple US patents. Petar is notable for repeatedly translating formal methods and academic insights into tools and companies that address real-world security and reliability gaps in emerging technology.
code15 years of coding experience
job5 years of employment as a software developer
bookBachelor of Science - BS Computer Science, Bachelor of Science - BS Computer Science at Georgia Institute of Technology
bookDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at ETH Zürich
stackoverflow-logo

Stackoverflow

Stats
1reputation
267reached
0answers
1question
github-logo-circle

Github Skills (54)

datalog10
solidity10
static-analysis10
vulnerability10
ether10
security10
ethereum10
scanner9
media8
java8
minecraft7
sdk7
blockchain7
smart-contracts7
azure6

Programming languages (5)

JavaSolidityGoHTMLPython

Github contributions (5)

github-logo-circle
eth-sri/securify2

Jan 2020 - Sep 2021

Securify v2.0
Contributions:10 commits, 2 PRs, 9 pushes in 1 year 7 months
smart-contractethereumsecuritysolidityvulnerability
ptsankov/spctl

Apr 2015 - Feb 2019

Contributions:225 commits, 37 pushes, 1 branch in 3 years 11 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial