What I've Learned About Formal Methods In Half a Year

This page cannot be shown here. You can still read it on the original site — the toolbar below keeps your place in the directory.

I started working on my master's degree last September. The goal was to return to my workplace as a domain expert in formal methods – a topic I knew I was interested in, and yet something I knew practically nothing about. I partially attribute my lack of exposure to the lack of supervised learning opportunities (courses) at my undergraduate institution. Brown has an ample supply of teaching and…

Read on /blog/what-ive-learned-about-formal-methods.html ↗