Maryam Masoudian @mrymsdn
PhD student in CSE HKUST. Interested in program analysis, formal methods, logic, swimming, hiking 😉 Love Nature 🏕️ Tehran, Iran 🌍 Hong Kong 🌏 Joined May 2018-
Tweets76
-
Followers54
-
Following306
-
Likes828
Jeff Dean, Google's Chief Scientist, tells a student what it's like to be a computer scientist. v/@JeffDean
🚀 I’m excited to announce Stanford Graph Learning Workshop 2025, happening Tuesday, October 14, 2025 at @Stanford University (with online livestream). Free registration! Submit a talk/poster. 📍 This year’s workshop will spotlight three fast-moving frontiers in AI & data…
"Nearly everything is really interesting if you go into it deeply enough." -- Richard Feynman
What does “Evacuate Tehran” even mean? Tehran is home to 10 million human beings — it holds the country’s critical infrastructure, hospitals, government institutions, kindergartens, primary schools, universities, laboratories, homes, prisons, factories, industrial zones…
I wish I was back at home with my family during these days ...
Israel has shown time & again that nothing threatens it more than diplomacy and peace. Its latest cowardly act of aggression & terrorism against residential areas in Iran--on the eve of negotiations-- illustrates that this regime is the gravest threat to regional & globalPeace
Israel, the only country in the Middle East with nuclear weapons which is currently committing a genocide against Palestinians, is bombing Iran to start a war and sabotage U.S.-Iran diplomacy. The definition of a rogue state.
📢 CySeP 2025 registration is open! Take advantage of the early registration, and the very low fees. As always and most important, enjoy top-notch seminars. cysep.conf.kth.se #CySep2025 #cybersecurity #privacy #computersecurity #informationsecurity #summerschool #coursework
Zhou's ranking of 2024 top cybersecurity conferences released -- jianying.space/conference-ran… No change: IEEE S&P has always been ranked #1. Biggest change: PETS is back, which was not in due to missing of citation data. Common fact: all of them are very competitive.
Very comprehensive survey. LLMs are reshaping programming activities. Also welcome to star my repo and mark another paper list: github.com/wcphkust/LLM-P…
Very comprehensive survey. LLMs are reshaping programming activities. Also welcome to star my repo and mark another paper list: github.com/wcphkust/LLM-P…
بیش از ۴۰ هزار نفر در دورهی یادگیری ماشین دانشکدهی مهندسی کامپیوتر دانشگاه شریف ثبتنام کردند. ۹۳.۷٪ ثبتنامکنندگان از ایران و مابقی از فارسیزبانان سایر کشورها هستند. از ساکنان ایران، ۴۵.۸٪ از تهران و ۵۴.۲٪ از سایر استانها هستند. امیدوارم قدم موثری برای آیندهی ایران باشد.
بیش از ۴۰ هزار نفر در دورهی یادگیری ماشین دانشکدهی مهندسی کامپیوتر دانشگاه شریف ثبتنام کردند. ۹۳.۷٪ ثبتنامکنندگان از ایران و مابقی از فارسیزبانان سایر کشورها هستند. از ساکنان ایران، ۴۵.۸٪ از تهران و ۵۴.۲٪ از سایر استانها هستند. امیدوارم قدم موثری برای آیندهی ایران باشد.
Great advice for surviving PhD + one more I share ... Keep in touch with your friends and colleagues ... And if you found any of them are ill-minded, jealous, or toxic, just throw them to the rubbish bin ... Then, take care of yourself more ♥️ And keep moving forward 💪
Great advice for surviving PhD + one more I share ... Keep in touch with your friends and colleagues ... And if you found any of them are ill-minded, jealous, or toxic, just throw them to the rubbish bin ... Then, take care of yourself more ♥️ And keep moving forward 💪
Choose who you work with wisely and with open eyes!
Choose who you work with wisely and with open eyes!
You must not be afraid of your uniqueness and you must care less and less what people think of you. You have no responsibility to live up to what other people think you ought to accomplish. I have no responsibility to be like they expect me to be.
Want to remember every paper you read and be the most well-read person in the room? Here is how you can do it: 📚1. Read only two papers a day, slowly Everyone tries to use AI to read faster. Science is doomed if we all do this, instead read slower! Savour the paper,…
“Women will not give up. We are fuelled by a will to survive, whether we are inside prison or outside." Imprisoned 2023 Nobel Peace Prize laureate Narges Mohammadi has helped ensure the protests related to Mahsa Jina Amini's killing have not ebbed. #NobelPeacePrize
The Devil's Guide to Incremental Research In the past years, I have noticed a number of "recipes" for scientific papers – patterns that maximize the number of publications despite limited significance. To raise awareness for these recipes, we have to name them. Enjoy! (1/18)
This is so exciting!! Women in Compilers & Tools Meetup series is starting next month. 🎉
This is so exciting!! Women in Compilers & Tools Meetup series is starting next month. 🎉

Xiangzhe Xu @XiangzheX
202 Followers 396 Following Ph.D. student @PurdueCS. 2025Intern at @MSFTResearch. I do research that helps developers—from pros to vibe coders to agent builders.
Jovani Goldner @GoldnerJov6099
109 Followers 4K Following
farzad hasanvand @farzadhss
263 Followers 590 Following #NaturalLanguageProcess #ReinforcementLearning #Python #Rust
CyberSecurity and Pri... @cysep1
157 Followers 58 Following The CyberSecurity and Privacy (CySeP) event brings to Stockholm prominent experts from academia and industry. Organised by @NetSysSecKTH.
Jing Liu @fuzzjing
276 Followers 717 Following PhD student @UCIbrenICS ➡️ #MPI_SP @maxplanckpress | @summerofbitcoin '22 | btw I use Arch
Teycressl @TeycressloTROj
4 Followers 82 Following
soaphorn seuo @soaphornseuo
3K Followers 7K Following
Mohammad Hossein Khos... @Mh_khoshechin
286 Followers 914 Following PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @[email protected]
Andy Gordon @AndrewDGordon
2K Followers 996 Following Computer scientist focused on AI & HCI, esp programming languages. Science advisor at Cogna and Evara AI. Ex partner at Microsoft. Honorary prof at U Edinburgh.
Henry Chu @henryhchchc
125 Followers 174 Following aka. Hengcheng Zhu | PhD student @HKUST | Software Engineering Researcher & Hacker | https://t.co/QKsKn71i6Z
Ryan Cai @ryancaicse
43 Followers 87 Following A researcher interested in applying program analysis and verification techniques to ensure software reliability and security.
Shuai Wang @wangshuai901
1K Followers 1K Following Associate Professor in CSE at HKUST | Software and Systems Security | Reverse Engineering | AI (LLM) Security and Privacy
Mostafa Faizi @MostafaFai12058
3 Followers 116 Following
Heqing Huang @HeqingHuang66
104 Followers 81 Following Assistant Professor in @CityUHongKong. I am focusing on software security and programming analysis.
Jiasi Shen @shenjiasi
602 Followers 413 Following Assistant Professor @HKUST CSE. Programming languages, software engineering. Previously @MIT_CSAIL @PKU1898.
مهندس سابق �... @deadman67264369
127 Followers 626 Following
XFILTRATE for Infiltr... @xfiltratecon
59 Followers 459 Following The original offensive information security conference is coming back to the beach... Did you miss us?
Lili Wei @LiliWei_SE
512 Followers 237 Following Assistant Professor at ECE McGill, focusing on program analysis, testing and mining code repositories
Shodan @shibababibaba
384 Followers 5K Following
Benjamin Timon @bentimon
225 Followers 851 Following @Ledger Institutional Digital asset custody @Ledger_Business. Cryptography & Hardware security. Previously Security engineer @eshard
Anjuna @anjuna_security
935 Followers 560 Following Run Your Workloads With Complete Data Privacy ⎮ Simplifying enterprise #data and #cloud security ⎮ Member of @ConfidentialC2 ⎮ #ConfidentialComputing
Qingkai Shi @QingkaiS
156 Followers 191 Following PhD @HKUST, Technical Expert @AntGroup, Postdoc @PurdueCS, Associate Professor @NJU
رِی @l2eyhaneh
38 Followers 272 Following
Linghui Luo @LinghuiLuo
484 Followers 292 Following my personal account only represents my personal opinions
Jubi Taneja @jubitaneja
2K Followers 2K Following Working at @RiSE_MSR, @MSFTResearch. Ph.D. @UtahSoC | ML compilers, Formal Verification, AI for Compilers
Dr. Gabriela Karoline... @GabiKMichelon
255 Followers 185 Following PhD in Computer Science, JKU Linz - Austria. Currently a Software Engineer, Marquardt - Germany.
Kristopher Micinski -... @krismicinski
7K Followers 3K Following As of ~Sep '25, I have moved off Twitter, email me for personal thoughts ([email protected]). Tweets do not represent *anyone's* views, especially mine.
fmohsen @fmohsen
60 Followers 108 Following
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.
Gang Fan @fangang190
18 Followers 117 Following
Mahmoud Aghvami @aghvamipanah
131 Followers 841 Following Ph.D. Student at Sharif University of technology, IoT Privacy researcher at Data Network Security Lab. Blockchain Enthusiast at @DecentralLab.
PLDI @PLDI
5K Followers 974 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by Jenna DiVincenzo and @konskallas.
Ian Sweet @completelysound
441 Followers 344 Following Research Engineer @galois, previously PhD @umdcs and @plumlab with @michael_w_hicks. Interested in language-based security.
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Shao @163Zhangysh1995
107 Followers 246 Following 👨🏻💻I found a job in Japan and work part-time now! (Retweets & Likes are bookmarks) && (Opinions are my own)
ais.eth @aisconnolly
2K Followers 1K Following Privacy, ZK, MPC at @TACEO_io. Prev. Research Scientist @dfinity, PhD in Cryptography @ens_ulm. Also find me at https://t.co/5RpSsKRLH3
Luis @luis_psi
2K Followers 3K Following Concebir o tratar de imaginar la cruda inmensidad del universo es para enloquecerse lentamente...
Elissa M. Redmiles, P... @eredmil1
8K Followers 6K Following Faculty @Georgetown, Faculty Assoc. @BKCHarvard Digital security, privacy, intimacy, labor Prev @mpi_sws_ @MSFTresearch @Meta @umdcs @nsfgrfp @datascifellows
Ehsun @ehsune71
252 Followers 235 Following
Dongjie He @hdjay20131
73 Followers 229 Following He is leaving UNSW. He is interested in Programming Languages and Compilers.
Mohammad Ahmadpanah @smahmadpanah
601 Followers 334 Following
Shin Hwei Tan @tan_hwei
531 Followers 402 Following Associate Professor at Concordia University. Interested in finding bugs (software testing) and fixing them automatically (automated program repair).
Quanta Magazine @QuantaMagazine
349K Followers 618 Following Illuminating math and science. Supported by @SimonsFdn. 2022 Pulitzer Prize in Explanatory Reporting.
Scholarship for PhD @ScholarshipfPhd
237K Followers 29 Following PhD, Postdoc & Fellowship scholarships, research tips & more 📚 Stay updated & subscribe for exclusive premium content Promotion: [email protected]
Ruijie Meng @RuijieMeng
344 Followers 467 Following Incoming tenure-track faculty at CISPA | PhD at @NUSComputing | Software Security
Mayur Naik @AI4Code
2K Followers 301 Following Misra Family Professor @CIS_Penn. I do research on neurosymbolic AI and cybersecurity.
Sharven Wong @SharvenW
286 Followers 455 Following Assistant Professor in Software Engineering. Once a visiting scholar at Southern University of Science and Technology (Shenzhen).
Seyed Abbas Araghchi @araghchi
284K Followers 16 Following Foreign Minister, Islamic Republic of Iran • Telegram: https://t.co/SvqW58m8er • Instagram: @araghchi
BBC NEWS فارسی @bbcpersian
2.5M Followers 14 Following Latest local and global news in Persian حساب رسمی بخش فارسی بیبیسی #BBCPersian
بهمن كلباسى @bbckalbasi
284K Followers 2K Following خبرنگار بى بى سى فارسى در نيويورک. اینجا فقط به فارسی تویت می کنم. براى تويت هام به انگلیسی اين اكانت را دنبال كنيد: BahmanKalbasi@
Bahman Kalbasi @BahmanKalbasi
139K Followers 6K Following NYC/UN Correspondent: BBC: Persian Service. Iran, US politics & some Canada.
🇮🇷 وزارت �... @IRIMFA
104K Followers 137 Following ☫ توییتر رسمی وزارت امور خارجه جمهوری اسلامی ایران 🇮🇷 @IRIMFA_En @IRIMFA_Ar https://t.co/SByQkGAQqT
Javad Zarif @JZarif
1.7M Followers 10 Following Husband, father, grandfather; Founder/President of Possibilities Architects (https://t.co/PG0osd8rBO) Professor; former diplomat, ambassador, foreign minister Views personal
Masoud Pezeshkian @drpezeshkian
308K Followers 18 Following همسر، پدر ، پدربزرگ؛ نهمین رئیس جمهوری اسلامی ایران
பேராசிர... @devanbu
2K Followers 946 Following Husband, Dad, Researcher. Software "Naturalness", AI4SE & ESE@ UC Davis. Humboldtian. ❤️s Jokes, preferably Dry. Also ❤️s NJ! All opinions Personal.
Xiangzhe Xu @XiangzheX
202 Followers 396 Following Ph.D. student @PurdueCS. 2025Intern at @MSFTResearch. I do research that helps developers—from pros to vibe coders to agent builders.
Valerio Terragni @ValerioTerragn1
494 Followers 905 Following Senior Lecturer (Assoc. Prof) in #SoftwareEngineering at @AucklandUni 🇳🇿 -- PostDoc 🇨🇭 -- PhD 🇭🇰 -- MSc and BSc 🇮🇹 #SE4AI #AI4SE #softwaretesting #LLMs
Mauro Pezzè @mauropezze
79 Followers 79 Following
Jordan Samhi @JordanSamhi
363 Followers 767 Following Research Scientist at the University of Luxembourg 🎓🇫🇷 Software Engineering and Software Security
Jacques Klein @JacquesKlein14
182 Followers 90 Following Professor (chief scientist) at the SnT centre of the University of Luxembourg
De Kai @dekai123
2K Followers 979 Following Author, Raising AI https://t.co/sJYSbLQfyM | Professor, Musician: AI, NLP, NN, ML, MT, Ethics & Society, Music AI, Computational Creativity, Cognitive Science
Jing Liu @fuzzjing
276 Followers 717 Following PhD student @UCIbrenICS ➡️ #MPI_SP @maxplanckpress | @summerofbitcoin '22 | btw I use Arch
LLM4Code @llm4code
568 Followers 103 Following The 3rd International Workshop on Large Language Models for Code Co-located with @ICSEconf #icse2026
Bogdan Vasilescu @b_vasilescu
2K Followers 1K Following I shorten academic research papers to fit in 10 pages for a living, at CMU.
OpenAI @OpenAI
4.4M Followers 3 Following OpenAI’s mission is to ensure that artificial general intelligence benefits all of humanity. We’re hiring: https://t.co/dJGr6Lg202
Gianluca Varisco @gvarisco
4K Followers 4K Following I work at @Google on @googlecloud. Formerly @arduino, @ITdigitalteam, @RocketBerlin, @RedHat. Tweets are my own.
Jonathan Metzman @metzmanj
2K Followers 538 Following I do fuzzing on Google's Open Source Security Team. I work on OSS-Fuzz/ClusterFuzz/FuzzBench. Speaking on behalf of myself, not my employer.
Sébastien Bardin @Seb_Bardin
189 Followers 333 Following Researcher in Computer Science, formal methods / program analysis / cybersecurity / software engineering, a bit of quantum programming too
Dave Aitel @daveaitel
28K Followers 2K Following Cyber Security Researcher | Policy Analyst | Partner at https://t.co/OpZchMm8Sz | @[email protected]
soaphorn seuo @soaphornseuo
3K Followers 7K Following
Patrick Ventuzelo @Pat_Ventuzelo
4K Followers 1K Following Founder & CEO of @FuzzingLabs | Security Researcher focused on Fuzzing & Vulnerability Research | Rust, Go, Wasm, Browser, Telecom, Blockchain & web3 Security
The Fuzzing Book @FuzzingBook
2K Followers 5 Following Official account for "The Fuzzing Book" by @AndreasZeller, @_rahulgopinath, @mboehme_, @thegordonfraser, and @mozdeco.
FuzzingLabs @FuzzingLabs
8K Followers 4K Following Research-oriented Cybersecurity startup specializing in #fuzzing, Vulnerability Research & Offensive security on Mobile, Browser, AI/LLM, Network & Blockchain.
Software Testing & QA... @testingtechnews
5K Followers 5K Following Unlock the Power of TTN! Premium Network for Software Testers and entrepreneurs. Join FREE for one week. Elevate your career today! #TTN #SoftwareTesting
Ministry of Testing @ministryoftest
28K Followers 6K Following We are a global community of practice for software testing, QA & Quality Engineering professionals. https://t.co/3zAhoDJM9y
Sharif University @SharifSocial
4K Followers 14 Following حساب رسمی دانشگاه صنعتی شریف| Official account of the Sharif University of Technology
EASE 2025 @ConfEASE
1K Followers 238 Following The 29th edition of the Evaluation and Assessment in Software Engineering (EASE) Conference
ESEM Conference @ESEM_conf
2K Followers 69 Following ESEIW 2025 - Empirical Software Engineering International Week 2025 | ESEM 2025 -19th ACM/IEEE International Symposium on Empirical Software Engineering
Modal @modal
20K Followers 126 Following AI infrastructure that developers love 💚 Bring your own code and run CPU, GPU, and data intensive compute at scale.
Ilya Sergey @ilyasergey
6K Followers 960 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Pinjia He @PinjiaHE
998 Followers 576 Following Assistant Professor at The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen) @cuhksz.
Xinyun Chen @xinyun_chen_
7K Followers 1K Following Research Scientist @Meta MSL. Prev. @GoogleDeepMind. PhD @Berkeley_EECS.
Lianmin Zheng @lm_zheng
14K Followers 618 Following Member of technical staff @xAI | Prev: Ph.D. @UCBerkeley, Co-founder @lmsysorg
Neurosymbolic Program... @neurosym
248 Followers 0 Following An emerging area in computer science that bridges deep learning and programming languages for scientific discovery. Funded by @NSF Grant 1918839.