My name is Mehran Baghi and this is my personal website.
HoTT for Cools: This is a book I’m currently working on. It consists of notes that I’m taking from a book called “Homotopy Type Theory: Univalent Foundations of Mathematics”
Libre VAD: I’m doing some research on Ventricular Assist Device. I want to design one and release everything under a Libre/Open source license.