Reto Achermann @achreto
Assistant Prof @UBC_Systopia. Former @SystemsGroupETH https://t.co/QeUSmj6CYR retoachermann.ch Vancouver Joined March 2017-
Tweets84
-
Followers214
-
Following165
-
Likes40
The Rust verification tool Verus, developed by a team of researchers including our Dr. Achermann, earned a Distinguished Artifact Award at SOSP ’24. Congratulations to all! ow.ly/E4wv50U9wV1 #Verification #SoftwareDevelopment @achreto @MSFTResearch @UBC_Systopia @ubcscience
#UBC Computer Science is proud to welcome our new faculty member, Dr. Reto Achermann. Read all about his history, what he's working on, and his thoughts on working in the department and living in #Vancouver. cs.ubc.ca/news/2024/10/n… @UBC_Systopia @achreto @UBCNews @UBCScience
Our own Dr. Margo Seltzer is a newly elected Fellow to the Royal Society of Canada. Congratulations Dr. Seltzer! Read article: ow.ly/Gwfz50TeCRP #RoyalSocietyOfCanada #UBC #ComputerScience #WomenInSTEM @UBC_Systopia @UBC @margo_seltzer @UBCNews
I'm serving as the #SOSP24 AEC Chair. We're still looking for artifact evaluation reviewers: sysartifacts.github.io/sosp2024/aec-c… AE is indispensable to Systems Research and is a valuable experience. Grad students and early career researchers welcome! Exp. load: 2 artifacts. Self-nominate!
@NP_tokumei @UChicagoCS @feamster @UBC_Systopia @UBC_CS Welcome to @UBC_CS and @UBC_Systopia
After 2.5 wonderful years @UChicagoCS as a postdoc with @feamster, starting this summer I will be joining @UBC_Systopia @UBC_CS as an assistant professor in magnificent #Vancouver🇨🇦. I'm looking for students interested in Network Security, Online Privacy, and Internet Measurement
I'm honored to receive the recognition as a distinguished reviewer for @ASPLOSConf '24. A big thank you to my fellow reviewers and the program chairs @dantsafrir and Madan Musuvathi! asplos-conference.org/asplos2024/dis…
@CacheMisses @ubcscience @UBC_CS @UBC_Systopia Thank you!
Today I had the honor to receive the @ubcscience Excellence in Service Award for my work as a postdoc in @UBC_CS @UBC_Systopia. Thank you very much for this appreciation.
@db_rumble @ubcscience @UBC_CS @UBC_Systopia Thank you!
@DmitriiUstiugov @tianyin_xu @ubcscience @UBC_CS @UBC_Systopia Thank you, Dimitrii
@margo_seltzer Thank you! It has been and still is my pleasure :)
I'm honored to have received the Faculty of Science Excellence in Service Award at @UBC. A huge thank you to my wonderful colleagues in @UBC_Systopia and @UBC_CS. cs.ubc.ca/news-events/ne…
I'm excited to share that I'll be starting as full professor at Bielefeld University, Germany in March 2024. There will be four PhD openings, the first one on privacy-preserving computer vision is linked below! Apply by Dec. 21: uni-bielefeld.hr4you.org/job/view/2895/…
I am hiring multiple PhD students in my group @UBC_Systopia. If you are interested in working on fault tolerance and distributed systems in the context of real-time, embedded, or CPS applications, apply to @UBC_CS by December 15th.
I'm in the job market looking for faculty positions! My research is on the intersection of operating systems, software verification & synthesis, and hardware models.
@Shaurya_patel Thank you for the kind words, Shaurya! :)
孙琴琴 @QinSun49366
2 Followers 10 Following
Zhuang Ye @yezhuangjms
18 Followers 630 Following
TechOrigins Podcast @Techorigins001
12 Followers 32 Following A podcast run by high school students that explores the history of technology. 💥Our website⬇️
Sneaky_Breeky @Gary_Guan1
47 Followers 463 Following YVR/Aviation/Fusion-Jazz UBC CS🇨🇦 Ripper of the retarded.
Lucy Rose Bennett @lucy8834
5 Followers 133 Following Beauty, balance & bold dreams 💋 Working @ L’Oréal Deutschland Exploring beaches & chasing sunsets ☀️ Fitness keeps me grounded 💪
Huang @MHUANG2004
0 Followers 14 Following
Nausir @Nausir9555
13 Followers 890 Following
Eaglorbooc @Eaglorbooc4023
11 Followers 1K Following
Vijay Chidambaram @vijay_ut
246 Followers 585 Following Professor @utcompsci. Work on all things systems and storage. Lead @utsaslab. Prev: @WisconsinCS. Views my own.
Zachary Tatlock @ztatlock
1K Followers 474 Following Finding nails, building hammers. Prof at UW Allen School (CSE) @[email protected]
Kelly ❤️ @kelly15978
181 Followers 2K Following Small business owner! 🚫 Porn. ☕A cup of coffee, a good book, and a lazy afternoon are the best gifts in life.
Susan Davis @abei11222024
771 Followers 2K Following Every step is a new beginning, every day brings new hope
Anjo Vahldiek-Oberwag... @ovahldy
519 Followers 617 Following Researcher @Intel Labs & adjunct lecturer @TUM DSE, working in Berlin, @mpi_sws/@SIC_saar alumnus
Dimitra Giantsidi @dgiantsidi
185 Followers 516 Following
Charly Wargnier @DataChaz
175K Followers 49K Following Ex @Streamlit @Snowflake Maestro • I write about AI agents, LLMs and automation • My ❤️ is open source • DM for collabs 📩
Telling_It_Like_It_Is @TruthBomb1978
13 Followers 2K Following
Scarlett @Scarlett_lululu
2 Followers 201 Following
Fan @fanisntfan
248 Followers 1K Following CS Ph.D. student @EPFL 🇨🇭 | Previously BS @NYCU_official 🇹🇼 and exchange student @UofIllinois 🇺🇸 Mastodon: https://t.co/S5Lgi27kCK
Sharp @_HuSharp_
79 Followers 308 Following Ph.D. student at @mpi_sws_ https://t.co/B5ZSuRHYDT interested in distributed storage system | database | OS 🍺
v @iavins
13K Followers 2K Following breaking databases @tursodatabase. W1 '21 @recursecenter excited about databases, storage engines and message queues
A T @iDramedy
277 Followers 7K Following
Ned Whitman @othernedwin
779 Followers 8K Following Philosophy, information science, law, security, cryptography, formal methods, math, systems. he/him/his 🧩
Riya Bisht @b1shtream
2K Followers 5K Following accelerating science w autonomous labs @join_ef, ev fellow @mercatus, neuromorphic @CeNSEatIISc, @Lvlupvc,@iiscbangalore @Vicharak_In @CERN @BerkeleyLab
Systopia Lab @UBC_Systopia
284 Followers 26 Following The official twitter account of the Systopia Lab @ UBC Vancouver
senthil kumar @senthilsam28
22 Followers 5K Following
VegetaAvatar @VeGeTaX29
20 Followers 7K Following
UBC Science @ubcscience
13K Followers 1K Following News and events from the Faculty of Science at the University of British Columbia. Also on Bluesky at @science.ubc.ca
Jialin Li @JialinLiNUS
337 Followers 65 Following Assistant Professor at National University of Singapore Co-founder of Hetu Protocol
Ron Garcia @rg9119
2K Followers 424 Following Transmogrifies coffee into LaTeX at University of British Columbia
Naomi Vuong @NaomivuongNv
0 Followers 71 Following
Shithir @ShithirNcqpd95
31 Followers 3K Following
Xin Tang @XinTang288269
171 Followers 512 Following Assistant Professor @UBC, @UBCMSL, and @UBC_CS | PhD from @Harvard and @BroadInstitute | Computational Cell Biology
Mathias Lecuyer @mathias_lecuyer
258 Followers 60 Following Assistant Prof. @UBC_CS, working at the intersection of privacy, ML, and systems.
Yazhuo @Yazhuo11
164 Followers 200 Following Postdoc @ETH_en; CS PhD from @EmoryUniversity; ex-Twitter; ex-Akamai
𝓟𝓱𝓸𝓷𝓰 @NP_tokumei
711 Followers 615 Following Assistant Professor @UBC_CS | Research on Network Security & Online Privacy. I moved to https://t.co/bBafmGRqyl
Ziming Mao @ziming_mao
758 Followers 587 Following CS PhD Student @ UC Berkeley, @BerkeleySky @netsyslab | Yale 23' | @yalenlp, Computer Systems Lab@Yale, TheSys Group@CMU | @skypilot_org, @uccl_proj
René Vincent Jansen @rvjansen
155 Followers 429 Following IT Architect. President, RexxLA. OS archaeologist. @[email protected] Dutch by birth and Aruban through love.
Nick Zhang @NickZha12589841
2 Followers 47 Following
Ragini @Ragini_Gupta6
404 Followers 3K Following PhD @ UIUC l Networks and Distributed Systems | IoT | ML for Systems | Edge Computing
Giorgio Farina, PhD s... @GiorgioFarina96
4 Followers 35 Following ***Computer engineer, researcher*** Topics of interest: Software and Computer Security, Real-time Systems, Data Analytics
Proton Pass @Proton_Pass
34K Followers 20 Following Never worry about passwords again. ⚙️ E2E Encrypted | Open-source | Audited 🧩 Passkeys | Email Aliases | Built-in 2FA Free password manager by @ProtonPrivacy
Vijay Chidambaram @vijay_ut
246 Followers 585 Following Professor @utcompsci. Work on all things systems and storage. Lead @utsaslab. Prev: @WisconsinCS. Views my own.
Zachary Tatlock @ztatlock
1K Followers 474 Following Finding nails, building hammers. Prof at UW Allen School (CSE) @[email protected]
Thaleia Dimitra Douda... @ThaleiaDimitra
719 Followers 478 Following Assistant Research Professor @IMDEA_Software. Computer Systems x Machine Learning. PhD @gatech_scs. Undergrad @ecentua.
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Anjo Vahldiek-Oberwag... @ovahldy
519 Followers 617 Following Researcher @Intel Labs & adjunct lecturer @TUM DSE, working in Berlin, @mpi_sws/@SIC_saar alumnus
Soujanya Ponnapalli @Ponnapalli95
282 Followers 320 Following Postdoc at UC Berkeley | PhD from UT Austin | IIIT-H alumna Working on blockchains, distributed systems, key-value stores, and data structures.
Dimitra Giantsidi @dgiantsidi
185 Followers 516 Following
TU München @TU_Muenchen
54K Followers 485 Following Tweets from the TUM web communications team Legal notice: https://t.co/wFLNHbI8qf Follow us on Bluesky: https://t.co/ddZXDIPTyR
Ron Garcia @rg9119
2K Followers 424 Following Transmogrifies coffee into LaTeX at University of British Columbia
𝓟𝓱𝓸𝓷𝓰 @NP_tokumei
711 Followers 615 Following Assistant Professor @UBC_CS | Research on Network Security & Online Privacy. I moved to https://t.co/bBafmGRqyl
Heidi Howard @heidiann360
7K Followers 596 Following Distributed Systems Researcher, Azure Research (Microsoft)
Nature is Amazing ☘... @AMAZlNGNATURE
6.3M Followers 54 Following Animals 🐿️ Nature 🦋 Discovery 🦖 📧 submit clips & inquiries to [email protected]
Nadia Polikarpova @polikarn
3K Followers 287 Following Associate prof @ucsd_cse. Building tools for program verification and synthesis.
EPFL School of Engine... @EPFLEngineering
4K Followers 382 Following The official account of EPFL's School of Engineering.
Yizhou Shan @Yizhou_Shan
536 Followers 2K Following Research Scientist at Huawei Cloud. PhD from @ucsd_cse.
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.)
Soo Yee @s00y33
96 Followers 111 Following
MPI-SWS Operating Sys... @OSGroupSWS
340 Followers 106 Following We are the Operating Systems research group at @mpi_sws_ in Germany. We do systems research for the post-Moore era at the intersection of software and hardware.
EPFL Computer and Com... @ICepfl
5K Followers 538 Following EPFL School of Computer and Communication Sciences (IC) - Swiss Federal Institute of Technology Lausanne / Ecole polytechnique fédérale de Lausanne
Max Planck Institute ... @mpi_sws_
890 Followers 261 Following We study the principles of efficient, dependable, secure, and usable computing systems.
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Wenqi Jiang @WenqiJiang2
144 Followers 769 Following PhD Student in Computer Science @ETH Zurich Data Management | Computer Architecture | Computer Systems https://t.co/lluT8op3ox
Loris D'Antoni @lorisdanto
9K Followers 776 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Marios Kogias @MariosKogias
579 Followers 591 Following Assistant Professor @ICComputing, visiting researcher @MSFTResearch
IRCC @CitImmCanada
1.2M Followers 292 Following Immigration, Refugees and Citizenship Canada Questions? Contact us via Facebook: https://t.co/mycfIsonhC Terms: https://t.co/lYG1KVcQMI Français: @CitImmCanFR
Dejan Milojicic, HPE ... @dejanm
736 Followers 436 Following HPE Fellow and VP at Hewlett Packard Labs, Milpitas, CA. PhD, IEEE Fellow. #IEEE #IndustryEngagement #Innovation
U of T Department of ... @UofTCompSci
9K Followers 2K Following The Department of Computer Science at the University of Toronto @UofTArtSci | @UofT
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
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]
Erika Hunhoff @hunhoffe
64 Followers 110 Following Computer Science Ph.D. Student at University of Colorado Boulder. Interested in serverless, networking, operating systems, rust. Opinions are my own. She/her.
Eddie Kohler @xexd
2K Followers 379 Following Ass, Professor. Gay. “Wow, A+++ would rely on the services of Eddie "Monkey Bounty Hunter" Kohler again” —@moyix. They (or he)
Marc Brooker @MarcJBrooker
25K Followers 749 Following Distinguished engineer at AWS. AI, agents, databases, and serverless. Views are my own.
Maria Christakis @mchri5taki5
674 Followers 317 Following professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!
GitHub @github
2.7M Followers 333 Following The AI-powered developer platform to build, scale, and deliver secure software.
Arvind Krishnamurthy @arvind_uw
1K Followers 536 Following Professor @uwcse, Networks and distributed systems
Akshitha Sriraman @AkshithaSriram1
3K Followers 203 Following Assistant Professor @CMU_ECE & @SCSatCMU. PhD from @UMichCSE. Research in Software Systems & Computer Architecture. (she/her)
Malte Schwarzkopf @ms705
2K Followers 245 Following Computer systems researcher in the ETOS group (https://t.co/hqizZy6JF8), @BrownCSDept; previously @MIT_CSAIL, @Cambridge_CL. || @ms705 on BlueSky
Davanum Srinivas @dims
8K Followers 2K Following #OpenSource Person, Principal Engineer for Nvidia. He/Him.
Neeraja Yadwadkar @NeerajaJY
2K Followers 154 Following Asst. Prof @utexasece, Past: Researcher @VMwareResearch, Postdoc @Stanford CS, PhD @Berkeley_EECS I work on cloud computing systems and ML.
SOSP Conference @sospconf
739 Followers 25 Following The ACM Symposium on Operating Systems Principles is the world's premier forum for researchers, developers, programmers, and teachers of computer systems.
Mathias Payer @gannimo
8K Followers 383 Following Securitatis inquisitor and professor at @EPFL_en leading the #HexHive 🐝 group, focusing on system/software security. @[email protected] (he/him)
Yiying Zhang @yiying__zhang
2K Followers 158 Following Founder and CEO of GenseeAI, Associate Professor of Computer Science at UCSD. LLM serving, AI Workflows, Agents
PHD Comics @PHDcomics
316K Followers 79 Following Life (or the lack thereof) in Academia, by Jorge Cham (Oliver's Great Big Universe, Science Stuff podcast, @ElinorWonders) https://t.co/cMwdi2cQrl
Rodrigo Fonseca @rodrigo_fonseca
1K Followers 492 Following @[email protected] on mastodon. Sr Principal Research Manager at Azure Research; Adjunct Associate CS prof, Brown; RT does not mean endorsement. Views my own.















