Hi there,
Can't help noticing that I am having a hard time finding fediverse accounts about my domain. Any chance you know people talking about , , , solvers and in general?

Thanks in advance!

@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.

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!