Loc Le @QLocLe
lecturer at University College London. United Kingdom Joined February 2014-
Tweets31
-
Followers79
-
Following121
-
Likes125
Professor Moshe Y. Vardi @vardi will give a talk at the UCL @ucl_pplv on Thursday, January 8, 2026. Location: 66-72 Gower St, Seminar Room G01 Time: 13:00-14:30 Zoom link: ucl.zoom.us/j/91839479875?… Join us to learn What Is Theoretical Computer Science?
I am looking to recruit a PhD student (fully funded at UK home tuition rate) to work on automated testing and verification of machine learning compilers and runtimes! Deadline: 30th April. Please spread the word! Details here: doc.ic.ac.uk/~afd/PhD-Adver…
We, RiSE/MSR, are hiring for exciting and ambitious projects. jobs.careers.microsoft.com/global/en/job/… (on the picture: lunch with colleagues)
Yll Buzoku giving his first international talk at the XII Workshop on Philosophical Logic / BA-Logic ba-logic.com/workshops/xii-… @BALogicGroup
Tutorial @poplconf on incorrectness+underapproximation. My slides on - how to infer procedure pre-/post- specification via bi-abduction - Pulse-x demo loc.bitbucket.io/papers/POPL23T…
Enjoyed giving a tutorial @poplconf on incorrectness+underapproximation, with @AzaleaRaad , @QLocLe , @jvanegue . Here are the slides for my part on semantic foundations, drawing on (unpublished) joint work with Jules Villard (cc @fbinfer) www0.cs.ucl.ac.uk/staff/p.ohearn…
I have 3 internships available in my @Bloomberg team from May/June to August. Last year, our amazing interns implemented SAT solvers on GPU and @dwavesys quantum computer. We’re looking to implement several new domain specific solvers this year. Come visit NYC this summer!
Getting ready for Incorrectness Logic + Underapproximation tutorial at @poplconf with @AzaleaRaad , @QLocLe and @jvanegue popl23.sigplan.org/program/progra…
Thanks Peter for the distinguished guidance and support.
A distinguished paper award for our OOPSLA'22 paper on incorrectness logic analysis came as pleasant news. Congrats in particular to lead author @QLocLe for his perseverence after rejection by a previous conference. @fbinfer @HerrDreyer @AzaleaRaad dl.acm.org/doi/10.1145/35…
We're hiring Eng Managers to help us build our Code Security Analysis offering at @Lacework. linkedin.com/posts/davymcal…
the camera-ready version of our @splashcon 2022 paper on Pulse-X (an automatic program analysis for catching memory errors, based on Incorrectness Logic), with @AzaleaRaad, Jules Villa, Josh Berdine, @HerrDreyer and @PeterOHearn12, is available here: loc.bitbucket.io/pulse-x.pdf
thrilled that our paper "Finding Real Bugs in Big Programs with Incorrectness Logic" has been accepted to @splashcon 2022 ! This is joint work with @AzaleaRaad, Jules Villa, Josh Berdine, @HerrDreyer, and @PeterOHearn12 @Meta . Stay tuned for more!
thrilled that our paper "Finding Real Bugs in Big Programs with Incorrectness Logic" has been accepted to @splashcon 2022 ! This is joint work with @AzaleaRaad, Jules Villa, Josh Berdine, @HerrDreyer, and @PeterOHearn12 @Meta . Stay tuned for more!
CS Faculty Twitter! Cornell, Maryland, and Max Planck host a 1-week summer school (CMMRS) for aspiring undergraduate and masters researchers. Free trip to Germany! Please help spread the word -- the application deadline is approaching (21st Feb) cmmrs.mpi-sws.org
I've had fun working on under-approximate program analysis recently, and it's about to get even better ... Patrice Godefroid has now joined @Lacework and we'll be working together to help change computer security forever! linkedin.com/posts/patrice-…
Amazing!
TOPLAS is now Gold Open Access. All TOPLAS papers (since the 1979 beginning) are now available to everyone.
Interested in Procedural Content Generation? join #PROCJAM and Make Something That Makes Something. Running 3rd to 13th Dec 2021 procjam.com
@PeterOHearn12 Congrats, Peter! wish you all the best on your new adventure.
@AzaleaRaad @ICComputing @imperialcollege @UKRI_News Big Congrats, Azalea!
(1/2) A paper connecting incorrectness logic and Kleene algebra. To appear in RAMICS'21 www0.cs.ucl.ac.uk/staff/p.ohearn…
@AzaleaRaad @imperialcollege @ICComputing Congratulations, Azalea!
AIPV @AIPV_series
7 Followers 73 Following
He Ye @ye_he_ye
253 Followers 199 Following Assistant professor at @ucl, co-founder of @Euni_AI, working on code agents.
Shin Hwei Tan @tan_hwei
577 Followers 397 Following Associate Professor at Concordia University. Interested in finding bugs (software testing) and fixing them automatically (automated program repair).
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Yun Lin @llmhyy
453 Followers 477 Following Associate Professor @ Shanghai Jiao Tong University Formal Research Assistant Professor @ NUS Researcher on Software Engineering and Security
Hung Nguyen @ap4rtment_402
1 Followers 64 Following
NWMonster @NWMonster
205 Followers 518 Following
Sloshou @Sloshou123361
31 Followers 1K Following “My concern about my reputation is with the people who I respect, my family, (GOD) the exceptional, I’m perfectly comfortable with my reputation with them”
Yiyuan Cao @yiiiyuannn
12 Followers 231 Following PhD student in programming languages at Peking University.
UCL-CS PPLV @ucl_pplv
256 Followers 154 Following Programming Principles, Logic and Verification group at University College London
Umang Mathur @mathur_umang
1K Followers 1K Following Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore
Eden JR @Eden_junior1
51 Followers 437 Following
Qihui Sun @qihui_sun
1 Followers 70 Following
Hưng Nguyễn @HngNguy60955355
3 Followers 33 Following
Quant Hustle @QuantHustle
0 Followers 5K Following
ᴇᴅ ᴅᴀɴɪᴇ�... @esdaniel
1K Followers 2K Following Passionate abt #OpenSource, #IoT, #AnySec, #AnyOps, #AnySecOps, #CloudComputing, #ITSM. Watching #PlatformEngineering emerge & curious about #AI and #ML too.
Dong Chen @jameschennerd
83 Followers 2K Following Passionate about simplifying/automating programming. Happy to learn anything that serves this purpose: compilers, semantics, synthesis, LLM & more?
Ondra Lengal @OndraLengal
26 Followers 67 Following
Arpan Agrawal @DontDoCoffeeKid
0 Followers 2K Following
Rodrigo Branco @bsdaemon
13K Followers 4K Following Chief Architect, Security Research of BigTech Advisor of Grsecurity. BYOS Commitee Member of OffensiveCon, Langsec, DistrictCon, Secdev
Qinshu Wan @QinshuWan
276 Followers 446 Following Retweets are just retweets and do not represent any personal views. Improve yourself on the basis of learning.
Abhay Sood @abhaysood_
667 Followers 531 Following building https://t.co/pYbpA5FWxQ - an open source tool for monitoring mobile apps | prev at Groww, Gojek & ClearTax
Estibaliz Fraca @estibalizfs
381 Followers 766 Following Research Fellow at UCL CS. PPLV. #ComputerScience #womenInCS #formalMethods #interdisciplinaryResearch #knowlegde #EducationalTechnology #otroMundoPosible
@chrisposkitt.bsky.so... @ChrisPoskitt
556 Followers 785 Following Associate Professor (Education) at Singapore Management University. Software engineering, formal methods, security, and computer science education.
Adharsh Kamath @adharshkamath
470 Followers 2K Following PhD student @siebelschool | Previously @MSFTResearch @surathkal_nitk | PL/FM/SE, AI4Code
Wangxiz @wangxiz
40 Followers 483 Following
Thanh Le-Cong @ThanhLeCong2705
142 Followers 377 Following PhD Student @Unimelb. PhD Fellow @GoogleAI. Research Intern @Amazon. Ex Research Engineer @smusg. Working on Reliable AI4Code.
Julien Vanegue @jvanegue
6K Followers 988 Following CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network analysis at world scale.
Andrew Habib @_ahabib_
127 Followers 2K Following Researcher interested in SE, PL, ML4SE, SE4ML, ..., etc. https://t.co/tZj0Fi4M5O
Xiaoyu Yang @yangxiaoyu0802
5 Followers 94 Following
休 @realBigTreeLeaf
0 Followers 2K Following
Wenda Li @WendaLi8
1K Followers 579 Following Lecturer in hybrid AI at the University of Edinburgh. Interested in machine learning for (interactive) theorem proving, formalised mathematics, and AI for Math.
Ninh Pham @DangNinhPham
43 Followers 277 Following Senior Lecturer at School of Computer Science, University of Auckland
beike @beikejun07
33 Followers 2K Following
Tamir Bahar @tmr232
1K Followers 1K Following No longer active here. Leaving this on as a redirect. @[email protected] | He/Him
Adrian Herrera @0xadr1an
1K Followers 755 Following Security researcher with a penchant for functional programming. Building fuzzers @InterruptLabs. PhD @ANUComputing + @HexHiveEPFL.
Benjamin Kaminski @Kaminski_BL
60 Followers 182 Following Theoretical computer scientist. Professor at Saarland University, Lecturer at University College London.
Carsten Fuhs (@Carste... @CarstenFuhs
128 Followers 187 Following Senior Lecturer in Computer Science at Birkbeck, U of London: program analysis, verification, automated reasoning, term rewriting, ... Language(s) aficionado.
Thanh Do @nyaacate@in... @nyanctl
770 Followers 504 Following SWE & sometimes security researcher, NYU MSCS, member of https://t.co/R4a4yethba and @acebearteam. PL theorist wannabe. He/him/*. Views are my own, not my employers’
Roy @xwlin_roy
1K Followers 2K Following
Michael McLoughlin @mbmcloughlin
799 Followers 2K Following Mathematical Software Engineer. Mastodon @[email protected] Bluesky @mmcloughlin.com
Emmett Neyman @EmmettNeyman
599 Followers 2K Following Magic the Gathering nerd | SWE @Meta working on static analysis for security | interested in PL, Compilers, and Security | @CIS_Penn alum | Seattle | he/him
He Ye @ye_he_ye
253 Followers 199 Following Assistant professor at @ucl, co-founder of @Euni_AI, working on code agents.
Engineering at Meta @Meta_Engineers
214K Followers 197 Following Engineering at Meta is a technical news resource for engineers interested in how we solve large-scale technical challenges at Meta.
Silvio Micali @silviomicali
73K Followers 132 Following Founder of @Algorand and co-inventor of zero-knowledge proofs. @MIT Professor. Accademia Dei Lincei. This is my only official social media account.
Aztec @aztecnetwork
207K Followers 295 Following Aztec is the leading privacy-first Layer 2 on Ethereum. Alpha Network is live · Start building here: https://t.co/aS0GdaXNjd
Shin Hwei Tan @tan_hwei
577 Followers 397 Following Associate Professor at Concordia University. Interested in finding bugs (software testing) and fixing them automatically (automated program repair).
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
UK Maths Trust @UKMathsTrust
41K Followers 332 Following Inspiring a love of problem-solving in young people. We're a charity powered by hundreds of volunteers who coordinate maths competitions across the UK.
Yun Lin @llmhyy
453 Followers 477 Following Associate Professor @ Shanghai Jiao Tong University Formal Research Assistant Professor @ NUS Researcher on Software Engineering and Security
Noam Zilberstein @NZComplete
192 Followers 91 Following Recovering tech worker turned PhD student @CornellCIS. PL, Logic, Formal Verification
Caliber Venture Build... @CaliberBuild
2K Followers 41 Following Caliber is a Web3 Venture Builder started by veteran web3 builders and aims to build the next generation of web3 startups with new founders.
Joel David Hamkins @JDHamkins
29K Followers 285 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
Aleo @AleoHQ
288K Followers 216 Following Privacy first finance | The first private programmable L1 blockchain | Control what you share, customize without limits. Join: https://t.co/e10gsYGE4Z
UCL-CS PPLV @ucl_pplv
256 Followers 154 Following Programming Principles, Logic and Verification group at University College London
Defi Security Summit @summit_defi
5K Followers 21 Following A unique annual event for education and technical advances in securing blockchain decentralized applications. Oct 31 - Nov 2, 2026 📍Mumbai
EthCC - Ethereum Comm... @EthCC
55K Followers 242 Following The largest annual European Ethereum gathering, organised by @Ethereum_France Stay tuned for more EthCC10 details!
Rishi Sunak @RishiSunak
2.3M Followers 382 Following MP for Richmond and Northallerton. Former UK Prime Minister 🇬🇧 Founder @richmondproj Fellow @BlavatnikSchool @HooverInst Columnist @thetimes
Sui Foundation @SuiFoundation
70K Followers 5 Following Dedicated to the advancement and adoption of Sui by supporting its builder and creator community. Connect at @SuiNetwork.
Certora @Certora
12K Followers 336 Following Your End-To-End Security Partner. Manual Audits, Formal Verification, and Protocol Design Review. Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.
Estibaliz Fraca @estibalizfs
381 Followers 766 Following Research Fellow at UCL CS. PPLV. #ComputerScience #womenInCS #formalMethods #interdisciplinaryResearch #knowlegde #EducationalTechnology #otroMundoPosible
Ondra Lengal @OndraLengal
26 Followers 67 Following
Pippa Crerar @PippaCrerar
470K Followers 3K Following Political Editor, The Guardian. Host of Politics Weekly podcast. Co-presenter @itvpeston Political Journalist of the Year 2026 @pressawardsuk
Ros Atkins @BBCRosAtkins
351K Followers 5K Following BBC News Analysis Editor, The Media Show, 'The Art of Explanation', D&B DJ, 'Communicating...' podcast, squash enthusiast. Agents: @MiradorMgmt @zcosini
Abhay Sood @abhaysood_
667 Followers 531 Following building https://t.co/pYbpA5FWxQ - an open source tool for monitoring mobile apps | prev at Groww, Gojek & ClearTax
Logic & Applications @LogicPractice
28K Followers 8 Following Logic and applications of logic from @JohnDCook
Dedaub @dedaub
10K Followers 105 Following Security audits, static analysis, realtime threat monitoring
HackerOne @Hacker0x01
338K Followers 3K Following HackerOne makes security continuous. We unite AI and human insight through a unified platform to expose risk and eliminate it.
publiclyDisclosed @disclosedh1
68K Followers 2 Following This is an unofficial HackerOne public disclosure watcher who keeps you up to date about the recently disclosed bugs. By @NOBBD
Ian Carroll @iangcarroll
24K Followers 1K Following Founder at @SeatsAero. Travel/points, application security, security research, etc. https://t.co/q0VuCP7rXz
Sam Curry @samwcyo
101K Followers 1K Following
Yassine Aboukir 🐐 @Yassineaboukir
33K Followers 414 Following HackerOne Top 40, Elite, Pentest Lead, Ambassador, x2 MVH Title, $1 million bounties and ex- Hacker Advisory Board • Digital Nomad/Hybrid Athlete/Surfer
Mobile Security @mobilesecurity_
31K Followers 1K Following Mobile Security ✌🏻 #MobileSecurity #AndroidSecurity #iOSsecurity
Thanh Le-Cong @ThanhLeCong2705
142 Followers 377 Following PhD Student @Unimelb. PhD Fellow @GoogleAI. Research Intern @Amazon. Ex Research Engineer @smusg. Working on Reliable AI4Code.
Sebastian Thrun @SebastianThrun
81K Followers 18 Following CEO StealthStartup, Adjunct Prof at Stanford and GaTech
Trail of Bits @trailofbits
38K Followers 261 Following We help secure the world’s most targeted organizations and products. We combine security research with an attacker mentality to reduce risk and fortify code.
Umang Mathur @mathur_umang
1K Followers 1K Following Presidential Young Professor at the National University of Singapore, @nus_plse, @nuscomputing, @NUSingapore
Amazon Science @AmazonScience
92K Followers 2K Following The latest news and research from Amazon's science community. #AmazonScience
Caterina Urban @caterinaurban
414 Followers 279 Following Research scientist at @inria_paris and @ENS_ULM. Left-handed 🤚, in the footsteps of Alan Turing and Marie Curie. I want a dog 🐕.
Ninh Pham @DangNinhPham
43 Followers 277 Following Senior Lecturer at School of Computer Science, University of Auckland
Emin Gün Sirer🔺�... @el33th4xor
298K Followers 2K Following Founder and CEO @avalabs, Ex-prof @Cornell, Ex-co-director @initc3org.
Cathie Wood @CathieDWood
2.6M Followers 515 Following Founder, CEO and CIO @ARKinvest. Thematic portfolio manager for disruptive innovation, mom, economist, and women's advocate. Disclosure: https://t.co/chxRD4oWOd
Benjamin Kaminski @Kaminski_BL
60 Followers 182 Following Theoretical computer scientist. Professor at Saarland University, Lecturer at University College London.
Loi Luu @loi_luu
28K Followers 2K Following Building @CaliberBuild. Founded KybΞr in 2017, WBTC in 2019
Adrian Herrera @0xadr1an
1K Followers 755 Following Security researcher with a penchant for functional programming. Building fuzzers @InterruptLabs. PhD @ANUComputing + @HexHiveEPFL.
Google Open Source @GoogleOSS
82K Followers 145 Following Announcing new open source releases, exploring projects, sharing how we approach FOSS, and supporting communities around the world.

















