Congrats for the great award! #cav23 @madanMus

Our string solver OSTRICH won QF_S at #smtcomp'13!. Presentation by my student Oliver Markgraf: Congrats to OSTRICH team, and thanks for the hard work.

RT @BjornerNikolaj: We - @rlisahuang @Ayana_Monr - announced last year. We wonder if it has been used in classroom….

Thanks also to @lorisdanto for the valuable feedback during the interview prep.

My application for an ERC Consolidator Grant was successful!! I am very thankful to ERC and those who supported me (with countless feedbacks, etc.). @rptu_kl_ld, @mpi_sws_ @rupakmajumdar @GeorgZetzsche @FinkbeinerBernd #ERCCoG.

Just finished recording a talk ( on Liveness for Randomized Distributed Protocols for Ahmed Bouajjani's Workshop:. Tough problem that I learned in 2009 and only managed to solve in 2016, so very excited to present it here!.

This sign was there at my apartment building in Haifa the entire week till today :) @vardifest

2-week visit to Israel coming to an end. Gave 3 talks: .- Regular Model Checking @TelAvivUni .- Graph Databases at @vardifest. What an honor! @vardi.- Data Automata at LICS. Enjoy those staying on!. PS: thx to many locals for their enormous help, esp. Yakir Vizel's family.

RT @BjornerNikolaj: Are you curious about SMT solvers? Want to learn about Z3, a state-of-the-art SMT solver, and run Z3 programs *in your….

First time in the states since the pandemics and can't wait to present our paper at SIGMOD/PODS2022 ( today. Can't wait to talk to more people at the conference. #pods22 #sigmodpods22.

I've registered for PODS'22 in Philadelphia to present my first paper ever in PODS (. First trip to the US after the start of the pandemics. Will be an expensive trip (1 EUR ~ US$1 now).

On behalf of my co-authors, I’d like to thank the PC of CPP for selecting our paper "CertiStr: A Certified String Solver” ( for a Distinguished Paper Award. We’re honored to receive this. Please join our presentation tomorrow (18.02.2022) #popl22 #cpp22.

Ein echt cooles Video über Bitcoins "in Wirklichkeit". Bitcoin als Währung: Funktioniert das? Reisebericht aus El Salvador! | F. via @YouTube.

RT @MkBlyth: Digital thought for the day

Congratulating Dr. Marko Doko, who successfully completed his thesis on "Program Logic for Weak Memory Concurrency" under Viktor Vafeiadis and defended it yesterday at TU Kaiserslautern @uni_kl and MPI-SWS @mpi_sws_ @mpi_sws_plv.

New paper on "Certified String Solver" to appear at CPP'22 and new paper on "String Solving with Regular Expressions in the Wild" to appear at POPL'22 (. Thanks to my co-authors for the hard work.

RT @byroncook:

I thought this was a joke that a P=NP claim was published in an ACM journal:. (Thanks to @NatanLieds for the pointer).

Delighted to be invited to present at CAV-collocated string solving workshop (TPSS'21): . Here's a preview of what I'll talk about: Time: Today (6:30pm CEST) in case you're interested in joining.

What about a future POPL in Copenhagen and catering from .