24 February 2018
Visit www.avoka.com

Symbiont adds Yale prof Zhong Shao to technical advisory board

25 April 2017  |  3419 views  |  0 Source: Symbiont

Symbiont has appointed Dr. Zhong Shao, a Yale professor of computer science and leading expert in formal verification of software, to its Technical Advisory Board.

Together, Dr. Shao and the Symbiont engineering team are applying cutting-edge techniques in programming language design and formal methods to the task of writing and publishing smart contracts in a decentralized network. Professor Shao is working closely with Symbiont to ensure that its smart contract language supports the highest levels of security and integrity in enterprise software.

“Professor Shao’s incredible depth of experience in designing and developing secure computing systems will be invaluable to Symbiont in our endeavor to radically improve the state of financial back-office infrastructure using smart contracts and distributed ledger technology.” said Adam Krellenstein, Symbiont’s Chief Technology Officer. “Symbiont’s smart contract language is already the most advanced in the industry, and the work we are doing with Dr. Shao will widen the gap between our technology and that of our closest competitors.”

In his three-decade career in computer science, Dr. Shao has had many notable accomplishments, including the spearheading of the development of CertiKOS, which is the first-ever hacker-resistant operating system supporting concurrent computing. Dr. Shao currently leads the FLINT research group at Yale, where he is a key figure in the development of many proof-carrying code and certified software technologies.

“Shao’s research enables programmers to write software that can be proven to match a formal functional specification. Symbiont’s customers will have unprecedented confidence that their business logic has been implemented correctly in our system,” said Dr. Pinku Surana, Principal Architect at Symbiont. “His knowledge and expertise will help Symbiont build on our demonstrated success in developing safe and powerful financial applications with smart contracts.” 

Comments: (0)

Comment on this story (membership required)

Related company news


Related blogs

Create a blog about this story (membership required)
Visit http://info.nice.comvisit www.swift.com/your-needs/instant-paymentsvisit www.ebaday.com

Top topics

Most viewed Most shared
Ripple makes new connections to emerging marketsRipple makes new connections to emerging m...
11499 views comments | 16 tweets | 10 linkedin
hands typing furiouslySome Interesting Applications Of The Inter...
10240 views 3 | 9 tweets | 1 linkedin
Basel Committee outlines disruptive fintech scenariosBasel Committee outlines disruptive fintec...
8299 views comments | 15 tweets | 26 linkedin
Investment Association sets up fintech accelerator for asset managersInvestment Association sets up fintech acc...
7865 views comments | 19 tweets | 10 linkedin
R3 creates Legal Centre of Excellence for blockchain technolgyR3 creates Legal Centre of Excellence for...
7601 views comments | 10 tweets | 14 linkedin

Featured job

Six-Figure-Base, Double OTE, Benefits Package
London, UK

Find your next job