Tag: Lisbon
Cameleer: A deductive verification tool for OCaml
From social networking to space exploration, software is the mainstay that keeps our world operating. But how do we know that we can trust software? Dr Mário Pereira from the Nova School of Science and Technology, Lisbon, and his collaborators have developed Cameleer, a formal verification software tool for OCaml-written code that establishes mathematical proof that a system works according […]
Read More… from Cameleer: A deductive verification tool for OCaml
Cilia, asymmetry, and genetic disease
The length and movement of motile cilia – microscopic hair-like organelles on the outside of our cells – have a remarkable effect on the asymmetric development of embryos, allowing organs to grow in the correct places in our bodies. Dr Susana Lopes and her team at the LYSOCIL project are investigating rare genetic diseases affecting the cilia, and how these […]