Tiago Cogumbreiro @AssertionError
Assistant professor @ https://t.co/5WKobeiXRr | Programming languages, concurrency, and verification. he/his cogumbreiro.github.io Boston Joined May 2014-
Tweets131
-
Followers47
-
Following140
-
Likes140
Work with us! Assistant prof position - Fundamental Computing group @univgroningen @BernoulliInsti2 Focus: Theoretical Computer Science (broadly construed) Tenure-track position w 60% teaching/30% research/10% organization Apply by January 8: shorturl.at/imSX5 Pls RT!
As a senior software engineer working on complex topics like GPU acceleration, the code I copy and paste off the internet without understanding is much more obscure and sophisticated than the code that junior developers copy and paste off the internet without understanding.
One week to apply for a postdoc with us! A unique opportunity for Early Career Researchers looking to conduct independent research in the best Computer Science research unit in Portugal.
Join us for a #postdoc in one or more of these areas: #a11y #ArtificialIntelligence #Bioinformatics #digitalhealth #CyberPhysicalSystems #CyberSecurity #hci #IoT #KnowledgeScience #networks #programminglanguages #SoftwareEngineering RTs welcome! More info⬇️
According to Erik Meijer - this is the best book ever on Functional Programming
@jer_gib The *best* book ever written on Functional Programming ... doc.lagout.org/programmation/…
henblocks.github.io , by Bernard Boey, is a Blocky implementation for @CoqLang . At #ICFP2022 , Bernard got the first prize in the undergraduate student competition, congrats!
FME Teaching Committee's next tutorial "Teaching Formal Methods and Theoretical Computer Science with ProB" 30th of Sept 2022 @ 3pm CEST Speaker: Michael Leuschel (Heinrich-Heine-University Düsseldorf, Germany) More information can be found here: tinyurl.com/ynedkt8z
Reminder: NJPLS deadline for talk proposals is approaching!
Please join us for NJPLS at UMD on Friday, Oct 21st, 2022! njpls.org/oct22.html Interested in giving a talk on PL/Systems topics (broadly construed), submit a talk proposal in the following form: forms.gle/389Ei4oSPa8UMh…
APE for OCaml seems like a neat idea: github.com/dinosaure/espe…
We are looking for well rounded individuals with exposures to both theory and implementation. We are particularly interested in effect handlers and probabilistic programming. If you want to know more drop me a direct message.
We're hiring Principal Scientists at @galois specializing in programming languages slash formal methods! (Please retweet/share.) I've been here about 2 years now and am loving it. Happy to elaborate and/or answer questions via email, DMs, or on a call. galois.com/careers/princi…
FSM: a Domain Specific Language (DSL) designed to construct and manipulate state machines and their grammars. morazanm.github.io/fsm/index.html #CompSci
Teaching simple constructive proofs with Haskell programs. ~ Matthew Farrugia-Roberts, Harald Søndergaard. wiki.tfpie.science.ru.nl/images/7/75/Fa… #Haskell #FunctionalProgramming
A survey on teaching and learning recursive programming. ~ Christian Rinderknecht. infedu.vu.lt/journal/INFEDU… #CompSci #Teaching
Autoformalization with LLMs in Lean! @zhangir_azerbay and Edward Ayers built a chat interface to formalize natural language mathematics in Lean: github.com/zhangir-azerba… Very impressive work!
If you want to know what checking models 🔎 means in computer science, check out my short intro 📽️ at the @valu3s_project. #modelchecking youtube.com/watch?v=tU_aOy…
New blog post: What Makes a Good Research Proposal? tratt.net/laurie/blog/20…
Hashlog: A simple datalog in OCaml. ~ Philip Zucker (@SandMouth). philipzucker.com/hashlog-1/ #OCaml #Datalog
Formalising Gödel's incompleteness theorems, I. ~ Lawrence C. Paulson (@LawrPaulson). lawrencecpaulson.github.io/2022/05/18/For… #ITP #IsabelleHOL #Logic #Math
As a young aspiring scientist, social media is one of the outlets to disseminate your work and connect to the community. Today at the @ICSEconf new faculty symposium, I gave hints on the benefits and risks of science on social media. Slides here: slideshare.net/andreas.zeller…
The APLAS'22 Artifact Evaluation Committee is looking for reviewers to join us in bettering the quality of research in our field. If you want to be involved with examining state-of-the-art research then please apply! 2022.splashcon.org/track/aplas-20… Spread the Word!
Caffi @Caffi541922
99 Followers 7K Following A strong woman is one who is determined to do what others are determined not to do.
Marco Carbone @carbonem
58 Followers 77 Following
Rose Bohrer @rose_bohrer
429 Followers 597 Following Asst CS Prof at WPI. Interdisciplinary from PL/FM/CPS to HCI and games. 🏳️⚧️(she/her) EN/中文
Patinnn @saccomoney
187 Followers 2K Following It's alright to want to dream, it doesn't mean reality is mean.
Leif Andersen @LeifAndersen
769 Followers 282 Following Working on Interactive Syntax at UMass Boston.
Carla Barreiros @cbarreiros0026
5 Followers 106 Following
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
roadside_picnic @poadside_ricnic
9 Followers 2K Following
João F. Ferreira @jff
988 Followers 711 Following Computer Scientist / CS Prof at University of Porto / Researcher at INESC-ID (@InescID) / Coding with https://t.co/IRUJxE7E9D (@codesetai)
Cecília Soares @CecliaRSoares
2 Followers 4 Following
Lena @Lena_MJL
22 Followers 62 Following
Alcides Fonseca @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
Duc-Than Nguyen @_thannd
191 Followers 514 Following Interested in Programming Languages & Formal Verification (he/him)
Alireza Farhadi @AlirezaTCS
54 Followers 5K Following دع التکاسل تغنم فقد جری مثل که زاد راهروان چستی است و چالاکی
Joao Alegria @JoaoRafaAlegria
157 Followers 1K Following
Iris Ma @iris_ma14
111 Followers 891 Following PhD Student @UCIrvine under @cristalopes | #SE | #LLM4Code | program verification
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Colin Gordon of Masto... @csgordon
1K Followers 3K Following CS prof at Drexel. (He/him). Now mostly on Mastodon at @[email protected] and @[email protected] and @[email protected]
Jorge A. Pérez @PerezJorgeA_
305 Followers 489 Following Fundamental Computing (https://t.co/A74tQNfab9) @univgroningen Software correctness | Concurrency, Logic, Programming Father (x2)
Reid Atcheson @reidatcheson
1K Followers 3K Following I like numerical analysis, linear algebra, computational math generally! Disclaimer: Everything I say is probably wrong. Take seriously at your own peril.
Cynthia Wood @CynthiaWood27
60 Followers 471 Following
Julien Lange @julienlange
130 Followers 266 Following London-based academic. Interested in all concurrency-related things, theory and applications (e.g. #golang).
David J. Pearce @whileydave
1K Followers 3K Following [email protected] | Formal Verification, Compilers & Static Analysis | @WhileyLang | Researcher in Smart Contracts @ConsenSys | Opinions are my own.
Gustavo Carneiro @gjcarneiro
211 Followers 409 Following
Miguel Azevedo @mlaz0xff
152 Followers 980 Following @apache_mynewt developer | @TheASF committer | OpenSource enthusiast | opinions = my own
Mauricio Sousa @vivaomauricio
633 Followers 4K Following Associate Professor @keio_kmd, KMD Embodied Media / Cybernetic being under JST Moonshot Program. ex-Reality Labs, Meta. ex-postdoc DGP @UofT. I read comics.
Apacheco @apacheco0
35 Followers 939 Following
Bernardo Toninho @bernpton
287 Followers 750 Following Associate Professor at @FCTNOVA doing research on PL / Type Theory / Concurrency. Formerly at Imperial College London. All opinions expressed here are my own.
Rita Soares Leiria @RitaSolei
3 Followers 15 Following
pmpfe @pmpfe
23 Followers 56 Following
Tiago Reis @tiagoreisrasta
6 Followers 35 Following
Dominic Orchard @dorchard
2K Followers 676 Following Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
Nicholas Ng @nicholascwng
362 Followers 661 Following Finance software engineer at @monzo 🏗️🏦 Past: multiparty session types, concurrency research @ICComputing 👨🔬 🇭🇰🇬🇧🇪🇺 #COYS
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
ALESSANDRA MACEDO @ALESSANDRA_SZM
65 Followers 251 Following
Andreia Pacheco @andreiaspacheco
43 Followers 138 Following
Diogo Serrano @diogopms
322 Followers 1K Following Engineering Product Manager @ AiFi & Fullstack Engineer https://t.co/nowZb8cYL2 • https://t.co/HC1sesDfXw
Sarita @sarita1311
3 Followers 27 Following
Miguel Pironet @pironet
68 Followers 512 Following Filho, irmão, marido e pai Benfiquista Açoriano Engenheiro Informático Treinador de Futebol de Formação Fotógrafo (nas pouquíssimas horas vagas)
Deepak Majeti @majetideepak
121 Followers 146 Following I build tools that process big data and compute. I am currently working on Velox and Prestissimo.
Leif Andersen @LeifAndersen
769 Followers 282 Following Working on Interactive Syntax at UMass Boston.
NortheasternU PRL @neu_prl
620 Followers 54 Following Programming Research Laboratory, WVH 308 & WVH 330, @KhouryCollege @Northeastern. (tweets by PRL students)
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Emilio J. Gallego Ari... @ejgallego
509 Followers 763 Following Research Engineer @ Lean FRO. ejgallego @ https://t.co/omifD2hrhR / https://t.co/ZmOOsqM0fP
Kia Teymourian @KiaTeymourian
82 Followers 255 Following #Database #DataStreamProcessing #ComplexEventProcessing, #DistributedEventBasedSystems https://t.co/eWO0KhEoUN
Framework @FrameworkPuter
119K Followers 245 Following Remaking consumer electronics to respect people and the planet. 💻🪛 For support visit https://t.co/OcUxJ6ebU3
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Galois @galois
6K Followers 652 Following Galois applies cutting edge computer science and mathematics to solve difficult technological problems.
Sam Lindley @reifyreflect
638 Followers 277 Following
PL Papers Minus Conte... @PLMinusContext
2K Followers 0 Following All tweets verbatim from PL or PL-adjacent research papers • main: @lindsey • eldritch aesthetic
Marco Carbone @carbonem
58 Followers 77 Following
Benedikt Ahrens @benedikt_ahrens
85 Followers 52 Following PhD in mathematics from Université Nice Sophia Antipolis Assistant Professor at Delft University of Technology Birmingham Fellow at University of Birmingham, UK
Ulrik Buchholtz @UlrikBuchholtz
411 Followers 198 Following Dane (he/him); mathematics, logic, and computer science; assistant professor at the University of Nottingham
Adrian's Digital Base... @craig1black
9K Followers 108 Following Adrian Black and general nerd, creator of Adrian's Digital Basement, and fan of computers of the 70s and 80s.
João F. Ferreira @jff
988 Followers 711 Following Computer Scientist / CS Prof at University of Porto / Researcher at INESC-ID (@InescID) / Coding with https://t.co/IRUJxE7E9D (@codesetai)
José Proença @simpple
127 Followers 100 Following Senior Researcher @ CISTER. Formal methods. Concurrency & Coordination. Software engineering.
The Cave @VisitTheCave
23K Followers 2K Following The Cave is a vintage Computer and Console museum in Stroud, UK. Social media is now at https://t.co/O9Nfh25zpO
Hank Green @hankgreen
1.5M Followers 1K Following
OCaml @OCamlLang
5K Followers 18 Following OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety.
OCamlPro @OCamlPro
2K Followers 85 Following OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
Mark Harris @harrism
4K Followers 168 Following Software Engineer at NVIDIA. Views expressed are my own, not necessarily NVIDIA's. Software leader; developer; miller; builder; brewer; verber.
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
Lean @leanprover
11K Followers 50 Following Lean is a dependently-typed programming language and theorem prover.
System76 @system76
89K Followers 2K Following We make powerful Linux computers and Pop!_OS to help you do more, go further, and unleash your potential. Manufacturing in Denver, CO.
Alcides Fonseca @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
EasyChair @WeEasyChair
303 Followers 1 Following #EasyChair is a conference management system that is flexible, easy to use, and has many features to make it suitable for various conference models.
〚Dan R. Ghica〛 @danghica
1K Followers 291 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
Vinod Grover @vinodg
5K Followers 1K Following Sr Distinguished Engineer @nvidia. Compilers, CUDA C++, PL, Machine Learning and Systems. tweets and opinions are personal.
Gradescope @gradescope
1K Followers 359 Following Grade in half the time. Our #grading workflow saves you time while simplifying effective feedback for students. Get in touch at [email protected]. #edtech
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
CS Faculty Jobs @csfacultyjobs
5K Followers 1 Following Faculty jobs in Computer Science worldwide. Mostly automated. Mention/DM openings & we'll retweet. Created by @emilianoucl, now run by @shaddih
Duc-Than Nguyen @_thannd
191 Followers 514 Following Interested in Programming Languages & Formal Verification (he/him)
jsysresearch @jsysresearch
1K Followers 35 Following The Journal of Systems Research (Jsys), a new diamond open-access journal. No fees for authors or readers, rapid reviewing, revisions, and more!
Iris Ma @iris_ma14
111 Followers 891 Following PhD Student @UCIrvine under @cristalopes | #SE | #LLM4Code | program verification
Marques Brownlee @MKBHD
6.1M Followers 483 Following Web Video Producer | ⋈ | Pro Ultimate Frisbee Player | Host of @WVFRM @TheStudio
Rust Language @rustlang
153K Followers 2 Following A programming language empowering everyone to build reliable and efficient software. ** This account is no longer active. Follow us on other platforms! **
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
POPL 2027 @poplconf
3K Followers 277 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Maxico City, Mexico, 10-16 January 2027 (#POPL2027).
Kuldeep S. Meel @ksmeel
2K Followers 315 Following Associate Professor at Georgia Tech and University of Toronto (On Leave). https://t.co/Cm8BZMIOqc Automated Reasoning | Formal Methods + AI
Tyler Hoover @HooviesGarage
48K Followers 142 Following Slave to my cars, YouTuber, used to write some stuff, Car ISSUES, Barrett-Jackson TV sideshow act.
Doug DeMuro @DougDeMuro
190K Followers 137 Following I make YouTube car videos (https://t.co/ZlfATUKpOs) and I run @CarsAndBids.You might like
