Creating a new #introduction, since life changes. For 12 years I was a #SoftwareEngineer at Google, working predominantly on #EngineeringProductivity. Now I’m at smaller startup doing smaller-startup things. My Ph.D. is in #SoftwareVerification.

I stopped really posting on Twitter eight years before moving to Mastodon, so I’m a little rusty and tend to fall out of it from time to time.

I continue to forecast that my posts will soon be all #beagle, all the time.

@modulux Based on our conversation above, you might be interested in this:

https://takolang.dev/

An experimental programming language for ergonomic software verification

#ProgrammingLanguage #SoftwareVerification #Verification

Formal program proof, a promising market according to @LesEchos! This article (French only) features @yannick_moy and other experts discussing Why3, the french platform for #softwareverification. r.adaco.re/kt
#SoftwareEngineering #Softwaretesting #Soft https://twitter.com/AdaCoreCompany/status/1400462892198023173 #ada #programming