Daniel Sokolowski
ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@quinnypig.com
Snarkmonger. Chief Cloud Economist at The Duckbill Group. he/him. Get my snarky take on AWS news: http://lastweekinaws.com/t/ Signal: 833-AWS-BILL (833-297-2455)
@fniephaus.com
Research Manager on the @graalvm.org team at Oracle Labs. Graal Languages, Native Image, developer tools, GraalVM developer experience. Previously at Hasso Plattner Institute, Google Colab, and Maton Guitars. Views are my own.
@abhikrc.bsky.social
Professor of Computer Science at National University of Singapore https://abhikrc.com
@lukehoban.com
CTO @Pulumi. Previously EC2 @awscloud, TypeScript, VS Code and C# @microsoft and ECMAScript @TC39.
@jff-dev.bsky.social
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID Web: https://joaoff.com
@rewbert.bsky.social
PhD student in the FP unit at Chalmers, supervised by Koen Claessen John Hughes Bo Joel Svensson
@sigsoft.bsky.social
The ACM Special Interest Group on Software Engineering provides a forum for computing professionals from industry, government and academia to examine principles, practices, and new research results in software engineering.
@lufthansa.bsky.social
Book flights online to worldwide destinations and enjoy a pleasant travel experience in comfort and safety. Look out for great offers and discounts.
@marcbrooker.bsky.social
Serverless, databases, and serverless databases at AWS. Views my own. Check out my blog: https://brooker.co.za/blog/
@prg-grp.bsky.social
Programming Group at the University of St. Gallen - School of Computer Science Prof. Guido Salvaneschi https://programming-group.com
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@dorchard.bsky.social
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling https://dorchard.github.io
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@bartoszmilewski.bsky.social
Physicist, mathematician, programmer. "The Dao of Functional Programming" Regularly updated work in progress. PDF on GitHub: https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@taliaringer.bsky.social
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@fabiomog.bsky.social
A Theoretical Computer Science Passionate :: Associate Professor in Computer Science @ Università degli Studi di Napoli Federico II :: @fabiomog :: @fabiomogavero@mathstodon.xyz :: ORCID: 0000-0002-5140-5783
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@joborgs.bsky.social
Associate prof at Uppsala University in Programming languages Swedish econ through an MMT lens - MMT for Sweden Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭 Private account, he/him, 🌹 🇺🇦 🟣
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@citostyle.bsky.social
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
@yoshuabengio.bsky.social
Full professor at UdeM, Founder and Scientific Advisor at Mila - Quebec AI Institute, A.M. Turing Award Recipient. Working towards the safe development of AI for the benefit of all. Website and blog: https://yoshuabengio.org/
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@matteomaffei.bsky.social
Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@mboehme.bsky.social
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io
@phdcomics.bsky.social
Comics by Jorge Cham: Oliver's Great Big Universe, Elinor Wonders Why, We Have No Idea and PHD Comics
@emeryberger.bsky.social
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/