@otini in fact, I'd like to follow some of such people too ;) I am currently learning in that direction
@otini did my PhD in that, a decade ago. If you find interesting sources, let me know - happy to read about new developments.
@yesbait What was your PhD about? (Just realized I forgot to ask)
@otini Verification of Design by Contract and specification techniques to overcome the frame problem.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!