Josef Widder
@josef_widder
Followers
163
Following
705
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
A little bit of how we can use Quint to understand protocols 🧠. Check out all of the Quint specs written for Malachite in their GitHub repo 👇
1
2
14
bm. @bugarela teaching a room full of devs @NebularBuilders how to be the baddest bug catchers with Quint. Gotta catch em all!
0
6
18
My workshop is tomorrow at 11:20 at @NebularBuilders . Come join me and start your Quint journey by proving properties for pokemon battles! Add to your calendar -> https://t.co/ky1A7vQo9r
0
7
24
Beside Malachite, my colleague @josef_widder will talk about Quint language and how we've been using it to correctly design and refine the protocols for decentralizing the @Starknet stack. By the way, we just launched the website for Quint -- https://t.co/Ts2bjUh66q
quint-lang.org
Executable specs for reliable systems
0
1
4
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
Wanna help me build Quint and make formal methods more accessible? We're hiring! https://t.co/3AU4vGfDeR
0
10
21
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
Looking for a PhD student to work on testing and analysis of distributed systems and blockchains. Job posting: https://t.co/kng9k3uS60 Application deadline: 16 October 2023 @serg_delft @tudelft
careers.tudelft.nl
0
27
56
1/ Today we announce the launch of CometBFT, a state machine replication engine for the interchain! CometBFT is a fork and successor of Tendermint Core, stewarded by @informalinc and supported by @interchain_io on behalf of the wider @cosmos
49
484
814
Ehrenkreuz für Wissenschaft und Kunst 1. Klasse from the Republic of Austria for @thenzinger !
0
1
7
Austria were so hyped after their first #WEURO2022 win, they crashed the press conference 🤣 (via @CaoimheSport) https://t.co/vpARYMYlVv
53
161
2K
Good news! You are working on formal methods and blockchain technology, here is a place to discuss and make these fields progress: FMBC'22 - FLoC's satellite. 🖊️ You should consider to submit your work -- abstract deadline 3rd May AoE:
1
19
19
Austria reimposes mask mandate as coronavirus cases continue to rise
101
1K
4K
The issue with “trusted bridge” design is that it is not about trusting people to behave nicely, it is about trusting people to write correct software. Check out this talk from Principal Scientist @josef_widder at CSCON1 hosted by @ChainSafeth last year.
3
8
24
Welcome aboard 🚀
0
0
1
ATROCIOUS big pharma price gouging of insulin: This crying mother can’t afford the $1000 for her son’s insulin. 📌yet, it only costs pharma $5 to produce. 📌Insulin was invented 100 years ago by Fred Banting—who donated patent for $1 to make it free for all. Let that sink in.
1K
11K
21K
Huge ABCI++ spec upgrade here: https://t.co/GNXemZ7itc Amazing new functionality coming to Tendermint based chains.
github.com
This PR is addressing (some of) the comments in #351 The first steps are: Come up with a text that describes the pseudo-code from PRs #283 and #327 Discuss and write down the properties that the n...
0
7
46
Thanks to @WWTF for supporting @k0nn0v and my previous research project, and for highlighting us today in their #WWTFeinblicke.
0
1
9