What I've Learned About Formal Methods In Half a Year
I started working on my masters 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 research faculty who work in the field, though, so Ive been taking advantage of that and soaking up ...
Source: jakob.space