Profile avatar
seanmk.bsky.social
Space, Cats, Mennonites, Mariners Baseball, Dodgeball, Computers, Pedagogy. Assistant Professor at Queen's University with research in Runtime Verification.
20 posts 12 followers 21 following
Getting Started
Conversation Starter
Posts 7 Comments 13

I think formal methods bluesky is lacking so I will post that I am having a great time at ETAPS 2025!

submitted 33 days ago • 0 comments

@marcnormandin.bsky.social My city (Kingston, ON) has just announced plans to build a multi-use stadium in a park near my home with some degree of private financing from a professional soccer team. What should I be asking them at the public consultation session? truenorthfoot.ca/article/ther...

submitted 149 days ago • 1 comment

Thanks to the folks at Smith Engineering Marketing and Communications for their kind write-up! smithengineering.queensu.ca/news/2023/11...

submitted 560 days ago • 0 comments

Upon hearing of the upcoming documentary "A Disturbance in the Force" I immediately thought of the article I return to every year around this this time by @jonbois.bsky.social www.google.com/amp/s/www.sb...

submitted 566 days ago • 0 comments

The students who live in the dorms next door are laughing uproariously building snow men at 9:00 pm on Halloween and it is adorable.

submitted 583 days ago • 0 comments

Don't dance, drink, smoke, chew, or date those who do!

submitted 632 days ago • 0 comments

If you like esoteric programming languages developed for analyzing spacecraft logs *AND* you like complexity proofs, check out my new article in the Science of Computer Programming: authors.elsevier.com/sd/article/S...

submitted 640 days ago • 0 comments