Blogs / Personal blogs

This is a somewhat narrow introduction to formal methods I presented at UCLA in March of 2022 with the goal of describing some of my research at Sandia.

Popular posts

1

Total points

137

HN comments

124

Rank

#17,054 personal

Visit johnbender.us → RSS feedOn Hacker News Sep 2013 – Sep 2013

Life, Learning & Writing 1Career & Management 1