Sean M Kauffman
@seanmk.bsky.social
Space, Cats, Mennonites, Mariners Baseball, Dodgeball, Computers, Pedagogy. Assistant Professor at Queen's University with research in Runtime Verification.
Not sure why everyone talks about winning the last game of the season as a big deal. The White Sox won their last game 8-0 and no one talks about that.
October 26, 2025 at 2:43 AM
Not sure why everyone talks about winning the last game of the season as a big deal. The White Sox won their last game 8-0 and no one talks about that.
I went for a hike at Charleston Lake in Eastern Ontario, today. I saw this tree and decided it's a sign: the Mariners are going to win the pennant. #mariners #truetotheblue
October 4, 2025 at 10:39 PM
I went for a hike at Charleston Lake in Eastern Ontario, today. I saw this tree and decided it's a sign: the Mariners are going to win the pennant. #mariners #truetotheblue
retractionwatch.com/2025/09/24/m...
"So how do we judge research quality if we shouldn’t use publication metrics?"
"Read the actual publications"
"So how do we judge research quality if we shouldn’t use publication metrics?"
"Read the actual publications"
Math has publication fraud, too
Ilka AgricolaCredit: Thorsten Richter Scholarly publishing in mathematics is unlike many other fields, marked by fewer papers, fewer coauthors per paper and fewer citations. But that doesn’t mean t…
retractionwatch.com
September 28, 2025 at 2:10 PM
retractionwatch.com/2025/09/24/m...
"So how do we judge research quality if we shouldn’t use publication metrics?"
"Read the actual publications"
"So how do we judge research quality if we shouldn’t use publication metrics?"
"Read the actual publications"
I think formal methods bluesky is lacking so I will post that I am having a great time at ETAPS 2025!
May 4, 2025 at 3:06 AM
I think formal methods bluesky is lacking so I will post that I am having a great time at ETAPS 2025!
@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...
truenorthfoot.ca/article/ther...
There's a proposal to build a soccer stadium in Kingston, Ontario: What to know
Kingston’s City Council will review plans for a new stadium to house a Canadian Premier League team and host and semi-professional matches.
truenorthfoot.ca
January 7, 2025 at 9:52 PM
@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...
truenorthfoot.ca/article/ther...
Thanks to the folks at Smith Engineering Marketing and Communications for their kind write-up!
smithengineering.queensu.ca/news/2023/11...
smithengineering.queensu.ca/news/2023/11...
New Faculty: Sean Kauffman brings an innovative approach to teaching and research
Kauffman’s research involves assurance of the safety functions of embedded computer software, in everything from water pumps to anti-lock brakes to spacecraft.
smithengineering.queensu.ca
November 24, 2023 at 4:20 PM
Thanks to the folks at Smith Engineering Marketing and Communications for their kind write-up!
smithengineering.queensu.ca/news/2023/11...
smithengineering.queensu.ca/news/2023/11...
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...
The 1978 Star Wars Holiday Special: Lord, it's bad
The Star Wars Holiday Special aired exactly one time in 1978. It never aired again, and it was never officially released, because it is one of the worst shows in the history of American television. Ju...
www.google.com
November 18, 2023 at 2:41 AM
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...
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.
November 1, 2023 at 1:24 AM
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.
Don't dance, drink, smoke, chew, or date those who do!
September 13, 2023 at 12:21 AM
Don't dance, drink, smoke, chew, or date those who do!
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...
ScienceDirect.com | Science, health and medical journals, full text articles and books.
authors.elsevier.com
September 5, 2023 at 3:52 PM
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...