By Future of Coding
Published June 07, 2019 8:41am
Usually when we think of mathematics and programming languages, we think of tedious, didactic proofs that have nothing to do with our day to day experience of programming. And when we think of developer tools, we picture the practical, imperfect tools we use every day: text editors, build systems, libraries, etc. Cyrus Omar is new computer science professor at the University of Michigan bridging these disciplines by creating the foundations to precisely reason about the experience of programming.
We open the conversation with how Cyrus got his start in computational biology, but how his dissatisfaction with the to...