Nir Piterman @n_pite
Professor for Computer Science @cse_gbg @goteborgsuni. cse.chalmers.se/~piterman/ Gothenburg, Sweden Joined January 2013-
Tweets152
-
Followers114
-
Following80
-
Likes457
Nir Piterman retweeted
Are you based in the U.S. 🇺🇸 or Canada 🇨🇦 & thinking of doing research in Europe? ERC grants offer up to €4.5 million to support groundbreaking, investigator-driven frontier research in all fields. Watch the info session for researchers in your region👉youtu.be/92QYink1Lik
Are you based in the U.S. 🇺🇸 or Canada 🇨🇦 & thinking of doing research in Europe? ERC grants offer up to €4.5 million to support groundbreaking, investigator-driven frontier research in all fields. Watch the info session for researchers in your region👉youtu.be/92QYink1Lik
10
95
248
38K
28
While considering Gregory's position, think also about the co-advertised Formal Methods project (incidentally with me as supervisor ...).
While considering Gregory's position, think also about the co-advertised Formal Methods project (incidentally with me as supervisor ...).
Nir Piterman retweeted
Want to work with amazing professors? Five WASP PhD positions at the dept of Computer Science and Engineering to work on machine learning, autonomous systems, software engineering, formal methods: chalmers.se/om-chalmers/ar…
Nir Piterman retweeted
Meet cybersecurity researcher @asabelfeld, who never has a boring moment at work! He operates in a constantly evolving field where the challenge is to stay ahead of the attackers with defense. #cybersecurity #research #chalmersuniversityoftechnology linkedin.com/pulse/always-n…
Nir Piterman retweeted
Become a PhD student with us at Chalmers @chalmersuniv @ChalmersICT and join the Chalmers Security & Privacy Lab cse.chalmers.se/research/group… Apply here: chalmers.se/en/about-chalm…
He clearly had access to some reviews I recently got:"...requests for endless comparisons w tangentially related work (X, Y), additional benchmarks that r only marginally relevant, the inclusion...barely established baselines, and...sensitivity studies...".
He clearly had access to some reviews I recently got:"...requests for endless comparisons w tangentially related work (X, Y), additional benchmarks that r only marginally relevant, the inclusion...barely established baselines, and...sensitivity studies...".
Nir Piterman retweeted
Are you passionate about using programming languages for data privacy and/or programming languages? If so, I am looking for two Ph.D. students to join @ChalmersICT chalmers.se/om-chalmers/ar… chalmers.se/om-chalmers/ar…
Nir Piterman retweeted
Nir Piterman retweeted
PhD position in Formal Verification of Autonomous Cyber-Physical Systems at Chalmers University of Technology chalmers.se/en/about-chalm… This position is funded by the Wallenberg AI, Autonomous Systems and Software Program. #WASP #Chalmers
Nir Piterman retweeted
Join as at Chalmers! Fully-funded PhD and Postdoc positions in Formal Verification of Autonomous Cyber-Physical Systems! @WASP_Research @chalmersuniv PhD: chalmers.se/en/about-chalm… Postdoc: chalmers.se/en/about-chalm…
Gregory Gay @Greg4cr
2K Followers 713 Following Associate Professor (Chalmers/U.Gothenburg - @SoftEngDiv), mostly in software testing. Sometimes gaming journalist. 70% composed of memes.
Ondra Lengal @OndraLengal
24 Followers 69 Following
Af Ehad @affehad
12 Followers 186 Following
Ashley @g_ashley66
277 Followers 3K Following
Alexandre Bartel @software_ses
10 Followers 91 Following Software Engineering and Security Group at Umeå University, Sweden.
Hadar Frenkel 🎗 @frenkel_hadar
102 Followers 166 Following assistant professor @ubarilan formal methods & logics https://t.co/aUN2P4Moco
Adithya Murali @adithyamuralism
224 Followers 263 Following PhD student @plfmse @illinoisCS. Incoming faculty member at @WisconsinCS | Previously @ProseMSFT @Meta @HyderabadBits
George Granberry @JudgeJerj
17 Followers 88 Following American PhD candidate living in Sweden currently researching the intersection between Formal Methods, IDEs, and LLMs at Chalmers University of Technology
Shantanu Kulkarni @thebrownmale
390 Followers 1K Following Mumbai | Goa Computer Science PhD @ IIT Bombay. I mostly shitpost here about other interests.
Melanie @Tasmi46352
306 Followers 5K Following See the world on the road, and get to know yourself on the way!
Elad Michael Schiller @3lm342wh67
0 Followers 3 Following
Rhett @hiseseth38761
351 Followers 5K Following See the world on the road, and get to know yourself on the way!
Roland Pr @RlndSantis
94 Followers 910 Following Fueled by curiosity. My goal is to educate, empower, and uplift others, encouraging a journey of continuous growth. Author of https://t.co/EPPHQVhL5J.
Dan Plyukhin @dplyukhin
233 Followers 318 Following Actor/model/choreographer working on the Actor Model and Choreographic Programming. Postdoc @imadaSDU, occasional co-host @ttforall, formerly @IllinoisCS.
Susan @Susan9841330552
123 Followers 1K Following
Simon Olsson @smnlssn
2K Followers 1K Following Associate Professor at @chalmersuniv. @WASP_Research Fellow. ELLIS Member.
ETAPS Conferences (no... @ETAPSconf
347 Followers 51 Following We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin. Or in person, at ETAPS 2026: April 11 - 16, Torino, Italy
Mohammad Hossein Khos... @Mh_khoshechin
286 Followers 914 Following PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @[email protected]
Chalmers ICT @ChalmersICT
741 Followers 412 Following Area of Advance ICT at @Chalmersuniv. #research #development in cross-disciplinary information and communication technology. Emphasis on #sustainability issues
Jonathan Bowen @jpbowen
956 Followers 2K Following I am Chairman of Museophile Limited and an Emeritus Professor at London South Bank University.
Bruce Slaton Jr @BruceSlaton2023
31 Followers 228 Following
Hicham Yezza @HichamYezza
7K Followers 4K Following Editor/Writer/Analyst • Responsible AI @BBC • Snr Associate @tpiglobal • Founder @CeasefireMag • Words @Guardian @LMDiplo @AJ • Visiting Fellow @UniofReading
Einar Broch Johnsen @ebjohnsen
561 Followers 470 Following Professor, @UniOslo. Computer science, formal methods, distributed systems, cloud computing, digital twins, robotics. Mastodon: @[email protected]
Dushani Perera @Dush_Perera
307 Followers 1K Following Postdoc @InfAtEd | PhD candidate in HCI @Cardiff_HCC. Sustainability | InfoVis | Data Physicalisation. Teaching Assistant @Cardiff_HCC and @ColomboUni
A @MauntenOokami
26 Followers 214 Following
Abdur Rehman Anwar Qu... @qureshiprinc
211 Followers 2K Following Researcher and PhD student at Hasso Plattner Institute - Chair of Business Process Technology, Potsdam Germany @HPI_DE
Joel Svensson @sve10362122
292 Followers 2K Following Implementing a Lisp like language for microcontrollers. LispBM is a lisp or scheme like language with concurrency and an Erlang inspired message-passing system
Luca Aceto @aceto_luca
183 Followers 309 Following
Gary Hu @rdsspq_eax
171 Followers 870 Following Ph.D. student at @HKUST. I'm focusing on formal verification.
Luca @1306lou
91 Followers 335 Following CS Postdoc @tu_wien 💻 • From L’Aquila 🇮🇹 • Opinions my own • ❤️, 🔄 ≠ endorsement • Are birds free from the chains of the skyway?
Sofi @lady_sofita
344 Followers 3K Following
Robert Krook @Rewbert
175 Followers 196 Following PhD-student at Chalmers University, in the FP-group. Main advisor: Koen Claessen Co advisor: John Hughes Co advisor: Joel Svensson https://t.co/sbwlxU3jm3
Nachi @modaltype
376 Followers 292 Following "The limits of my language mean the limits of my world" and all that
Niklas Metzger @NI_klasM
52 Followers 145 Following PhD student at @CISPA/@Saar_Uni -- Formal Methods -- Reactive Synthesis -- Hyperproperties
Ashwani Anand @a4ashwanianand
31 Followers 133 Following
Ben Stucky @beanstalk... @beanstalk555
279 Followers 2K Following Math and computer science teacher and learner @Beloit_College. Here for my students in one way or another. he/him. Mastodon: https://t.co/kBBwvZyZ1E
Zhao Tao @TaoZhaotao66
2 Followers 5 Following
Richard Torkar 🇺�... @rtorkar
995 Followers 1K Following
Numair Mansur @Numair_Mansur
489 Followers 1K Following Senior Applied scientist at @AWS | Interests: AI + Automated Reasoning | PhD in CS from @mpi_sws_
Rajeev Alur @RajeevAlur
2K Followers 231 Following Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
mohammed hussein~Gaza... @mohammedIhysse
17K Followers 180 Following I write to you from my tent in Gaza✍️,Im Mohammad Hussein , 30 years old, I hold a Master's degree in MBA, my WhatsApp to contact me for support: +972598679296
גלעד קריב @KarivGilad
36K Followers 754 Following חבר כנסת מטעם מפלגת הדמוקרטים, יו״ר וועדת העלייה, הקליטה והתפוצות, איש תנועת העבודה. רב ומשפטן. לשעבר מנכ״ל התנועה הרפורמית בישראל
Hamza @HowidyHamza
38K Followers 1K Following Gaza-born Peace & Human Rights Advocate. 🇵🇸🍉 Columnist for Newsweek & USA Today. Jerusalem is for everyone. Fellowship at @Ideas_B2
Ihab Hassan @IhabHassane
52K Followers 968 Following Palestinian Christian | Human rights activist | MA in Human Rights @catholicuniv | Director of Human Rights Project @Agoradotorg | views are my own.
Dalia Ziada - دال�... @daliaziada
113K Followers 2K Following Senior Fellow on Middle East & Mediterranean Geopolitics @jerusalemcenter | Research Fellow on Radicalism @ISGAP | International Security @FletcherSchool
Realign For Palestine @rfpalestine
4K Followers 14 Following Realign For Palestine, @AtlanticCouncil, promotes radical pragmatism, the rejection of violence, the pursuit of peace, and progress for Palestinians.
Göteborgs-Posten @GoteborgsPosten
117K Followers 3K Following Senaste nytt från Göteborgs-Posten. Ansvarig utgivare: Christofer Ahlqvist.
Samer Sinijlawiسام... @SSinijlawi
11K Followers 774 Following Political Activist → Advocating for Palestinian Reforms & Democracy → Palestinian-Israeli Coexistence The world is a hotel and my home is Jerusalem
Göteborgs universite... @goteborgsuni
16K Followers 39 Following Kontot är inte aktivt. Besök https://t.co/0W7TL96Fd2 för kontaktuppgifter samt för nyheter om forskning. This account is not active.
Hadar Frenkel 🎗 @frenkel_hadar
102 Followers 166 Following assistant professor @ubarilan formal methods & logics https://t.co/aUN2P4Moco
Mohammad Ahmadpanah @smahmadpanah
600 Followers 334 Following
Ahmed Fouad Alkhatib @afalkhatib
77K Followers 1K Following Proud American; Gaza native; pro-Palestine, pro-Peace, anti-Hamas & milit-occupation, Head of @rfpalestine; Senior Fellow @AtlanticCouncil; Term Member @CFR_org
נדב איל Nadav E... @Nadav_Eyal
407K Followers 2K Following Columnist, @yediotahronot and @ynet. @ColumbiaSIPA Scholar and Adjunct Prof. Latest book: How Democracy Will Win *if it does (2023) [email protected]
Ahmad Tibi @Ahmad_tibi
132K Followers 1K Following Knesset member but physician , חבר כנסת אבל רופא.. عضو كنيست ولكن..طبيب!
מירב כהן - Mei... @cohen_meirav
53K Followers 455 Following ירושלמית | יו״ר הוועדה לטיפול בשורדי השואה | השרה לשוויון חברתי וגמלאים לשעבר | יש עתיד 🟠
ישראל פריי @freyisrael1
104K Followers 61 Following עיתונאי קטן שלכם | קָרוֹב ה' לְנִשְׁבְּרֵי לֵב וְאֶת דַּכְּאֵי רוּחַ יוֹשִׁיעַ
שקמה ברסלר S... @ShikmaBressler
80K Followers 287 Following אמא, מהעמק, פיזיקאית. יש לי גם ערוץ בטלגרם
Josh Breiner @JoshBreiner
134K Followers 1K Following כתב המשטרה והפלילים של עיתון הארץ @haaretz 050-8899646
Or-ly Barlev 🎗 א�... @orlybarlev
116K Followers 3K Following עיתונאית עצמאית. אקטיביסטית. דמוקרטיה. שחיתות שלטונית. Independent journalist. Activist. Democracy. Government corruption. Tweets in English @OrlyBarlevEng
ETAPS Conferences (no... @ETAPSconf
347 Followers 51 Following We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin. Or in person, at ETAPS 2026: April 11 - 16, Torino, Italy
Chalmers ICT @ChalmersICT
741 Followers 412 Following Area of Advance ICT at @Chalmersuniv. #research #development in cross-disciplinary information and communication technology. Emphasis on #sustainability issues
Alejandro Russo @poke48k
587 Followers 274 Following Computer security researcher and functional programer. Professor at Chalmers University of Technology. Founder of DPella. Executive MBA. From Argentina/Sweden
Somesh Jha @jhasomesh
4K Followers 862 Following Professor of Computer Science and a music lover. Interested in formal methods, security, and Trustworthy ML. Oh yes, and classical music and jazz.
TAP Portugal @TAP_Portugal
8K Followers 16 Following Also check: http://t.co/QeIZ7ri4Si and http://t.co/iQKK5N7mDN
Richard Torkar 🇺�... @rtorkar
995 Followers 1K Following
Kim G Larsen @kglaau
351 Followers 45 Following
Bellingcat @bellingcat
721K Followers 75 Following Support our charity https://t.co/XMTKIEDiTB Buy our book: https://t.co/2JiuWFfTpO Follow us: https://t.co/LPUEQI8TdZ
@eliothiggins.bsky.so... @EliotHiggins
292K Followers 3K Following Founder and creative director of @Bellingcat. Now on Bluesky and no longer posting here @eliothiggins.bsky.social
Wallenbergstiftelsern... @Wstiftelserna
302 Followers 21 Following Wallenbergstiftelserna består av 16 stiftelser. Kontot gäller främst Marianne och Marcus Wallenbergs Stiftelse och Marcus och Amalia Wallenbergs Minnesfond.
[email protected]... @christogrozev
544K Followers 1K Following Investigative journalist (Spiegel, The Insider, ex-Bellingcat), film maker and hobby coder. https://t.co/3kUwYLHXoL
Rajeev Alur @RajeevAlur
2K Followers 231 Following Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
shalom boguslavsky @SBogus
32K Followers 705 Following In-depth tours in Eastern Europe, Israel and elsewhere. Author of The Unlikely and Oft-overlooked Story of the Rise and Fall of Jewish Eastern Europe.
Jorge A. Pérez @PerezJorgeA_
312 Followers 498 Following Fundamental Computing (https://t.co/A74tQNfab9) @univgroningen Software correctness | Concurrency, Logic, Programming Father (x2)
Clément Canonne (on ... @ccanonne_
37K Followers 65 Following Senior Lecturer @Sydney_Uni. Formerly Postdocs @IBMResearch, @Stanford; PhD @Columbia. Converts ☕ into puns: sometimes theorems. He/him. @ccanonne.bsky.social
Víctor Braberman @VictorBraberman
12 Followers 1 Following
Sebastian Uchitel @seba_uchitel
2K Followers 133 Following @suchitel.bsky.social, Científico, Editor-in-Chief @ieeetse,@ComputacionUBA, @Exactas_UBA. @icc_uba_conicet @ICComputing.
Andrei Sabelfeld @asabelfeld
419 Followers 154 Following
Dominik Winterer @DominikWinterer
1K Followers 652 Following Lecturer (Assistant Professor) at University of Manchester | Making Formal Methods better and more practical
WASP Research @WASP_Research
1K Followers 170 Following Wallenberg Artificial Intelligence, Autonomous Systems and Software Program – fostering international research excellence with industrial relevance.
Alexandra Silva @alexandra8silva
2K Followers 867 Following Computer scientist, loves traveling and food tasting!
Armin Biere @ArminBiere
947 Followers 218 Following
Mohammad Mousavi @smr_mousavi
510 Followers 721 Following Professor of Software Engineering at King's College London - Personal account
Ahmed Ali-Eldin @ahmedaley4
260 Followers 1K Following Assoc. Prof., Computer systems. My tweets represent me only.Trends for United States
486 B posts
32,8 B posts
44,9 B posts
89,8 B posts
7.373 posts
38 B posts
3.469 posts
27,5 B posts
92,2 B posts
2.723 posts
59,2 B posts
3.696 posts
18,3 B posts
102 B posts
211 B posts
1.015 posts
9.945 posts
41,1 B posts
5.307 posts
1.144 posts
You might like
Rajeev Alur
@RajeevAlur
2K Followers
Suguman Bansal
@sugumanbansal
842 Followers
Alejandro Russo
@poke48k
587 Followers
Armin Biere
@ArminBiere
947 Followers
Alexandra Silva
@alexandra8silva
2K Followers
Tzu-Han👩🏻�...
@TzuHanH
2K Followers
Formal Methods Europe
@FormalMtds
764 Followers
Robert Krook
@Rewbert
175 Followers
Borzoo Bonakdarpour
@TheBorzoo
500 Followers