neutrinos4all, Hi everyone, I've been on Mastodon for a while but I'm new to hci.social - glad to finally find a federate that aligns with my interests. I have a background in #humanfactors, and I'm interested in human-machine teaming, human-automation interaction, and the application of #formalmethods and other rigorous mathematical approaches to these domains. Open to further discussion!