23 May 2017
register for the webinar

Symbiont adds Yale prof Zhong Shao to technical advisory board

25 April 2017  |  2772 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 blogs

Create a blog about this story (membership required)
visit www.niceactimize.comVisit www.capgemini.com/worldreportsvisit vasco.com/news/PSD2-compliant-solutions

Top topics

Most viewed Most shared
European banks lobby Commission to push ahead with screen scraping banEuropean banks lobby Commission to push ah...
8652 views comments | 29 tweets | 35 linkedin
Time for data-driven banking to come of ageTime for data-driven banking to come of ag...
8581 views comments | 28 tweets | 35 linkedin
Google and PayPal partner for mobile shopping by fingerprintGoogle and PayPal partner for mobile shopp...
8318 views comments | 27 tweets | 27 linkedin
Banks must get on AI bandwagon now – new Finextra researchBanks must get on AI bandwagon now – new F...
8056 views comments | 22 tweets | 30 linkedin
Twins fool HSBC voice biometrics - BBCTwins fool HSBC voice biometrics - BBC
7917 views comments | 19 tweets | 23 linkedin

Featured job

Six Figure Base + Commission + Stock Options
London

Find your next job