Josef Widder
@josef_widder
Followers
159
Following
708
Media
2
Statuses
139
Computer Science. Socialism. Director of protocol engineering at Informal Systems. Vorsitzender BSA Wien 11 & Friends.
Wien, Österreich
Joined April 2017
yup. that’s me 😉.
Next up: Josef Widder is a Principal Scientist at Informal who's made major breakthroughs in the automated verification of Byzantine Fault Tolerant protocols. When he's not analyzing distributed systems, you can find him practicing yoga or solving excessively sized Rubik's cubes!
1
0
5
RT @bugarela: A little bit of how we can use Quint to understand protocols 🧠. Check out all of the Quint specs written for Malachite in the….
0
2
0
RT @btruax: bm. @bugarela teaching a room full of devs @NebularBuilders how to be the baddest bug catchers with Quint. Gotta catch em….
0
6
0
RT @bugarela: My workshop is tomorrow at 11:20 at @NebularBuilders . Come join me and start your Quint journey by proving properties for po….
0
7
0
RT @AdiSeredinschi: Beside Malachite, my colleague @josef_widder will talk about Quint language and how we've been using it to correctly de….
0
1
0
Congratulations to the new Doctor. Jure has written an excellent thesis and his presentation today was amazing.
Jure Kukovec has just defended his PhD. thesis on "SMT-driven techniques for verifying distributed systems." Behind this title hides the core of @ApalacheTLA! Amazing presentation! All my Apalache children have defended now 😊
0
0
7
RT @bugarela: Wanna help me build Quint and make formal methods more accessible? We're hiring!.
0
10
0
I’ve been using it extensively in the last months, and Quint is amazing for modeling protocols and distributed algorithms. A huge step forward!.
For the last 2 years, I have been working on a new specification language called Quint, based on TLA. Today, we are doing a first general announcement because we finally feel that it is good enough for people to use it and enjoy it :) .
0
1
10
0
3
0
RT @burcu_at_world: Looking for a PhD student to work on testing and analysis of distributed systems and blockchains. Job posting: https:/….
0
28
0
RT @informalinc: 1/ Today we announce the launch of CometBFT, a state machine replication engine for the interchain!. CometBFT is a fork an….
0
498
0
RT @RoderickBloem: Ehrenkreuz für Wissenschaft und Kunst 1. Klasse from the Republic of Austria for @thenzinger !
0
1
0
RT @brfootball: Austria were so hyped after their first #WEURO2022 win, they crashed the press conference 🤣. (via @CaoimheSport). https://t.….
0
162
0
RT @ZaynahNicolas: Good news! You are working on formal methods and blockchain technology, here is a place to discuss and make these fields….
0
19
0
RT @informalinc: The issue with “trusted bridge” design is that it is not about trusting people to behave nicely, it is about trusting peop….
0
9
0
Welcome aboard 🚀.
0
1
1
RT @DrEricDing: ATROCIOUS big pharma price gouging of insulin:. This crying mother can’t afford the $1000 for her son’s insulin. 📌yet, it….
0
11K
0
RT @buchmanster: Huge ABCI++ spec upgrade here: Amazing new functionality coming to Tendermint based chains.
0
7
0
Thanks to @WWTF for supporting @k0nn0v and my previous research project, and for highlighting us today in their #WWTFeinblicke.
0
1
9