Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Regenosca is a medical technology startup focused on developing and commercializing a new generation of biomaterials for soft tissue repair. Their innovative implant technology platform offers a less invasive alternative to using a patient's own tissue grafts, providing off-the-shelf, ready-to-use solutions that act as a bridge for tissue reconstruction. The implants are 100% natural, customizable to fit clinical needs, and promote cell migration from surrounding tissue. Regenosca's first indication is urethral reconstruction, addressing conditions like urethral stricture and hypospadias. The startup has successfully validated the proof-of-concept of their implant technology with first human data, showcasing promising results in reducing operation time and improving surgical outcomes.
Viktor Kuncak, Simon Guilloud, Sankalp Gambhir
We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having po ...
Mario Paolone, Willem Lambrichts