Heerko Groefsema
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
@f1tv.bsky.social
The home of risk takers, late brakers and history makers ✨ unofficial Up Next: 🏁 Race 9 of 24 🇪🇸 Spanish Grand Prix | May 30 - June 1
@chrismedlandf1.bsky.social
Freelance F1 journalist/broadcaster for Racer, SiriusXM, Motor Sport Magazine and others Can be found pretending to know what I’m on about on documentaries and as an event host
@weratedogs.com
Your Only Source For Professional Dog Ratings nonprofit: @15outof10.org ❤️🩹 links.weratedogs.com
@georgetakei.bsky.social
I’ve boldly gone into the clear blue yonder. Follow for more recipes and tips.
@kenwhite.bsky.social
Ken White, criminal defense attorney and First Amendment litigator. Co-host of Serious Trouble podcast and writer at The Popehat Report. Signal: KenWhite.1969
@noakaplan.bsky.social
PhD student at Cornell University. Interested in #Robotics, #FormalMethods and #AI
@ugh-first-aid.bsky.social
Well hello all you sweethearts and sweet beans! I'm a British Gamer, Visually impaired artist, shy but strive day by day trying to make at least one person smile! <3 I am always happy to talk! I just suffer from anxiety to be he person to reach out :
@hiroshiyoshida.bsky.social
Fan account of Hiroshi Yoshida, a 20th-century Japanese painter and woodblock printmaker. 1876-1950 Automated thanks to @andreitr.bsky.social and @botfrens.bsky.social
@formalmtds.bsky.social
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
@ericvoigt.bsky.social
Coördinator Future Design Factory | DFGN.org rocks! | part of Communication Multimedia Design @NHLStenden University | projectleader Win4SME | Board member LVBHB.nl
@vancityreynolds.bsky.social
owner: Aviation Gin - Mint Mobile - Maximum Effort - Wrexham AFC
@aoc.bsky.social
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible. ocasiocortez.com
@n6tw.bsky.social
Amateur Radio | Formal Methods | Japan 📡 FT8, learning CW | FT-891 & dual FT-818s for satellite ops 🔬 Yosys & Coq for hardware verification 🤖 Prolog & guarded command languages enthusiast ⛩️ Wakayama & Nara 🏡 Canterbury Shaker Village
@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
@mrlovenstein.bsky.social
Be my Cody. Support my work on Patreon ♥ I love you patreon.com/mrlovenstein
@viniciusotoni.bsky.social
Engenheiro Goiano Airbnb 📍Rio de Janeiro - RJ 📍Campinas - SP https://www.instagram.com/viniciusot
@justcronax-redbull.bsky.social
Fan page of the team Oracle Redbull racing 💙 8x driver championships 6x constructor championships https://www.redbullracing.com/int-en
@dieworkwear.bsky.social
Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter. If you have a style question, search: https://dieworkwear.com/ | https://putthison.com/start-here/
@kenklippenstein.bsky.social
Independent journalist. Send tips via Signal: 202-510-1268. Join my newsletter 👇👇👇 kenklippenstein.substack.com
@mothsprout.bsky.social
✺ Moth/Benji ✷ CREATURE ✷ Queer & Trans 🏳️⚧️ ✷ He/They ✷ I don’t do commissions ✷ blm-acab ✷ ⬇️ SHOP LINK ⬇️ mothsprout.carrd.co
@graveolens.bsky.social
Mathematics Sorceror (sensory alchemist) at the Arctangent Transpetroglyphics Algra Laboratory (ATAL), I transflarnx mathematics into living rainbows. http://owen.maresh.info https://github.com/graveolensa Psoeppe-Tlaxtlal, (an undreamt splendour?)
@mseri.me
Associate prof at Bernoulli Institute, Groningen. Proud dad, mathematical physicist, #OCaml enthusiast, LEGO aficionado, amateur photographer, mushroom lover, fresh podcaster #mathsky #physics #scicomm #ocaml #edusky Also @[email protected]
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: [email protected]
@riraro.bsky.social
Ri Ra Ro - Occasionally uploads art 🤔 Art mirrored at - https://www.instagram.com/riiraaroo/