Eric Rothstein-Morris @FixedPoints
Eternally curious. PhD from SUTD. Loves Math, Computer Science, and sunny days. Germany Joined September 2013-
Tweets174
-
Followers31
-
Following222
-
Likes81
Love this idea! If you are excited about information security, automated verification, and applied crypto, and if you are looking for someone to advise on your research over the next 3 to 5 years, let @CasCremers know. Find his application here: 👇
@henrichpoehls Hopefully Berlin! Details are still nebulous
I will be, for the next four months, learning German at a rather intensive pace; all to fulfil a dream of giving a full presentation or lecture in German
Starting a new research group that explores the Foundations of #Software #Security at the Max Planck Institute for Security & Privacy. Looking for PhDs and Postdocs. DMs open. Please Retweet 👍 Photo of this morning's @ruhrunibochum campus where the MPI-SP is located.
I got my second vaccine shot yesterday! The side effects are definitely more noticeable. I can only be afraid of how harsh the real deal must be...
After listening to the amazing talk on Foundations of Software Testing by @mboehme_, it gives me a hopeful feeling that the quality of Software is really going to increase in the future!
Things to do (eventually) after the wonderful talk by @vardi on LTL: - Learn about Linear Dynamic Logic (LDL) (maybe from here cs.rice.edu/~vardi/papers/… ?) - Read more about the Automated Reasoning Group at Amazon Web Services
Ok, dissertation submitted for evaluation. Now to prepare the presentation :-)
These boxes aren’t moving.
LLVM 12.0.1 has been released! releases.llvm.org/download.html#…
I sit facing the corner of the room, wearing a pointy hat with "Dunce" written on it, and I repeat three times: "vector spaces and vector fields are very different things."
If you are into testing, you should probably check this one out.
Why does greybox fuzzing perform *so* much better than blackbox #fuzzing? 🤔 Explanation in our upcoming @FSEconf paper: mboehme.github.io/paper/FSE21.pdf
Want to learn about machine learning for s/w developers? Software Testing? Analysis? Semantics? Program repair? Check out the @issta_conf / @ECOOPconf Summer School! Awesome speakers, timely topics – and you can attend for free! conf.researchr.org/track/ecoop-is…
The program of the joint Summer School is now finalised. Young researchers will hear about the research conducted in the ECOOP & ISSTA communities from Andreas Rossberg, @clegoues, @mboehme_, Satish Chandra, and @profbodden. Full program: conf.researchr.org/track/ecoop-is… #issta21
Forbidden knowledge
If I was to imagine a conversation with a code assistant like Copilot, I would imagine they would answer like the student here :) youtu.be/7aMcXBsLQLY
Now that Copilot exists, maybe we should do more program synthesis instead of more programming?
Setting goals after graduation: to read a couple of "Test of Time Award" papers in programming languages and software engineering. Now, which should I read first...?
Remember that you can choose who influences you
Programming is the art of directed change
Lena Mabel @MabelLena4180
1 Followers 170 Following Recruiting webshell engineers to penetrate websites, with a monthly salary of up to $100,000. If interested, please contact https://t.co/sd0i518GFK
Sharghis @Sharghis_G7
38 Followers 4K Following
Flavio Toffalini @tregua87
223 Followers 517 Following
Touroa @Touroa195301
48 Followers 1K Following I live alone now and enjoy business, traveling, shopping, food and music. I have a calm personality and I hope we can be friends.
netfox @cyberfox_zzzzz
65 Followers 1K Following Mastodon: [email protected] Bluesky: https://t.co/xYJ0lTkeeI
Roberto Giacobazzi�... @rgiacobazzi
829 Followers 651 Following Professor of Computer Science: Theory of computation, computers, languages and their semantics
Bouchal Lydia @Bouchal_Lydia
0 Followers 60 Following
Chrystopher L. Nehani... @NehanivCL
387 Followers 460 Following Professor, University of Waterloo, Canada. Mathematician/Systems Scientist. Own views. cpx/AL/AI Values-based Currencies. Sanctioned by russia. *Слава Україні*
Marcel Böhme👨�... @mboehme_
7K Followers 1K Following Software Security Group @maxplanckpress PhD @NUSComputing, Singapore Research Group: https://t.co/BRnFNNh6d9
Chris Penner @chrislpenner
21K Followers 17K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonweb
@chrisposkitt.bsky.so... @ChrisPoskitt
556 Followers 785 Following Associate Professor (Education) at Singapore Management University. Software engineering, formal methods, security, and computer science education.
Daniel Firth (Inspect... @locallycompact
1K Followers 796 Following Haskell, Nix, Mathematics @ https://t.co/v3jt0w7n91
Joachim Posegga @DL7JP
282 Followers 111 Following Professor for IT-Security & RF enthusiast. In charge of https://t.co/cpPuxoYhFE and https://t.co/K0GhJXkUx7. Affiliated with https://t.co/a0Mt4Oo51X
QONFEST2020 @qonfest2020
180 Followers 1K Following QONFEST is the umbrella conference comprising the joint international 2020 meetings: CONCUR2020, FMICS2020, FORMATS2020, QEST2020, alongside with many workshops
John H. Castellanos @jhcastel
143 Followers 971 Following Post-doc at @cispa working on Cyber-physical systems security. Before PhD @sutdsg, MSc @Uniandes, BSc @ufpscucuta
The Creature Denn @TheCreatureDenn
55 Followers 1K Following
Jürgen Hecht @juergenhecht
471 Followers 5K Following #Java #SpringBoot #Keycloak #Angular #SQL #AWS #AI #DevOps Diplôme d’Ingénieur en Informatique, Master of Science in Computer Science
Kristopher Micinski -... @krismicinski
7K Followers 4K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Camilo Sp @jcamiloespitia
28 Followers 94 Following Entrepreneur, writer, interested in ideas that change the world. Social change comes through people Paul Watson,
Nicolas Ortiz @Fooltagonist
62 Followers 154 Following Geeky guy who barely tweets. Mostly cause I can't human with just 280. Because I'm dumb.
Henrich C. Pöhls | @... @henrichpoehls
200 Followers 300 Following Security Researcher at University of Passau, Germany. Post-Doc.; Standardization-Expert; Lecturer. The tweets are my personal opinion.
ososolax @ososolax
87 Followers 514 Following
Shopguard Canada @shopguardcanada
206 Followers 1K Following Retail Security Systems, Tablet and Smart Phone Solutions, Interactive Merchandising, Security Tags and Labels
Diva Rubio @DivaPRubio
13 Followers 117 Following
Satapher Groddius @satapher
161 Followers 652 Following
Rafael Méndez-Romero @rafaelmendezro
3K Followers 4K Following Colombian. Ph.D. in MathEdu from @UVa_es. Insane Dreamer. Happy & Proudly Professor at @URosario. (él, su, suyo – he, him, his)
Sebastian Lekies @slekies
3K Followers 426 Following Automated Security Scanning & Vulnerability Management @Google
Scientific Python @SciPyTip
209K Followers 18 Following Tweets about SciPy (Scientific Python) and related topics from @JohnDCook.
JetBrains @jetbrains
214K Followers 54 Following On a mission to make software development a more productive and enjoyable experience. Make it happen. With Code.
Flavio Toffalini @tregua87
223 Followers 517 Following
Thomas Roccia 🤘 @fr0gger_
35K Followers 2K Following Founder @SecurityBreakAI AI Security x Threat Intel · Threat Researcher · Creator of #Unprotect & #NOVA · Python 🧡 · Prev @Microsoft @McAfee_Labs
Kurzgesagt @Kurz_Gesagt
471K Followers 166 Following Sciency videos made with love, a lot of time and after effects.
Colby Keller @colbykeller
213K Followers 6K Following Artist, Sex Activist, Actor. Make #artporn and send it to me. DMs are open. Let’s make a movie 😈💦
Alfonso Casas @alfonso_casas_
51K Followers 110 Following ilustrador y perdedor de tiempo profesional.
MAPEGY @mapegy
257 Followers 149 Following Access trends, startups, competitors, technologies and more - from one source, fully automated and updated constantly 🚀
neural net guesses me... @ResNeXtGuesser
521K Followers 1 Following I pass memes through the ResNeXt neural network. / Follow my creator (or message him for issues like stolen content): @MKVRiscy / submissions closed
Chrystopher L. Nehani... @NehanivCL
387 Followers 460 Following Professor, University of Waterloo, Canada. Mathematician/Systems Scientist. Own views. cpx/AL/AI Values-based Currencies. Sanctioned by russia. *Слава Україні*
ACM Digital Library @ACMDL
9K Followers 1K Following A research, discovery and networking platform from @TheOfficialACM focused exclusively on the field of computing.
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
CACM Editor @blogCACM
3K Followers 553 Following ACM's BLOG@CACM features blogs by some of the leading computer scientists in the world.
FSE 2026 @FSEconf
5K Followers 1K Following ACM International Conference on the Foundations of Software Engineering (FSE)
ACM CCS 2025 @acm_ccs
6K Followers 0 Following ACM Conference on Computer and Communications Security
ICSE @ICSEconf
12K Followers 1K Following The premier International Conference on Software Engineering. April 12-18, 2026. Official hashtag: #icse2026.
RAID Conference @RAID_Conference
1K Followers 57 Following Official account of RAID conference! RAID'25 Info: Gold Coast, Australia - 19-22 October, 2025
Honeycomb Bot @honeycomb_bot
1K Followers 5 Following A twitter bot posting pictures of mathematical honeycombs a few times a week, by @roice713, @henryseg, @neozhaoliang, and @MatthewArcus
llvm.org @llvmorg
11K Followers 7 Following Open source project for compiler infrastructure, tools, and more. Here Be Dragons.
Erik Meijer @headinthebox
36K Followers 0 Following
ISSTA Conference @issta_conf
2K Followers 42 Following The 35th edition of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Impure Pics @impurepics
6K Followers 0 Following No to dysfunctional programming https://t.co/AzKirvGfEQ
Brick Bending @brickbending
2K Followers 142 Following Exploring structure through little plastic bricks Artwork for sale | DM for commissions | Free community on Patreon
Microsoft Dev Docs @docsmsft
44K Followers 2K Following Microsoft technical documentation • We're ready for you at https://t.co/2sA5YRs1kO
Simon Pampena @mathemaniac
19K Followers 4K Following Australian Numeracy Ambassador | Standup Mathematician | Transcendent Nerd | Outrageous Acts of Science | he/him
PL Papers Minus Conte... @PLMinusContext
2K Followers 0 Following All tweets verbatim from PL or PL-adjacent research papers • main: @lindsey • eldritch aesthetic
Cornell Bowers Comput... @Cornell_Bowers
6K Followers 365 Following Cornell Bowers is the new frontier of tech—moving technology, humanity, and society forward as one.
Random Tiling Bot @RandomTiling
2K Followers 0 Following A bot made by @divbyzero using Tracery and Cheap Bots, Done Quick!
The Dowager Countess @theLadyGrantham
46K Followers 1 Following What is a week-end? One is, after all, a parody of oneself.
Internal Tech Emails @TechEmails
594K Followers 891 Following Internal tech industry emails that surface in public records. 🔍
Jay Cummings @LongFormMath
46K Followers 600 Following Math prof. Author of long-form textbooks on proofs (https://t.co/YqXnxDmOe0), real analysis (https://t.co/3IGQ6BIx5Z) & math history (https://t.co/KkXMGTxCDK).
Haskell Weekly @haskellweekly
6K Followers 343 Following Haskell Weekly is a hand-picked weekly digest of Haskell news.
Ningning Xie @xnningxie
4K Followers 307 Following Having fun with types! @UofTCompSci @GoogleDeepMind
Chris Penner @chrislpenner
21K Followers 17K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonweb
Tim Harford @TimHarford
181K Followers 1K Following Author How To Make The World Add Up (UK) / The Data Detective (US). Cautionary Tales podcast. Undercover Economist at the FT. BBC More or Less. Views my own.
ResearchRabbit @RsrchRabbit
30K Followers 4K Following Visual discovery that makes research faster, deeper, and way more fun. 🐇
Communications of the... @CACMmag
9K Followers 1K Following Communications of the ACM, flagship of the Association for Computing Machinery, is a leading publication for the computer science and IT fields.
@chibchacum@mastodon.... @Chibchachum
337 Followers 284 Following Associate Professor of Computer Science and Engineering. University of California, Santa Cruz. Also, on Mastodon: https://t.co/gwjZJZ0yMJ
cesar_sanchez @cesar_sanchez
145 Followers 96 Following Full Professor at the IMDEA Software Institute. Computer Scientist, geek, researcher, programmer. Stanford PhD. Scholar.
CAV @confCAV
788 Followers 0 Following 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @ferhaterata & @frenkel_hadar. Use #cav25
Numberphile @numberphile
175K Followers 141 Following Videos and podcasts by @BradyHaran --- Supported by Jane Street
EthanCecchetti@infose... @EthanCecchetti
637 Followers 286 Following Post-doc, Security+PL Researcher, and Bitcoin Unenthusiast at @CollegeParkMC2/@plumlab | PhD @CornellCIS | Future Asst Prof @WisconsinCS | https://t.co/TQl7BTefLT
Derek Dreyer @HerrDreyer
3K Followers 210 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)You might like
