Leandro T. C. Melo @ltcmelo

ltcmelo.com Joined November 2015

Tweets

0
Followers

8
Following

253
Likes

32

No recent Tweets. New Tweets will appear here.

DorisBetsy @i4fCE7qj29MzLM

145 Followers 3K Following

Toasmod @ToasmodmhEb

79 Followers 3K Following

Douglas Vinícius @doug7_vin

16 Followers 324 Following O temor do Senhor é o princípio do conhecimento,... Pv. 1:7. 📈📊

ZimIrken @Haller2332

2 Followers 1K Following

Zhao Xiaohong @mrluanma

906 Followers 3K Following

Adriano @adrianomvcii

61 Followers 697 Following I like cats and PL’s

Lecturer at @GlasgowCS, working on concurrent functional programming. Now mostly on @simon_jf@mastodon.scot.

Simon Fowler @Simon_JF

1K Followers 1K Following Lecturer at @GlasgowCS, working on concurrent functional programming. Now mostly on @[email protected].

He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. liyao@mastodon.acm.org

Yao Li @lastland0

1K Followers 668 Following He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]

Guannan Wei @GuannanWei

2K Followers 964 Following Assistant Professor in CS @TuftsUniversity; Ex @Inria @PurdueCS; PL/formal methods.

Nervous system educator. Helping you optimize your brain health, build unshakeable self-belief & operate at full capacity. Founder @forgecohorts

Sarah-Brynn Larsen @fearless_rising

33K Followers 775 Following Nervous system educator. Helping you optimize your brain health, build unshakeable self-belief & operate at full capacity. Founder @forgecohorts

Sam Lindley @reifyreflect

638 Followers 276 Following

Roberto Giacobazzi�... @rgiacobazzi

827 Followers 649 Following Professor of Computer Science: Theory of computation, computers, languages and their semantics

Sabine Hossenfelder @skdh

236K Followers 824 Following German Physicist. Author of "Lost in Math" & "Existential Physics". There is no strength in numbers, have no such misconception. rt's are not endorsements

Assistant Professor @ND_CSE (University of Notre Dame). PhD and MS @RITGolisanoCCIS. BSc @UFSOficial.
Areas: Software Engineering, Security, Program Analysis.

Joanna C. S. Santos @joannacss

1K Followers 796 Following Assistant Professor @ND_CSE (University of Notre Dame). PhD and MS @RITGolisanoCCIS. BSc @UFSOficial. Areas: Software Engineering, Security, Program Analysis.

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

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

Please visit https://t.co/7ryiF5kpXm! This account for Google’s high-performance open source JavaScript and WebAssembly engine is now inactive.

V8 @v8js

64K Followers 51 Following Please visit https://t.co/7ryiF5kpXm! This account for Google’s high-performance open source JavaScript and WebAssembly engine is now inactive.

Science-ing at Two Sigma, Professing computery things at CMU. Co-founder & former Exec Director of the Scala Center at EPFL. Past life: artist @ Cooper Union

Heather Miller @heathercmiller

14K Followers 1K Following Science-ing at Two Sigma, Professing computery things at CMU. Co-founder & former Exec Director of the Scala Center at EPFL. Past life: artist @ Cooper Union

Tom Schrijvers @schrijvers_tom

451 Followers 119 Following Prof. in Programming Languages at KU Leuven, author of "Soar with Haskell"

Daniel Hillerström @dhillerstrom

638 Followers 655 Following Effectful programmer. Compiler hacker. Researcher in computer science.

Maria Kechagia @mkechagia

234 Followers 348 Following Assistant Professor of Software Engineering @uoaofficial and Honorary Lecturer @UCL

MPLR @MPLR_Conf

340 Followers 154 Following International Conference on Managed Programming Languages & Runtimes (MPLR'26). Official hashtag: #MPLR26

Dynamic Languages Symposium (DLS) is a place for researchers and practitioners to share results and experience on all aspects of dynamic languages. 👩‍💻👩‍🔬👨‍🔬👨‍💻

Dynamic Language Symp... @dynlangsym

338 Followers 156 Following Dynamic Languages Symposium (DLS) is a place for researchers and practitioners to share results and experience on all aspects of dynamic languages. 👩‍💻👩‍🔬👨‍🔬👨‍💻

A platform for illuminating academic papers. We annotate and share a paper every week. Save, annotate and share papers with anyone: https://t.co/0o2Pls3jmo

Fermat's Library @fermatslibrary

793K Followers 4 Following A platform for illuminating academic papers. We annotate and share a paper every week. Save, annotate and share papers with anyone: https://t.co/0o2Pls3jmo

David Tarditi @davetarditi

238 Followers 119 Following Working on language and tool support for safer systems programming at Apple. All opinions my own.

Professor of Neurobiology and Ophthalmology at Stanford Medicine • Host of Huberman Lab • Focused on science and health research and public education

Andrew D. Huberman, P... @hubermanlab

1.9M Followers 2K Following Professor of Neurobiology and Ophthalmology at Stanford Medicine • Host of Huberman Lab • Focused on science and health research and public education

Well-Typed @welltyped

7K Followers 254 Following The Haskell Consultants

PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Vegan. they/them
Mainly on @cfbolz@mastodon.social

CF Bolz-Tereick @cfbolz

2K Followers 1K Following PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Vegan. they/them Mainly on @[email protected]

Bredt Family Professor of Computer Science and Engineering, @UMich: Security and privacy, election security, and Internet freedom. Co-founded @LetsEncrypt

J. Alex Halderman @jhalderm

12K Followers 613 Following Bredt Family Professor of Computer Science and Engineering, @UMich: Security and privacy, election security, and Internet freedom. Co-founded @LetsEncrypt

RiSE Team @ MSR @RiSE_MSR

928 Followers 47 Following Research in Software Engineering team at Microsoft Research.

Catalin Hritcu @chritcu

684 Followers 602 Following Tenured Faculty at MPI-SP https://t.co/RBM7ZHHQst

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.

ICSE @ICSEconf

12K Followers 1K Following The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.

Mathematics, computer science and logic @RoyalHolloway @Cambridge_CL Other: art, philosophy, society. World citizen. Pacifist. Friend. Own views.

Angeliki Koutsoukou-A... @AngelikiKoutso1

2K Followers 522 Following Mathematics, computer science and logic @RoyalHolloway @Cambridge_CL Other: art, philosophy, society. World citizen. Pacifist. Friend. Own views.

Nadav Rotem @nadavrot

4K Followers 417 Following Engineering director at Facebook. Interested in systems, compilers, ML, performance, and other stuff. 🇮🇱

Bruno Cardoso Lopes @brunosy

324 Followers 208 Following Compiler hacker and experimental guitar enthusiast

Nikhil Swamy @lambdaNik

786 Followers 203 Following

Margo Seltzer @margo_seltzer

1K Followers 68 Following

Principal Cheese Researcher at Microsoft Research. I tweet about cheese, and occasionally formal verification, cryptography (HACL*/EverCrypt), type systems, etc

Jonathan Protzenko @_protz_

876 Followers 391 Following Principal Cheese Researcher at Microsoft Research. I tweet about cheese, and occasionally formal verification, cryptography (HACL*/EverCrypt), type systems, etc

Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!

Ben L. Titzer @TitzerBL

2K Followers 346 Following Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!

The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by Jenna DiVincenzo and @konskallas.

PLDI @PLDI

5K Followers 948 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by Jenna DiVincenzo and @konskallas.

brogician @sivawashere

425 Followers 262 Following you're wrong about programming languages and i'm right

Anders Miltner (@amil... @AndersMiltner

468 Followers 440 Following He/Him. Assistant Professor at Simon Fraser University. Follows PL people. Posts Corgi Pictures.

Research Engineer @galois, previously PhD @umdcs and @plumlab with @michael_w_hicks. Interested in language-based security.

Ian Sweet @completelysound

425 Followers 337 Following Research Engineer @galois, previously PhD @umdcs and @plumlab with @michael_w_hicks. Interested in language-based security.

Marja Hölttä @marjakh

1K Followers 333 Following Working on @v8js

Alastair Donaldson @afd_icl

3K Followers 421 Following Professor of Programming Languages at Imperial College London

Dr. Claire Le Goues @clegoues

3K Followers 1K Following Prof@SCS@CMU. https://t.co/fcjhKkZzHd Posting intermittently and guiltily.

ATP Tour @atptour

1.9M Followers 676 Following 📍Vibing in Asia 🎾 #ItAllAddsUp

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

Association for Compu... @TheOfficialACM

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

gail_murphy @gail_murphy

2K Followers 92 Following UBC CS Professor and Vice-President Research & Innovation and Tasktop Technologies Co-founder

Program analysis, prog. langs researcher. Dedaub co-founder. My crypto/vulnerability activity is on @dedaub, not on this account. DO NOT DM HERE, not checking.

Yannis Smaragdakis @YSmaragdakis

1K Followers 182 Following Program analysis, prog. langs researcher. Dedaub co-founder. My crypto/vulnerability activity is on @dedaub, not on this account. DO NOT DM HERE, not checking.

During the day I hack on cryptographic computing tech at @AWS. PhD in CS (Programming Languages) from @IULuddy. Tweets may reflect the opinion of no one.

Andrew Kent @pnwamk

92 Followers 112 Following During the day I hack on cryptographic computing tech at @AWS. PhD in CS (Programming Languages) from @IULuddy. Tweets may reflect the opinion of no one.

I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean.

he/him

David Thrane Christia... @d_christiansen

3K Followers 605 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him

Scalable Software Security Laboratory (S3Lab)
Work @ CISPA Helmholtz Center for #InfoSec
PhD @NUSComputing, Singapore

S3Lab: https://t.co/jc25AUh2rN

Marcel Böhme👨‍�... @mboehme_

7K Followers 1K Following Scalable Software Security Laboratory (S3Lab) Work @ CISPA Helmholtz Center for #InfoSec PhD @NUSComputing, Singapore S3Lab: https://t.co/jc25AUh2rN

Academic in FM/PL, Diversity in academia (she/ they/ call-by-name; although I’d generally discourage treating humans as pure functions).

Christine Rizkallah @c_rizkallah

363 Followers 314 Following Academic in FM/PL, Diversity in academia (she/ they/ call-by-name; although I’d generally discourage treating humans as pure functions).

Ronghui Gu @RonghuiGu

6K Followers 1K Following @CertiK, @ColumbiaCompSci, and @ShentuChain. Opinions Are My Own.

Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems

Rajeev Alur @RajeevAlur

2K Followers 231 Following Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems

Opinionated Computer arsonist - Clanker Abuser - Tezos baker

ex @trilitech @labosnomades @IRIF_Paris @IMDEA_Software @lccrosario

Germán Delbianco @knayawp

754 Followers 852 Following Opinionated Computer arsonist - Clanker Abuser - Tezos baker ex @trilitech @labosnomades @IRIF_Paris @IMDEA_Software @lccrosario

Official account of ACM Special Interest Group in OPerating Systems (SIGOPS) managed by the team at https://t.co/GpGcuhWTVE

ACM SIGOPS @ACMSIGOPS

3K Followers 429 Following Official account of ACM Special Interest Group in OPerating Systems (SIGOPS) managed by the team at https://t.co/GpGcuhWTVE