IOHK |  Formal specification
Channel: Input Output
Date: 2017-05-31

A short video interview with Duncan Coutts, PhD | IOHK Int. Director of Engineering & Jonn Mostovoy, IOHK Serokell, Lead Developer for Cardano. Filmed on location in Malta 2017.

Although there has now been more than 30 years of research into the use of mathematical techniques in the software process, these techniques have had a limited impact. A formal software specification is a specification expressed in a language whose vocabulary, syntax and semantics are formally defined.

https://iohk.io/team/duncan-coutts/

Duncan has more than fifteen years programming experience with Haskell. He is a well known member of the Haskell community. He helps maintain several popular libraries and tools including Cabal and bytestring. He has several years experience in packaging the Haskell toolchain and took a leading role in establishing the Haskell Platform.

He holds a first class degree in Computation and a D.Phil in Computer Science, both from Oxford University. He has published papers at international conferences, including ICFP. His research focus is on generating high performance code from idiomatic high level Haskell code. This included co-authoring the bytestring and binary libraries and work on stream fusion for lists. He has five years experience teaching computer science, including four years teaching Haskell to mature students at graduate level.

https://iohk.io/team/jonn-mostovoy/

Jonn Mostovoy loves mathematics and social sciences; he has ten years of experience in industrial programming. In the spare time Jonn likes to think about and discuss matters of societal structures and governance models, along with the matters of alternative societies and self-governing entities.

In his work, Jonn Mostovoy performs duties of technical management of Serokell team, which is the core developer team of IOHK, industrial research, and programming.

Jonn Mostovoy is an advocate for the wide adoption of functional programming languages, using mostly Haskell as a reasonable trade-off between industrial requirements and type system expressiveness.

Cascading disruption
https://iohk.io/about/

It is the founding principle of IOHK. Cascading disruption is the idea that most of the structures that form the world’s financial, governance and social systems are inherently unstable and thus minor perturbations can cause a ripple effect that fundamentally reconfigures the entire system. Our company is committed to identifying and developing technology to force these perturbations in order to push towards a more fair and transparent order.

The mission of IOHK
We view the world as a series of giant and mostly interconnected social graphs with hundreds of complex systems embedded. Our mission is to perturb the graphs to a more connected, transparent and fair configuration for both the flow of ideas and value.

Input Output the company
In addition to our founders, IOHK enjoys having a diverse, geographically distributed team of engineers, scientists, business professionals, a few teachers and open-source collaborators. We are always looking for new team members and partnerships.

Input Output

See more at: https://iohk.io    

Get our latest news updates: https://iohk.io/blog/

Meet the team: https://iohk.io/team/

Learn about our projects: https://iohk.io/projects/cardano/

Read our papers: http://iohk.link/paper-ouroboros

Visit our library: https://iohk.io/research/library/

In the press: https://iohk.io/press/

Work with us: https://iohk.io/careers/