Making trusted blockchain a reality with fully automatic exact verification technology for smart contractsontract security platform.
Alex Aiken
https://www.linkedin.com/in/alex-aiken-575aa7b7/
Yona Hollander
https://www.linkedin.com/in/yona-hollander-0aa1796
Uri Kolodny
https://www.linkedin.com/in/urikolodny/?originalSubdomain=il
Stani Kulechov
https://www.linkedin.com/in/stani-kulechov-361284132/
Avihu Levy
https://www.linkedin.com/in/avihu-levy-13b12349
Simon Morris
Chief Strategy Officer
https://www.linkedin.com/in/simonhmorris/
Moti Rafalin
Enterprise Software Entrepreneur and Executive
https://www.linkedin.com/in/mrafalin/
Noam Rinetzky
https://www.linkedin.com/in/noam-rinetzky-b4815189
Ariel Grosh
Computer Science
https://www.linkedin.com/in/ariel-grosh-17977321a/
nattik Gur-Arie
https://www.linkedin.com/in/nattik-gur-arie-23462218b/
Michael George
https://www.linkedin.com/in/mdgeorge/
Guy Dorenstein
https://www.linkedin.com/in/guy-dorenstein-7a7605219/
Ori Dabush
Computer science
https://www.linkedin.com/in/ori-dabush-230019210
Aleksander Kryukov
https://www.linkedin.com/in/aleksander-kryukov-a6a94b1b9/
James Wilcox
Chief of Technical Market Development
https://www.linkedin.com/in/james-wilcox-983961152
Adar Weidman
VP Engineering
https://www.linkedin.com/in/adarweidman/
Jaroslav Bendík
Senior Researcher
https://www.linkedin.com/in/jaroslav-bend%C3%ADk-a9247a208/
Yuval Zalmenson
Director of Innovation
https://www.linkedin.com/in/yuval-zalmenson/
Nicholas Armstrong
Security Researcher
https://www.linkedin.com/in/nicholas-armstrong-825b56132/
Alexander Nutz
Program Verification Expert
https://www.linkedin.com/in/alexander-nutz-b9794b199