Probing @ TU Wien @probing_lab
ProbInG is a WWTF-funded ICT project that aims at developing novel and fully automated approaches for invariant generations of probabilistic programs. probing-lab.github.io Wien Joined July 2020-
Tweets12
-
Followers23
-
Following95
-
Likes19
The #SAS2022 Radhia Cousot Young Researcher Best Paper Award goes to @AmrollahiD, @mmsbrggr, and Miroslav Stankovič for their paper “Solving Invariant Generation for Unsolvable Loops” (joint work with Ezio Bartocci, George Kenison, and Laura Kovács). Congratulations!
E. Bartocci (TUW), T. Ferrere (@ISTAustria), D. Nickovic (@AITtomorrow2day), T.A. Henzinger (ISTA) & A. Oliveira da Costa (TUW) wurden für den Beitrag „Information flows interfaces“ mit dem „Best Software Science Paper Award“ aller @ETAPSconf geehrt. Paper link.springer.com/chapter/10.100…
Laura Kovacs will be an invited speaker of VeriProP 2021: the the Workshop on Verification of Probabilistic Programs July 19th, co-located with CAV 2021 veriprop.github.io/2021
🎊 Die TUW-Informatikerin Laura Kovacs erhält einen der hochdotierten Amazon Research Awards. Gemeinsam mit ihrem Team arbeitet sie an logischen Methoden, mit denen man Softwarefehler zuverlässig und präzise nachweisen kann. 🔗 tuwien.at/tu-wien/aktuel… Foto: Luiza Puiu
Now it's official: our doctoral program logics@tuwien has been awarded an @MSCActions Cofund grand. We will have 20 full-time positions, starting in 2022. A call will be released later this year. Research topics include: Algorithms, AI, CPS, Databases, Security, Verification.
City of Vienna Diploma Thesis Award for Marcel Moosbrugger. Marcel was awarded this prize for his outstanding diploma thesis on “Automating Termination Analysis of Probabilistic Programs”. informatics.tuwien.ac.at/news/2034
New paper: Automated Termination Analysis of Polynomial Probabilistic Programs, Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen and Laura Kovács accepted for ESOP 2021: 30th European Symposium on Programming - arxiv.org/abs/2010.03444
Very inspiring ProbInG Kick-off Meeting probing-lab.github.io/posts/kickoff with Ezio Bartocci, Efstathia Bura, Laura Kovacs, Nimar Arora, Gilles Barthe, Mathias Beiglboeck, Jürgen Cito, Joost-Pieter Katoen, Manuel Kauers, Marcel Moosbrugger, Sriram Sankaranarayanan, Miroslav Stankovic
Our ProbInG team member Laura Kovacs has been awarded with the third European Research Council Grant.
Third European Research Council Grant #ERCGrant for Laura Kovács #FORSYTE @tuvienna for her project ARTIST – Automated Reasoning with Theories and Induction for Software Technology @ERC_Research EN: vcla.at/2020/12/third-… DE: tuwien.at/tu-wien/aktuel… #Verification #FM
Next week we will have our online ProbInG kick-off meeting (14-15 December) with several national and international speakers on probabilistic programming. probing-lab.github.io/posts/kickoff
I am deeply honored to be awarded the Distinguished Young Alumn Award from TU Wien. Thanks to all my colleagues, supervisors, and friends who joined and supported me on this journey. informatics.tuwien.ac.at/news/1963
Sismearsh @Sismearsh7vw
55 Followers 5K Following
Larekne @LarekneNTlxdRe
51 Followers 5K Following
Michele Chiari @micchiari
46 Followers 236 Following
MajorPain.eth @majorpain90
2K Followers 5K Following GIRL DAD , MUSIC PRODUCER / Creative Individual- ATL 🛩️ FL
Daneshvar Amrollahi @AmrollahiD
154 Followers 429 Following Computer Science PhD student @Stanford | Automated Reasoning, Autoformalization, Formal Verification
Bardh Hoxha @bardhhoxha
270 Followers 682 Following
Jan-Willem van de Mee... @jwvdm
3K Followers 1K Following Associate Professor (UHD) at the University of Amsterdam.
Miguel @mikezpresa
29 Followers 963 Following Everything is possible when the premise is false.Busco puntos de referencia 📚@UNAM_MX
CMSB 2021 @2021CMSB
43 Followers 60 Following 19th International Conference on Computational Methods in Systems Biology - 22nd-24th September 2021 #CMSB2021
Asweethome @Asweethome3
19 Followers 435 Following
Majid Zamani @zamani1362
287 Followers 250 Following Associate Professor, Computer Science Department, University of Colorado Boulder
Yasser Shoukry @yshoukry
809 Followers 2K Following Associate Professor, Resilient Cyber-Physical Systems Lab, University of California, Irvine. Interested in provably safe autonomy, formal methods, and robotics.
Atılım Güneş Bayd... @atilimgunes
2K Followers 5K Following Machine Learning Researcher & Engineer. AI for Science, Simulation, Materials Discovery. 🇹🇷🇬🇧
Sriram S @sriram0339
114 Followers 110 Following Professor of Computer Science at CU Boulder. Formal Verification, Cyber-Physical Systems, CS Theory, Logic, Optimization.
Taylor T Johnson @taylorjohnson
644 Followers 4K Following Safe & trustworthy AI & autonomy, Associate Professor @Vanderbilt_CS @ECEVanderbilt @verivital @VUEngineering @VanderbiltU, Alum @ECEIllinois & @RiceECE
Guy Van den Broeck @guyvdb
4K Followers 2K Following Professor of Computer Science at UCLA @UCLAComSci; working on Artificial Intelligence
Ivona Brandic @BrandicIvona
346 Followers 298 Following 🌱 👩💻 Univ. Prof @ TU Wien; Computational Sustainability
VCLA at TU Wien @vclaTUwien
2K Followers 795 Following Vienna Center for Logic and Algorithms at TU Wien @tuvienna #ERC #MSCA #FWF funded #LogiCS Phd & @adaalgorithmen * https://t.co/zfSpKVdzoO
Stanley Bak @StanleyBak
417 Followers 300 Following Associate Professor in the Department of Computer Science at Stony Brook University investigating formal verification for autonomy. Views are my own.
[email protected] | (sp... @k0nn0v
563 Followers 575 Following Independent security and formal methods researcher. Formal specifications in TLA+/Quint/Lean. Model checking, fuzzing, and AI-assisted testing.
Miroslav Stankovic @mirosl21
1 Followers 15 Following
Jürgen Cito @citostyle
2K Followers 1K Following Visiting Researcher @Google, CS Professor @tu_wien, Programming
Formal Methods 2026 @FMsymp
680 Followers 243 Following The 27th International Symposium on Formal Methods. #FM2026
CAV @confCAV
780 Followers 0 Following 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @ferhaterata & @frenkel_hadar. Use #cav25
Intl' Conference on C... @iccps_conf
254 Followers 86 Following ICCPS is the premier forum for presenting research contributions in the field of cyber-physical systems. 2025 Edition, Irvine, California, USA.
Michele Loreti @m_loreti
51 Followers 82 Following
cesar_sanchez @cesar_sanchez
144 Followers 96 Following Full Professor at the IMDEA Software Institute. Computer Scientist, geek, researcher, programmer. Stanford PhD. Scholar.
Weiming Xiang @xiangweiming
190 Followers 224 Following Associate Professor, School of Computer and Cyber Sciences, Augusta University.
Nir Piterman @n_pite
110 Followers 79 Following Professor for Computer Science @cse_gbg @goteborgsuni.
Bardh Hoxha @bardhhoxha
270 Followers 682 Following
Norine @NorineCoenen
257 Followers 271 Following Computer Science PhD Student @CISPA Helmholtz Center for Information Security and @Saar_Uni, find me on BSky and Mastodon
Stefan Schmid @schmiste_ch
814 Followers 1K Following Professor of Computer Science @TUBerlin @ct_inet PI @JWI_Berlin @ERC_Research Prev.: @csunivie @CompSciAAU @T_Labs @LaasCNRS @TU_Muenchen @CERN @ETH
Majid Zamani @zamani1362
287 Followers 250 Following Associate Professor, Computer Science Department, University of Colorado Boulder
Parasara S Duggirala @psduggirala
626 Followers 714 Following I am an Assistant Professor at University of North Carolina at Chapel Hill in the Computer Science Department. All opinions expressed are personal. Bobloblaw.
Yasser Shoukry @yshoukry
809 Followers 2K Following Associate Professor, Resilient Cyber-Physical Systems Lab, University of California, Irvine. Interested in provably safe autonomy, formal methods, and robotics.
Jana Hofmann @jana_tweets_cs
464 Followers 251 Following Postdoctoral researcher at Microsoft. Interested in relational specifications and reasoning for information flow security.
Ashutosh Trivedi @astrivedi
75 Followers 69 Following Associate Professor of Computer Science, University of Colorado-Boulder.
Dave Moore @davmre
497 Followers 741 Following minds, machines, croissants. formerly bayesian-ish @GoogleAI @berkeley_ai. Be kind, for everyone is fighting a hard battle.
OGAWA, Tadashi @ogawa_tter
6K Followers 3K Following 一人で日本の天〇学研究遂行に重大な支障を来らせた罪人、博士 (物理) の皆様には申し訳ありませんでした。余計なツイートをしないように心掛けますが、URL込み一次情報を紹介とか気に入らない方もいるので何かあったら↓ https://t.co/2V4WGkdY5D
dimenwarper @tsuname
2K Followers 1K Following ML/AI/finance/bio/complex systems; @Stripe; @hexagonbio; @StanfordMed; blog: https://t.co/0n4ZQgw9LA
Nandana නන්ද�... @nandanamihindu
22K Followers 6K Following Senior Research Scientist at @IBMResearch Past: @oeg_upm @wso2 @ErasmusMundus @MoratuwaUni Opinions are mine. (he/him/his)
Programming Languages... @PLPresents
1K Followers 2 Following We record and upload videos of PL talks. Run by @LeifAndersen and @ckfinite
Ankit Patel @abp4_ankit
229 Followers 224 Following Asst Prof at @BCMHouston and @RiceUniversity focusing on Deep Learning & Comp Neuro, PhD in Applied Math from @Harvard, high frequency quant trading.
John Wickerson @wicko3
1K Followers 772 Following Senior Lecturer at @ImperialEEE researching programming languages and hardware design. Personal account. Also @wicko3.bsky.social
Atılım Güneş Bayd... @atilimgunes
2K Followers 5K Following Machine Learning Researcher & Engineer. AI for Science, Simulation, Materials Discovery. 🇹🇷🇬🇧
Olivier Grisel @ogrisel
27K Followers 3K Following Engineer at @probabl_ai, scikit-learn developer. More active at: https://t.co/rboP0pZxxp https://t.co/79m4xCGMeB
ACM Digital Library @ACMDL
9K Followers 1K Following A research, discovery and networking platform from @TheOfficialACM focused exclusively on the field of computing.
Boon Thau Loo @boonthauloo
895 Followers 674 Following Senior Associate Dean @ Penn Engineering leading Grad Education, Global and Entrepreneurship. RCA Chair Professor. Database & distributed systems researcher.
Gilles Perrouin @GPerrouin
562 Followers 341 Following FNRS Research Associate (Tenured, "Chercheur Qualifié"). Program co-chair Benevol 2024 (Nov 21-22) @BenevolWorkshop. Associate editor @acm_tosem
Daniel S. Christian @dchristian5
1K Followers 465 Following I seek to help others enhance their learning ecosystems. I pulse check — and report on — a variety of landscapes for trends and promising emerging technologies.
Miroslav Pajic @miroslav_pajic
259 Followers 310 Following Dickinson Family Associate Professor @DukeEngineering
Necmiye Ozay @necozay
1K Followers 469 Following Professor @UMichECE and @UMRobotics, research in control theory, hybrid & cyber-physical systems, sys id, algorithms, safe autonomy.
sayan mitra @Mitrasayn
785 Followers 413 Following Prof @ECEILLINOIS, Outdoors enthusiast, Parent of twins. Author of verification book https://t.co/0c2ZdF00mi Alumni @MITEECS @Caltech @iiscbangalore Jadavpur.
Sriram S @sriram0339
114 Followers 110 Following Professor of Computer Science at CU Boulder. Formal Verification, Cyber-Physical Systems, CS Theory, Logic, Optimization.
Taylor T Johnson @taylorjohnson
644 Followers 4K Following Safe & trustworthy AI & autonomy, Associate Professor @Vanderbilt_CS @ECEVanderbilt @verivital @VUEngineering @VanderbiltU, Alum @ECEIllinois & @RiceECE
Miles Brundage @Miles_Brundage
79K Followers 14K Following AI policy researcher, @lfschiavo wife guy, Executive Director of @AVERIorg, Substacker, fan of animals and sci-fi, views my own
Adam Golinski @adam_golinski
3K Followers 3K Following ML research @Apple, prev @OxCSML @InfAtEd, part of @MLinPL & @polonium_org 🇵🇱, sometimes funny
Du Phan @fehiepsi
464 Followers 87 Following Make AI more interpretable via probabilistic methods. Improve LLM reasoning at Google DeepMind. Core dev @PyroAI.
Tom Rainforth @tom_rainforth
7K Followers 292 Following Professor of Statistical Machine Learning at the University of Oxford, Head of RainML Research Lab (https://t.co/uuBwQ2WdMN)
Bharath Ramsundar @rbhar90
13K Followers 9K Following Founder and CEO @deepforestsci. Creator of @deep_chem. Author @OReillyMedia. @stanford CS PhD. https://t.co/7LDcegrCsc
Saikat Dutta @saikatdutta2012
1K Followers 718 Following Assistant Professor @CornellCIS Research: Software Testing | Program Analysis | SExAI PhD: @IllinoisCS
Brancher @pybrancher
224 Followers 6 Following A user-centered Python package for differentiable probabilistic inference
Jan-Willem van de Mee... @jwvdm
3K Followers 1K Following Associate Professor (UHD) at the University of Amsterdam.
Guy Van den Broeck @guyvdb
4K Followers 2K Following Professor of Computer Science at UCLA @UCLAComSci; working on Artificial Intelligence
Turing (https://bayes... @TuringLang
4K Followers 29 Following Bayesian inference with probabilistic programming. #TuringLang #JuliaLang
Yuan Zhou @yuaanzhou
118 Followers 179 Following PhD in CS Oxford, Probabilsitic Programming, Machine Learning @CompSciOxford @oxcsml
Mike Hicks @michael_w_hicks
5K Followers 467 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new locationYou might like
