Anthony Widjaja Lin

I design and analyse programs that analyse programs. Professor in Theoretical Computer Science (Logic), TU Kaiserslautern, Germany.

[Anthony Widjaja Lin @anthonywlin]

Feeling honored. Grateful for all the support that made this possible!

[ICLR @iclr_conf]

Announcing the #ICLR2026 Outstanding Paper Awards 🏆 Congratulations to:

[fly51fly @fly51fly]

[LG] Why Are Linear RNNs More Parallelizable?
W Merrill, H Jiang, Y Li, A Lin… [Allen Institute for AI & Rheinland-Pfalzische Technische Universitat] (2026)
https://t.co/FVfDg5XpKN

[Anthony Widjaja Lin @anthonywlin]

@polikarn @georgemporter @UCSDJacobs @skateprofessor @niemasd @adalbertgerald Congrats!

[Anthony Widjaja Lin @anthonywlin]

Congrats for the great award! #cav23 @madanMus

[Anthony Widjaja Lin @anthonywlin]

@anne_biene Haha of course :)

[Anthony Widjaja Lin @anthonywlin]

Our string solver OSTRICH won QF_S at #smtcomp'13!

https://t.co/7NW8eLkRaX

Presentation by my student Oliver Markgraf: https://t.co/EYIDcj1SW0

Congrats to OSTRICH team, and thanks for the hard work.

[Anthony Widjaja Lin @anthonywlin]

@jeremysiek @mitpress My copy arrived yesterday :)

[Anthony Widjaja Lin @anthonywlin]

@roopshasamanta What a loss for Purdue! Let me know if I can help in any way.

[Anthony Widjaja Lin @anthonywlin]

@tianyin_xu Good luck! :)

[Nikolaj Bjorner @BjornerNikolaj]

We - @rlisahuang @Ayana_Monr - announced https://t.co/PYqhNhDNFb last year. We wonder if it has been used in classroom or other learning settings? Would love to hear your comments

[Anthony Widjaja Lin @anthonywlin]

@anne_biene @rptu_kl_ld @mpi_sws_ @rupakmajumdar @GeorgZetzsche @FinkbeinerBernd Thanks!! :)

[Anthony Widjaja Lin @anthonywlin]

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

[European Research Council (ERC) @ERC_Research]

📢 The results of the 2022 ERC Consolidator Grant competition are out: €657 million for 321 researchers.

Who has been offered funding?
What topics they will investigate?
Where will they do their research?

Discover the details ➡️ https://t.co/MYLZWZ5JSv

🇪🇺#EUfunded #ERCCoG

[Anthony Widjaja Lin @anthonywlin]

@alexandra8silva @rptu_kl_ld @mpi_sws_ @rupakmajumdar @GeorgZetzsche @FinkbeinerBernd Thanks!

[Anthony Widjaja Lin @anthonywlin]

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

[Anthony Widjaja Lin @anthonywlin]

@OndraLengal @rptu_kl_ld @mpi_sws_ @rupakmajumdar @GeorgZetzsche @FinkbeinerBernd Thanks!

[Anthony Widjaja Lin @anthonywlin]

Just finished recording a talk (https://t.co/quxE1lGFez) on Liveness for Randomized Distributed Protocols for Ahmed Bouajjani's Workshop:

https://t.co/thoUeqLxTA

Tough problem that I learned in 2009 and only managed to solve in 2016, so very excited to present it here!

[Anthony Widjaja Lin @anthonywlin]

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

[Anthony Widjaja Lin @anthonywlin]

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.

[Nikolaj Bjorner @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 browser*? We are excited to host the first online Z3 learning workshop with research interns @rlisahuang and @Ayana_Monr on August 24. https://t.co/bJMuyHp2DZ

[Anthony Widjaja Lin @anthonywlin]

@malyzajko Did something like that once (but not 5t) and then left the place after two years.