Ishan S.
PhD student, researching how to make Automated systems safer during operation phase!
#FormalMethods #RuntimeMonitoring
@joshua-garcia-swe.bsky.social
Assistant Professor at UC Irvine (UCI) researching software testing, especially for autonomous driving; software security; and software architecture. Any views or opinions expressed are solely those of my own and not UCI or its academic campus units.
@someshjha.bsky.social
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security. My other interests are Indian classical music, mindfulness, tennis, and pickleball.
@eziobartocci.bsky.social
Prof. @ TU Wien, Cyber-Physical Systems, Chair of TrustACPS Doctoral College
@formalmtds.bsky.social
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
@acmsigai.bsky.social
Association for Computing Machinery Special Interest Group in Artificial Intelligence: https://sigai.acm.org/main/
@giffmana.ai
Researcher (OpenAI. Ex: DeepMind, Brain, RWTH Aachen), Gamer, Hacker, Belgian. Anon feedback: https://admonymous.co/giffmana 📍 Zürich, Suisse 🔗 http://lucasb.eyer.be
@andreasgeiger.bsky.social
Professor, University of Tübingen @unituebingen.bsky.social. Head of Department of Computer Science 🎓. Faculty, Tübingen AI Center 🇩🇪 @tuebingen-ai.bsky.social. ELLIS Fellow, Founding Board Member 🇪🇺 @ellis.eu. CV 📷, ML 🧠, Self-Driving 🚗, NLP 🖺
@magnus-carlsen.bsky.social
World Chess Champion. The highest ranked chess player in the world. Former (live) #1 Fantasy Premier League player. Download my app here 👇 TakeTakeTake.com
@pyconde.bsky.social
Join 1500 🐍 🤓 🦄 at our annual Python & PyData conference 23.-25.04.2025 in Darmstadt / Frankfurt. https://pycon.de
@oanamandrei.bsky.social
Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
@ashfaqfarooqui.bsky.social
Helping autonomous systems do the correct thing. Researcher. FOSS aficionado. Avid reader. Foodie and novice cook.
@heerkog.bsky.social
Assistant Professor at the CS department of the Bernouilli Institute of the University of Groningen. Applying formal methods to BPM. Likes to check compliance of change. https://hgroefsema.nl
@tedpavlic.bsky.social
ASU Assoc. Prof in SCAI and SOLS. Decision making and behavior in living and artificial autonomous systems. I ❤️ ants, bees, wasps, robots, and optimal foraging theory. mastodon: @tedpavlic@mas.to Twitter/X: @TedPavlic @TEDx: http://youtu.be/9GWXCRetOjk
@mattluckcuck.bsky.social
(Slightly Less) Precarious Computer Scientist | Nullius in verba
@fmasworkshop.bsky.social
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Skeets by Matt Luckcuck & Akhila Bairy
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app