ACM SIGLOG @acmsiglog

Joined May 2014

Tweets

135
Followers

275
Following

31
Likes

33

No recent Tweets. New Tweets will appear here.

My mastodon account: @vardi@fediscience.org

Moshe Vardi @vardi

13K Followers 137 Following My mastodon account: @[email protected]

Alexandra Silva @alexandra8silva

2K Followers 868 Following Computer scientist, loves traveling and food tasting!

The world's largest professional organization advancing #computing as a science and profession. Also @mastodon.acm.org
Likes & shares ≠endorsement

Association for Compu... @TheOfficialACM

72K Followers 3K Following The world's largest professional organization advancing #computing as a science and profession. Also @mastodon.acm.org Likes & shares ≠endorsement

Suguman Bansal @sugumanbansal

838 Followers 277 Following Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSci

Associate Professor at @FCTNOVA doing research on PL / Type Theory / Concurrency. Formerly at Imperial College London. All opinions expressed here are my own.

Bernardo Toninho @bernpton

294 Followers 762 Following Associate Professor at @FCTNOVA doing research on PL / Type Theory / Concurrency. Formerly at Imperial College London. All opinions expressed here are my own.

Associate Professor at @UTFPR_.
Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang.
@leanprover, @Erlang_org and @elixirlang enthusiast.

Adolfo Neto @adolfont

9K Followers 8K Following Associate Professor at @UTFPR_. Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang. @leanprover, @Erlang_org and @elixirlang enthusiast.

Rineke Verbrugge @RinekeV

1K Followers 849 Following Scientist: logic & cognition, artificial intelligence. She / her

Vienna Center for Logic and Algorithms at TU Wien @tuvienna #ERC #MSCA #FWF funded #LogiCS Phd & @adaalgorithmen * https://t.co/zfSpKVdzoO

VCLA at TU Wien @vclaTUwien

2K Followers 815 Following Vienna Center for Logic and Algorithms at TU Wien @tuvienna #ERC #MSCA #FWF funded #LogiCS Phd & @adaalgorithmen * https://t.co/zfSpKVdzoO

sfmaghrebi @sfmaghrebi

3 Followers 85 Following

leiser.research @LeiserResearch

1 Followers 54 Following

Tkee @Tkee7491

1 Followers 754 Following

James Oswald @Jozwaldus

45 Followers 174 Following Computer Science PhD student at RPI. AI Researcher and Modal Logic Connoisseur. Let's all Love Lean4

MoreSpinach_ @moreSpinach_

2 Followers 3K Following Metro Conference Defender | Establishing the run | JSTOR Delenda Est

Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue |
Interested in Programming Languages, Politics, and Philosophy.

ashish mishra @aegisAshish

144 Followers 387 Following Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue | Interested in Programming Languages, Politics, and Philosophy.

Luis 🦔 @lamg_dev

518 Followers 1K Following Logic studies and answers *what makes sense* Ideology is religion without God #fsharp 🇩🇪 Building https://t.co/O7YTJI9GtA 🎯🔧🌐

Researcher. ejgallego @ https://t.co/omifD2hrhR and https://t.co/ZmOOsqM0fP

ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean.

Emilio J. Gallego Ari... @ejgallego

481 Followers 723 Following Researcher. ejgallego @ https://t.co/omifD2hrhR and https://t.co/ZmOOsqM0fP ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean.

Yudai Urabe (占部) @yudai_urabe

101 Followers 303 Following Research student @ Tokyo Tech, Japan/Programming Languages/History of Computer Science/Othello,📖,🎱,🎤,🚶emoji🥳😤🌊

Esteban Marin @Esteban08240516

283 Followers 923 Following #Scala #Haskell #Nix #Typescript Engineer @ZivergeTech In love with functional programming { . . . ❤️} All opinions are my own.

bad portmanteau @cathexegesis

61 Followers 932 Following not catholic

Mykola Telychko @nico_ua_dev

16 Followers 491 Following software engineer / digital advertising / RTB / math & radio enthusiast

Dries Frederickx @Poly_Void

255 Followers 2K Following Current status: NEET. Jack of no traits and definitely master of none.

thedevbirb @thedevbirb

280 Followers 1K Following R&D ⎯⎯⎯⎯⎯⎯⎯■ @chainbound_ • @boltprotocol_ | prev dev @Tide_web3 | math @unimib. Cocktails enjoyoor 🍸

Adriano @adrianomvcii

69 Followers 682 Following I like cats and PL’s

jiangsy @jiangsy96

25 Followers 304 Following

Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒

Matt Teichman @ElucidationsPod

2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒

TOCK Analytics (my math project and totally awesome vaporware company that has fun). Exploring the world of applied category theory. Proven critical systems.

Michael Evans @TeamTock

545 Followers 2K Following TOCK Analytics (my math project and totally awesome vaporware company that has fun). Exploring the world of applied category theory. Proven critical systems.

Francesco Gavazzo @francescoGvz

40 Followers 227 Following Theoretical Computer Scientist, Assistant professor, Department of Mathematics, University of Padua

ulmite infoteux,
fan de maths et d'info.
@informatheux@piaille.fr/@informatheux.bsky.app

Informatheux @informatheux

419 Followers 571 Following ulmite infoteux, fan de maths et d'info. @[email protected]/@informatheux.bsky.app

Thybault 🦾 @Soulthym

283 Followers 1K Following Software Engineer @massachain, doing R&D on ZK technologies.

Another 20 something homosexual neoliberal ghoul, how original.

Anti-anti-growth coalition and #YimbyLobby propagandist.

YIMBY Martial Law Enf... @RepealTCPA1947

3K Followers 1K Following Another 20 something homosexual neoliberal ghoul, how original. Anti-anti-growth coalition and #YimbyLobby propagandist.

Zanos Secreto @ZanosCandado

15 Followers 119 Following Doctor en centochología por la UC

Tarık Özkanlı @tozkanli2023

370 Followers 2K Following 49, male, multiverse-construction-engineer

rhythmos @rhythmose

38 Followers 391 Following ~natfex-nilfep

João Fé @joaompfe

137 Followers 327 Following Function composer (sometimes decomposer) #typedfunctionalprogramming

ACM UD @capacmud

0 Followers 130 Following Capítulo Estudiantil ACMUD

Research organization focusing on statistical physics of disordered systems, and interpretable high-dimensional statistical models. We also host guest lectures.

Plectics @PlecticsLab

240 Followers 80 Following Research organization focusing on statistical physics of disordered systems, and interpretable high-dimensional statistical models. We also host guest lectures.

ardalaan @ardalaaaan

1 Followers 47 Following

TerminatorMom @MomTerminator

2K Followers 2K Following Astro & scuba geek. See highlights 4 threads: US Digital ID, The Multi-headed Snake of WEF, WHO, GDHP & Healthcare Data Rape

Xiangrong Bin @xrbin0

3 Followers 133 Following

Rahul Shah @Rahul_Shah_ML

28 Followers 4K Following Machine Learning Engineer

Ernest Ng @ngernest2

511 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him

Egyptian History X�... @AngryEgyptianX

375 Followers 8K Following

Categories, computer science and logic. @stringdiagram@mathstodon.xyz

Dan Marsden @StringDiagram

1K Followers 184 Following Categories, computer science and logic. @[email protected]

neuroevolutus @neuroevolutus

22 Followers 3K Following

gpu enjoyer at @modal. he/him.

ex @full_stack_dl, @weights_biases (acq. @CoreWeave), phd Berkeley @Redwood_Neuro.

try https://t.co/SYWVMCazZ3

Charles 🎉 Frye @charles_irl

14K Followers 3K Following gpu enjoyer at @modal. he/him. ex @full_stack_dl, @weights_biases (acq. @CoreWeave), phd Berkeley @Redwood_Neuro. try https://t.co/SYWVMCazZ3

Andy J Yang @pentagonalize

140 Followers 997 Following

Shantanu Kulkarni @thebrownmale

388 Followers 1K Following Mumbai | Goa Computer Science PhD @ IIT Bombay. I mostly shitpost here about other interests.

Rajagøpal @bcl400

919 Followers 2K Following get vaccinated.

pedro cleis @pedrokleiz

93 Followers 2K Following https://t.co/BTNyLfnQC8

David Pratten @davidpratten

47 Followers 255 Following Release Train Engineer (SAFe) / UTS Computer Science PhD Student

Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)

Ramneet Singh @Ramneet_Singhh

848 Followers 5K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)

_KS_ @_KskSsk

12 Followers 61 Following Embedded software engineer, operating systems, formal methods, software architect

Xizao Wang @wangxiz

44 Followers 484 Following Ph.D. student in Computer Science at Nanjing University, focus on program analysis and programming languages.

Maximilian Pflüger @MaximilianPflg1

9 Followers 187 Following Student @UniofOxford

linrongen @linrongen0729

0 Followers 31 Following

Researcher in Computer Science, formal methods / program analysis / cybersecurity / software engineering, a bit of quantum programming too

Sébastien Bardin @Seb_Bardin

182 Followers 334 Following Researcher in Computer Science, formal methods / program analysis / cybersecurity / software engineering, a bit of quantum programming too

Daniel A. Matysiak @DanielAMatysiak

65 Followers 943 Following Ex umbris et imaginibus in veritatem

Graham Hutton @haskellhutt

8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴󠁧󠁢󠁳󠁣󠁴󠁿

Moshe Vardi @vardi

13K Followers 137 Following My mastodon account: @[email protected]

Association for Compu... @TheOfficialACM

72K Followers 3K Following The world's largest professional organization advancing #computing as a science and profession. Also @mastodon.acm.org Likes & shares ≠endorsement

Bernardo Toninho @bernpton

294 Followers 762 Following Associate Professor at @FCTNOVA doing research on PL / Type Theory / Concurrency. Formerly at Imperial College London. All opinions expressed here are my own.

Adolfo Neto @adolfont

9K Followers 8K Following Associate Professor at @UTFPR_. Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang. @leanprover, @Erlang_org and @elixirlang enthusiast.

Divulgamos projetos de pesquisa e ensino, história e memória de, com, para e relacionados a mulheres brasileiras que fazem ou fizeram lógica.

logicasbrasileiras @logicasbrasile1

551 Followers 228 Following Divulgamos projetos de pesquisa e ensino, história e memória de, com, para e relacionados a mulheres brasileiras que fazem ou fizeram lógica.

Derek Dreyer @HerrDreyer

3K Followers 203 Following Get used to disappointment.

Logician & philosopher @ruhrunibochum, Post-Doc. I like proof theory, feminist logic, bilateralism, and a lot more in logic and in life. (she/her)

Sara Ayhan @Sara_Ayhan_

1K Followers 605 Following Logician & philosopher @ruhrunibochum, Post-Doc. I like proof theory, feminist logic, bilateralism, and a lot more in logic and in life. (she/her)

UCL-CS PPLV @ucl_pplv

262 Followers 157 Following Programming Principles, Logic and Verification group at University College London

Bruno Lopes @blopesvieira

265 Followers 204 Following [email protected]

Dr Valeria dePaiva @valeriadepaiva

4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her

CACM News @ACMLarry

1K Followers 399 Following Senior Editor/News for ACM Magazines, the publications of the Association for Computing Machinery.

Scientist professor hacker writer citizen. Committed to building a better world through science technology and community. Director @swheritage. Follow ≠ endorse

Roberto Di Cosmo @rdicosmo

5K Followers 6K Following Scientist professor hacker writer citizen. Committed to building a better world through science technology and community. Director @swheritage. Follow ≠ endorse

Karine Even-Mendoza @KarineEvenMend1

137 Followers 500 Following Computer scientist and a lucturer@KCL/Informatics

Aniello Murano @nello_murano

29 Followers 185 Following Professor in computer science

Sharing our passion for Computer Graphics with fellow students to contribute to the ecosystem in Argentina and LATAM.

ACM SIGGRAPH UdeSA @siggraphudesa

10 Followers 42 Following Sharing our passion for Computer Graphics with fellow students to contribute to the ecosystem in Argentina and LATAM.

Postdoc at INRIA/ENS Paris; Incoming Assistant Prof in CS @TuftsUniversity; Ex @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social

Guannan Wei @GuannanWei

1K Followers 959 Following Postdoc at INRIA/ENS Paris; Incoming Assistant Prof in CS @TuftsUniversity; Ex @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social

Radha Jagadeesan @JagadeesanRadha

29 Followers 376 Following Midwest. CS Academic.

sequiturquodlibet @antitheorem

521 Followers 421 Following a logician (and not)

Umang Mathur @mathur_umang

1K Followers 1K Following Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore

Elaine Pimentel @Elaine_Pim

299 Followers 320 Following Live long and prosper (Mr S'chn T'gai Spock)

Senior Lecturer in Computer Science at Birkbeck, U of London: program analysis, verification, automated reasoning, term rewriting, ... Language(s) aficionado.

Carsten Fuhs (@Carste... @CarstenFuhs

129 Followers 191 Following Senior Lecturer in Computer Science at Birkbeck, U of London: program analysis, verification, automated reasoning, term rewriting, ... Language(s) aficionado.

Professor and researcher. PhD in Computer Science from @dipucrio, Brazil. An old programmer, belatedly in love with the Smalltalk ecosystem.

Jefferson Santos @jeff_b_santos

90 Followers 899 Following Professor and researcher. PhD in Computer Science from @dipucrio, Brazil. An old programmer, belatedly in love with the Smalltalk ecosystem.

Luis Henrique B. @luisbustamante

156 Followers 756 Following Estudante de lógica e computação.

Thiago @thiagoalro

29 Followers 618 Following

Vassilios Karakoidas @bkarak

408 Followers 962 Following Software Engineer, Software Architect, Researcher. Opinions are my own.

Ondra Lengal @OndraLengal

24 Followers 69 Following

EATCS @eatcs_secretary

680 Followers 72 Following European Association for Theoretical Computer Science

SIGPLAN-M @SigplanM

1K Followers 409 Following We form long-term cross-institutional mentoring connections in the programming languages community.

The ACM Special Interest Group on Software Engineering provides a forum to discuss principles, practices, and new research results in software engineering.

ACM SIGSOFT @sigsoft

4K Followers 2K Following The ACM Special Interest Group on Software Engineering provides a forum to discuss principles, practices, and new research results in software engineering.

I love to run. I love coding. I love data visualization. At the moment I'm combining those three passions in http://t.co/Sue3gsehsw

Adam Koprowski @akoprowski

67 Followers 27 Following I love to run. I love coding. I love data visualization. At the moment I'm combining those three passions in http://t.co/Sue3gsehsw