23 September 2017
visit www.avoka.com

Symbiont adds Yale prof Zhong Shao to technical advisory board

25 April 2017  |  3196 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 www.temenos.comvisit www.vasco.comvisit www.sibos.com

Top topics

Most viewed Most shared
HSBC switches on selfie payments in ChinaHSBC switches on selfie payments in China
13108 views comments | 27 tweets | 42 linkedin
AXA launches blockchain to cover late flight compensationAXA launches blockchain to cover late flig...
9167 views comments | 13 tweets | 27 linkedin
Apple P2P payments service nears launchApple P2P payments service nears launch
8465 views comments | 19 tweets | 27 linkedin
SBI Ripple Asia advances on South KoreaSBI Ripple Asia advances on South Korea
8100 views comments | 16 tweets | 1 linkedin
European Commission makes fintech a priority in supervisory shakeupEuropean Commission makes fintech a priori...
7878 views comments | 31 tweets | 45 linkedin

Featured job

Competitive
London, UK (or flexible)

Find your next job