I have been a member of the TLA+ project for over a decade, and I have the privilege to contribute to TLA+ as part of my [day job](https://github.com/lemmy/). Besides working on its tools, I've been running the workshop/class on multiple occasions. Before getting involved with TLA+, I thought formal methods wouldn't be useful in practice, but first-hand experience convinced me otherwise. I tweet at [@lemmster](https://twitter.com/lemmster).