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-
Tweets74
-
Followers53
-
Following302
-
Likes821
"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 ...
Maslow's hierarchy of needs
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. 🎉
Life Lessons from Nikola Tesla (1856 - 1943): • Genius requires solitude. • Our mind is only the receiver. We need to tune it with the universe. • When someone says it can't be done, do it anyways. • Money does not represent such a value as people have placed upon it.
i tried to make a beginner-friendly post about some of the basics related to code coverage in fuzzing, just going over terminology, common strats, and some tooling. hopefully this will be useful for some! h0mbre.github.io/Fuzzing-Like-A…
Xiangzhe Xu @XiangzheX
194 Followers 392 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
71 Followers 4K Following
farzad hasanvand @farzadhss
264 Followers 587 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
277 Followers 717 Following PhD student @UCIbrenICS ➡️ #MPI_SP @maxplanckpress | @summerofbitcoin '22 | btw I use Arch
Teycressl @TeycressloTROj
4 Followers 83 Following
soaphorn seuo @soaphornseuo
3K Followers 7K Following
Mohammad Hossein Khos... @Mh_khoshechin
264 Followers 911 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
121 Followers 174 Following aka. Hengcheng Zhu | PhD student @HKUST | Software Engineering Researcher & Hacker | https://t.co/QKsKn71i6Z
Ryan Cai @ryancaicse
44 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 115 Following
Heqing Huang @HeqingHuang66
104 Followers 81 Following Assistant Professor in @CityUHongKong. I am focusing on software security and programming analysis.
Jiasi Shen @shenjiasi
600 Followers 413 Following Assistant Professor @HKUST CSE. Programming languages, software engineering. Previously @MIT_CSAIL @PKU1898.
مهندس سابق �... @deadman67264369
129 Followers 630 Following
XFILTRATE for Infiltr... @xfiltratecon
60 Followers 459 Following The original offensive information security conference is coming back to the beach... Did you miss us?
Lili Wei @LiliWei_SE
514 Followers 237 Following Assistant Professor at ECE McGill, focusing on program analysis, testing and mining code repositories
Shodan @shibababibaba
385 Followers 5K Following
Benjamin Timon @bentimon
223 Followers 853 Following @Ledger Institutional Digital asset custody @Ledger_Business. Cryptography & Hardware security. Previously Security engineer @eshard
Anjuna @anjuna_security
937 Followers 561 Following Run Your Workloads With Complete Data Privacy ⎮ Simplifying enterprise #data and #cloud security ⎮ Member of @ConfidentialC2 ⎮ #ConfidentialComputing
Qingkai Shi @QingkaiS
153 Followers 190 Following PhD @HKUST, Technical Expert @AntGroup, Postdoc @PurdueCS, Associate Professor @NJU
رِی @l2eyhaneh
38 Followers 268 Following
Linghui Luo @LinghuiLuo
484 Followers 293 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
256 Followers 186 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
59 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: #PLDI2025. Tweets by @konskallas and @lastland0
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
106 Followers 245 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
248 Followers 234 Following
Dongjie He @hdjay20131
71 Followers 229 Following He is leaving UNSW. He is interested in Programming Languages and Compilers.
Mohammad Ahmadpanah @smahmadpanah
601 Followers 334 Following
Pantea @pante_aa
214 Followers 332 Following
Mayur Naik @AI4Code
2K Followers 300 Following Misra Family Professor @CIS_Penn. I do research on neurosymbolic AI and cybersecurity.
Sharven Wong @SharvenW
283 Followers 453 Following Assistant Professor in Software Engineering. Once a visiting scholar at Southern University of Science and Technology (Shenzhen).
Seyed Abbas Araghchi @araghchi
282K 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
285K 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; Professor; former diplomat, ambassador, and foreign minister. Views personal
Masoud Pezeshkian @drpezeshkian
308K Followers 18 Following همسر، پدر ، پدربزرگ؛ نهمین رئیس جمهوری اسلامی ایران
பேராசிர... @devanbu
2K Followers 947 Following Husband, Dad, Researcher. Software "Naturalness", AI4SE & ESE@ UC Davis. Humboldtian. ❤️s Jokes, preferably Dry. Also ❤️s NJ! All opinions Personal.
Xiangzhe Xu @XiangzheX
194 Followers 392 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
487 Followers 886 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
364 Followers 767 Following Research Scientist at the University of Luxembourg 🎓🇫🇷 Software Engineering and Software Security
Jacques Klein @JacquesKlein14
182 Followers 91 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
277 Followers 717 Following PhD student @UCIbrenICS ➡️ #MPI_SP @maxplanckpress | @summerofbitcoin '22 | btw I use Arch
LLM4Code @llm4code
567 Followers 103 Following The 2nd International Workshop on Large Language Models for Code Co-located with @ICSEconf 2025
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.3M 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 535 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
183 Followers 334 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
19K Followers 123 Following Bring your own code, and run CPU, GPU, and data-intensive compute at scale. The serverless platform for AI and data teams.
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Pinjia He @PinjiaHE
994 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
13K Followers 609 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.
Mehdi Allahyari @MehdiAllahyari
11K Followers 1K Following Chief AI Officer | PhD. ML, NLP, Gen AI. | CoFounder at https://t.co/UApkFE3tUI, https://t.co/gKywLtvzUA | Building AI products to serve at scale.
NeurIPS Conference @NeurIPSConf
139K Followers 36 Following Vancouver, Dec 10-15, 24. https://t.co/ga8aOw6yUO Tweets to this account are not monitored. Please send feedback to [email protected].
Yujin Tang @yujintang99
2K Followers 4K Following CS PhD Student @dartmouth, previousely intern @AlibabaGroup Damo Academy, BS @sjtu1896, Msc @cuhksz, Visiting @ucmerced | Computer Vision
Tiffany Bao @___tiffanyb___
1K Followers 88 Following Assistant Professor at @ASU. Seeking for whoever likes (hacking || game theory) && cybersecurity research. Do dm me if you happen to be one of the above.
SPLASH Conference @splashcon
3K Followers 287 Following SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25Trends for United States
You might like
