@theborzoo : In admiration, at NSF SaTC PI meeting, a colleague told me formal methods is like the lover you were never able to marry :) • TwiCopy

Borzoo Bonakdarpour

@theborzoo

+ Follow

Husband, Dad, Associate Prof of Computer Science at Michigan State University. Computer and music nerd.

ID: 1251169667823144961

linkhttp://www.cse.msu.edu/~borzoo calendar_today17-04-2020 15:25:24

191 Tweet

483 Followers

247 Following

Borzoo Bonakdarpour

a month ago

In admiration, at NSF SaTC PI meeting, a colleague told me formal methods is like the lover you were never able to marry :)

thumb_up_off_alt12

chat_bubble_outline1