@[email protected] @DelftPL
Programming languages research group at TU Delft. This account is no longer active, follow us at https://t.co/l5hJ0MfhxG instead. pl.ewi.tudelft.nl Delft, The Netherlands Joined December 2019-
Tweets19
-
Followers223
-
Following164
-
Likes23
Programming Languages Delft is moving from Twitter to Mastodon. Social media have become too essential in our society to leave in the hands of large companies, so we think it is important to use open and non-commercial systems. So follow us at akademienl.social/@DelftPL! #Mastodon
0
2
3
889
0
View Details
Very happy to announce that our (with Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser and Peter Mosses) paper on "Intrinsically-Typed Definitional à la Carte" (dl.acm.org/doi/10.1145/35…) has been accepted for OOPSLA '22!
@[email protected] retweeted
Today at @DelftPL: Paul van der Stel defends his MSc thesis “Tactics in Agda using reflection”. Supervised by @agdakx & @phittacus. Committee: @wouterswierstra & yt
Hello Twitter !
A commemorative symposium for Eelco Visser will be held on 5 April 2023, on the first anniversary of his untimely passing. More information and a call for papers can be found on symposium.eelcovisser.org. Please help us to spread the word!
Programming Languages is still alive in Delft
English version of my eulogy for @EelcoVisser at his Farewell Ceremony. avandeursen.com/2022/04/15/eel…
Multi-Purpose Syntax Definition with SDF3 An overview paper of SDF3 with @udesou for SEFM 2020 Preprint at eelcovisser.org/talks/2020/09/…
Plenty of time after submitting your POPL paper to prepare application to Delft PL (we also have 5 open salaried PhD student positions).
The Delft Programming Languages group is looking for two Assistant/Associate Professors Deadline for applications is July 15, 2020 pl.ewi.tudelft.nl/hiring/2020/as…
6 days to go to submit your application
The Delft Programming Languages group is looking for two Assistant/Associate Professors Deadline for applications is July 15, 2020 pl.ewi.tudelft.nl/hiring/2020/as…
The Delft Programming Languages group is looking for two Assistant/Associate Professors Deadline for applications is July 15, 2020 pl.ewi.tudelft.nl/hiring/2020/as…
BAPL20: The First Workshop on Build Automation and Programming Languages Co-located with PLDI’20 in London, June 20, 2020 Submission of extended abstracts (2-4 pages) due March 15, 2020 (AoE) pldi20.sigplan.org/home/bapl-2020
Build Automation and Programming Languages (BAPL 2020) ... to explore the interaction of build automation and programming languages in systems for incremental analysis, building, testing, packaging, and deployment of software. At PLDI 2020 Contribute! pldi20.sigplan.org/home/bapl-2020
Also applies to PhD students in PL!
The Delft Programming Languages group is looking for two Assistant/Associate Professors Deadline for applications is July 15, 2020 pl.ewi.tudelft.nl/hiring/2020/as…
PhD/graduate and undergraduate students: our student research competition @programmingconf is a great opportunity to get feedback from experts and a chance to win $500! Submit your 2-page extended abstract by Feb 10 AoE. @TheOfficialACM contributes $500 to your travel expenses!
Delft PL has open PhD student positions in dependently typed programming languages, web programming languages, static and dynamic semantics specification, and software restructurings. pl.ewi.tudelft.nl/hiring/
We have five open PhD positions in programming languages @DelftPL pl.ewi.tudelft.nl/hiring/
First it took me forever to get a website (pl.ewi.tudelft.nl), and now I have a twitter account as well!
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
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Jeremy Siek @jeremysiek
3K Followers 353 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Ron Garcia @rg9119
2K Followers 424 Following Transmogrifies coffee into LaTeX at University of British Columbia
Annibale Panichella @AnniPanic
2K Followers 796 Following Sith apprentice and dark arts supporter. In the spare time, Associate Professor in Software Engineering at @serg_delft, @tudelft and head of the CISELab.
Jacques Carette @jjcarett2
2K Followers 938 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
SIGPLAN-M @SigplanM
1K Followers 398 Following We form long-term cross-institutional mentoring connections in the programming languages community.
Jules Jacobs @JulesJacobs5
1K Followers 3K Following
Simon Fowler @Simon_JF
1K Followers 1K Following Lecturer at @GlasgowCS, working on concurrent functional programming. Now mostly on @[email protected].
Eric Eide @eeide
2K Followers 2K Following Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own • RTs not endorsements • @[email protected]
Asterios Katsifodimos @kAsterios
1K Followers 1K Following All things data systems. Asst. Professor @tudelft.
Sewqua @SewquabdoszD6
46 Followers 4K Following
Thaghi @Thaghi271995
10 Followers 1K Following
Yiyuan Cao @yiiiyuannn
12 Followers 231 Following PhD student in programming languages at Peking University.
Kamel Mohamed @Kamel_Mohamed0
1 Followers 556 Following
Peter de Best @PeterdeBest9791
12 Followers 360 Following
Stefan Marr @smarr
2K Followers 462 Following Interpreters, compilation, concurrency, and debugging tools.
Zhibo @Zhibo_CS
16 Followers 167 Following A researcher at the Informatics School, University of Edinburgh. Research interests are System & Architecture, Compiler and PL
IT Companies Network @itcompanies_net
1K Followers 4K Following Our goal is to bring IT experts and business owners together. We work hard to bring our clients the best options and help them meet their IT and business goals
Burcu Kulahcioglu Ozk... @burcu_at_world
252 Followers 229 Following Assistant Professor in Software Engineering at @serg_delft at TU Delft.
Wouter Swierstra @wouterswierstra
1K Followers 151 Following
Zihao Li @ZihaoLiAoligei
5 Followers 267 Following
guru @guruprerana
198 Followers 651 Following phd student at penn - concerned about all forms of synthesis and verification for autonomous agents
grant mccartney @hotdogontology
551 Followers 1K Following sandwich topology enthusiast. cs phd student. i teach people about math and computer science. sometimes i make tiny video games.
张龙奇 @PDannyZhang
95 Followers 5K Following Jalk Danny Buendía Zhang’s “Personal” account, Off:@ODannyZhang Gonna keep following on @PPDannyZhang
🐘@[email protected]... @cxandru
39 Followers 118 Following Haskell Nix Emacs Rec… Schemes Generic Prog… Cat… Th… Lang… Acquis… Unlearn Patr…chy Vegan Sustainable Skeptic Friend Family Patron Maker 🇪🇺an they/them
Bernardo Pereira @gaudiomoderado
73 Followers 2K Following PhD Student @CentaiInstitute & @PoliTOnews
Vlad Vergu @vvergu
76 Followers 123 Following
Mohammad Hossein Khos... @Mh_khoshechin
294 Followers 897 Following PhD student @ Max Planck Institute for Software Systems (MPI-SWS) /Interested in Formal Verification / Distributed Systems / Concurrency Theory
Matt Teichman @ElucidationsPod
2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒
Arie van Deursen @avandeursen
4K Followers 694 Following Professor in Software Engineering at TU Delft. Opinions are my own. He/him. Mastodon: https://t.co/nvGT1DkusE
J @EremondiJoey
614 Followers 476 Following This account is deprecated. Find me as @[email protected]
Eduardo Souza @udesou
64 Followers 95 Following Brazilian, Computer Scientist, currently working on the Mu MicroVM project (https://t.co/DPVTfga0qy).
Steffen Zschaler @szschaler
622 Followers 617 Following Reader in Software Engineering. MDE, Languages, SE & Theatre. Director @the_mde_network. All views my own and not of @kingscollegelon.
Wilfred Hughes @_wilfredh
4K Followers 3K Following Programming language development, human factors, and a healthy dose of Emacs. Also https://t.co/faGheKDz69 and https://t.co/sqqeQ20uHV
Arpan Agrawal @DontDoCoffeeKid
0 Followers 2K Following
Software Innovation N... @SoftwareInnovNZ
267 Followers 486 Following Software Innovation NZ is the New Zealand software research network. It aspires to bring together software researchers within NZ.
k=ħłœüþŷęŵ qt... @FlatearthI
15 Followers 1K Following
Eric Van Wyk (@ericva... @ericvanwyk
289 Followers 277 Following Professor, Computer Science, University of Minnesota @UMNComputerSci, Extensible Programming Languages, He/His.
Jaime Chavarriaga @JaimeChavarriag
251 Followers 782 Following
Nick Bathum @NBathum
95 Followers 905 Following @[email protected] Permanently relocated to the Fediverse.
Stephen @SAdams601
57 Followers 302 Following Fullstack developer in Amsterdam. Interested in Functional Programming and software reliability and correctness.
four seasons joe (not... @alacqua_joseph
161 Followers 1K Following Husband, Dad, Unnle. MS Comp Sci (yay!). Interests: functional prog, type theory, semantics, and math(s). Retweet politics. Thx @reverentgeek 4 profile pic!
Ganesh Sittampalam @g... @eleganesh
641 Followers 768 Following Interested in politics, #FOI and other things. Work at @xbow.
Francisco Heron de Ca... @heroncarvalhoJR
259 Followers 539 Following Doctor in Computer Science / HPC and Programming Languages / Professor at Universidade Federal do Ceará
Britteny @Britten10799339
13 Followers 886 Following
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
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
Graham Hutton @haskellhutt
9K Followers 695 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
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 location
Derek Dreyer @HerrDreyer
3K Followers 209 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
Loris D'Antoni @lorisdanto
9K Followers 775 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Laurence Tratt @laurencetratt
4K Followers 313 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
Steve Blackburn (@ste... @stevemblackburn
2K Followers 892 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX
Jeremy Siek @jeremysiek
3K Followers 353 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Ron Garcia @rg9119
2K Followers 424 Following Transmogrifies coffee into LaTeX at University of British Columbia
SPLASH Conference @splashcon
3K Followers 285 Following SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2026 #SPLASH26
Alexander Serebrenik @aserebrenik
7K Followers 5K Following Professor Social Software Engineering @TUe_MCS @TUeindhoven 🇳🇱. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him @[email protected]
Annibale Panichella @AnniPanic
2K Followers 796 Following Sith apprentice and dark arts supporter. In the spare time, Associate Professor in Software Engineering at @serg_delft, @tudelft and head of the CISELab.
Jacques Carette @jjcarett2
2K Followers 938 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
The Rocq Prover @CoqLang
2K Followers 54 Following This account is no longer used. Follow us on Mastodon at @[email protected] (https://t.co/YQ7JNBex1u) instead.
EuroProofNet @EuroProofNet
153 Followers 7 Following European Research Network on Formal Proofs (#COSTAction 20111), aimed at boosting the interoperability & usability of proof systems.
Elmer van Chastelet @Elmervc_nl
7 Followers 5 Following
Vlad Vergu @vvergu
76 Followers 123 Following
Eduardo Souza @udesou
64 Followers 95 Following Brazilian, Computer Scientist, currently working on the Mu MicroVM project (https://t.co/DPVTfga0qy).
Jonathan Brachthäuse... @__protected
891 Followers 392 Following Researcher in computer science, all things effects, author of the Effekt language (https://t.co/HrYL6Fvffa), Professor at Uni Tübingen. https://t.co/lvCLTiKbL1
Zeki Erkin @ZekiErkin
460 Followers 147 Following Associate professor in Cyber Security and Privacy at Delft University of Technology
rntz @arntzenius
2K Followers 336 Following Michael Arntzenius irl. PL design, math, calligraphy, &c. ✉️ [email protected] 🐘 @[email protected] 🟦 https://t.co/bdWP4Lq7Td
paulette d. koronkevi... @koronkebitch
3K Followers 330 Following preserving types with @wilbowma at @ubc_spl. former @galois intern, former former @IULuddy undergrad (she/her)
Jorge A. Pérez @PerezJorgeA_
307 Followers 489 Following Fundamental Computing (https://t.co/A74tQNfab9) @univgroningen Software correctness | Concurrency, Logic, Programming Father (x2)
⿻ Audrey Tang 唐�... @audreyt
276K Followers 214 Following 🇹🇼 Cyber Ambassador, 1st Digital Minister (2016-2024) & 🌐 1st 🏳️⚧️ cabinet minister.
Dr Valeria dePaiva @valeriadepaiva
4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Ulf Norell @ulfnorell
600 Followers 95 Following
Sam Lindley @reifyreflect
637 Followers 277 Following
joomy @joomy
4K Followers 972 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
@[email protected] @BetaZiliani
524 Followers 314 Following Leading the development of @CrystalLanguage. Nerd and proud. B ∈ LGTB+ Not using much this account bc the owner of this site went too far, even for a techbro.
Sandro Stucki @stuckintheory
252 Followers 414 Following Computer scientist, programmer, theorist, science geek (he/him).
Matthieu Sozeau @mattam_
236 Followers 85 Following CS researcher @INRIA, #Coq dev, type theory advocate and diletante artist.
Youyou Cong @yuyuchazuke
613 Followers 252 Following Assistant Professor @sciencetokyo_en. I enjoy capturing continuations and composing well-typed music.
Paolo G. Giarrusso @Blaisorblade
2K Followers 1K Following @[email protected] PhD in ProgLang. Formalizing C++ and formally verifying a microkernel-based C++ hypervisor @bedrock_systems — Coq/Scala/Haskell
Richard Eisenberg @RaeHaskCaml
3K Followers 144 Following Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/him
Nadia Polikarpova @polikarn
3K Followers 287 Following Associate prof @ucsd_cse. Building tools for program verification and synthesis.
Bohdan Liesnikov @phittacus
86 Followers 355 Following I moved to mastodon, new profile at https://t.co/ATqGuFy8Na ---- doing a phd in type theory @tudelft. Богдан Лєсніков 🇺🇦 I also go by Dana. he/they.
Software Technology @delftswtech
483 Followers 147 Following Department of Software Technology of the @eemcs_tud faculty. Tweeting about research in Computer Science at @tudelft, and the education of 2500 CS students.
Jules Jacobs @JulesJacobs5
1K Followers 3K Following
Dominique Devriese @DDevriese
27 Followers 10 Following Assistant Professor in Programming Language Techniques for Security
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
Marco Vassena @m_vassena
173 Followers 264 Following Assistant Professor @ Utrecht University Research: PL and Security Hiring PhD students
Niki Vazou @nikivazou
3K Followers 463 Following Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.
Dennis @sourcedennis
41 Followers 167 Following PhD student on binary translation (PL/FM) at @tudelft. Machine code (super)optimization & synthesis, dependent types. Also voxels. he/him
Tom Schrijvers @schrijvers_tom
450 Followers 119 Following Prof. in Programming Languages at KU Leuven, author of "Soar with Haskell"
Burcu Kulahcioglu Ozk... @burcu_at_world
252 Followers 229 Following Assistant Professor in Software Engineering at @serg_delft at TU Delft.
Carolin Brandt 🐳 @laci_noire
697 Followers 707 Following Assistant Professor @ TU Delft Embedding users into how we develop software and automation tools 👩🏽💻↔️🛠️ https://t.co/ramjoz73AG
David Thrane Christia... @d_christiansen
3K Followers 612 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
Alexis King @lexi_lambda
13K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
typer uma @typer_uma
1K Followers 588 Following Software engineer. Functional Scala @ ITV news. PL theory and verified software.
gabby @GabriellaG439
16K Followers 79 Following Author of https://t.co/KlpbciE0Hl, @dhall_lang, and https://t.co/YzieN4kyo2 I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
You might like
Peter O'Hearn
@PeterOHearn12
2K Followers
ECOOP’26 Conference
@ECOOPconf
1K Followers
Pedro Abreu
@p_droabreu0
1K Followers
vollmerm
@ma_vollmer
675 Followers
Manu Sridharan
@rakingleaves
2K Followers
Aviral Goel
@TheAviralGoel
357 Followers
Sam Lindley
@reifyreflect
637 Followers