Loc Le @QLocLe
Associate Professor at University College London. United Kingdom Joined February 2014-
Tweets31
-
Followers77
-
Following123
-
Likes131
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…
Our paper submission routine
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 71 Following
He Ye @ye_he_ye
248 Followers 199 Following Assistant professor at @ucl, co-founder of @Euni_AI, working on code agents.
Shin Hwei Tan @tan_hwei
579 Followers 398 Following Associate Professor at Concordia University. Interested in finding bugs (software testing) and fixing them automatically (automated program repair).
Kristopher Micinski -... @krismicinski
8K Followers 4K 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 63 Following
NWMonster @NWMonster
200 Followers 517 Following
Sloshou @Sloshou123361
29 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
254 Followers 155 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
52 Followers 436 Following
Qihui Sun @qihui_sun
1 Followers 70 Following
Hưng Nguyễn @HngNguy60955355
2 Followers 32 Following
Quant Hustle @QuantHustle
0 Followers 6K 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
85 Followers 2K Following Passionate about simplifying/automating programming. Happy to learn anything that serves this purpose: compilers, semantics, synthesis, LLM & more?
Ondra Lengal @OndraLengal
28 Followers 70 Following
Arpan Agrawal @DontDoCoffeeKid
0 Followers 2K Following
Rodrigo Branco @bsdaemon
13K Followers 5K Following MTS at does it matter? Advisor of Grsecurity. BYOS Commitee Member of OffensiveCon, Langsec, DistrictCon, Secdev
Qinshu Wan @QinshuWan
272 Followers 442 Following Retweets are just retweets and do not represent any personal views. Improve yourself on the basis of learning.
Abhay Sood @abhaysood_
680 Followers 575 Following building https://t.co/pYbpA5FWxQ - an open source tool for monitoring mobile apps | prev at Groww, Gojek & ClearTax
Estibaliz Fraca @estibalizfs
379 Followers 761 Following Research Fellow at UCL CS. PPLV. #ComputerScience #womenInCS #formalMethods #interdisciplinaryResearch #knowlegde #EducationalTechnology #otroMundoPosible
@chrisposkitt.bsky.so... @ChrisPoskitt
552 Followers 784 Following Associate Professor (Education) at Singapore Management University. Software engineering, formal methods, security, and computer science education.
Adharsh Kamath @adharshkamath
491 Followers 2K Following Formalism Forager | Heretic | PhD Candidate in CS @siebelschool
Wangxiz @wangxiz
39 Followers 482 Following
Thanh Le-Cong @ThanhLeCong2705
139 Followers 376 Following PhD Student @Unimelb. PhD Fellow @GoogleAI. Research Intern @Amazon. Ex Research Engineer @smusg. Working on Reliable AI4Code.
Julien Vanegue @jvanegue
6K Followers 989 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_
126 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 612 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 295 Following Associate Professor at IMADA, The University of Southern Denmark
beike @beikejun07
33 Followers 2K Following
Tamir Bahar @tmr232
1K Followers 2K Following No longer active here. Leaving this on as a redirect. @[email protected] | He/Him
Adrian Herrera @0xadr1an
1K Followers 770 Following Security researcher with a penchant for functional programming. Building fuzzers @InterruptLabs. PhD @ANUComputing + @HexHiveEPFL.
Benjamin Kaminski @Kaminski_BL
57 Followers 182 Following Theoretical computer scientist. Professor at Saarland University, Lecturer at University College London.
Carsten Fuhs (@Carste... @CarstenFuhs
127 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
838 Followers 516 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
792 Followers 2K Following Mathematical Software Engineer. Mastodon @[email protected] Bluesky @mmcloughlin.com
Theorem @theoremlabs
5K Followers 2 Following Accelerate software verification. https://t.co/ITzBccyRcT
Livingstone Primary a... @LivingstoneEN4
359 Followers 422 Following A small and friendly one-form entry school committed to giving every child the opportunity to fulfil their potential.
Emmett Neyman @EmmettNeyman
620 Followers 2K Following Magic the Gathering nerd | SWE @Meta working on static analysis for security and security for AI | @CIS_Penn alum | Seattle | he/him
He Ye @ye_he_ye
248 Followers 199 Following Assistant professor at @ucl, co-founder of @Euni_AI, working on code agents.
Engineering at Meta @Meta_Engineers
219K 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
72K 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
203K Followers 319 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
579 Followers 398 Following Associate Professor at Concordia University. Interested in finding bugs (software testing) and fixing them automatically (automated program repair).
Kristopher Micinski -... @krismicinski
8K Followers 4K 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 330 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
191 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
30K Followers 286 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
Aleo @AleoHQ
278K Followers 217 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
254 Followers 155 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. Nov 1-2, 2026 📍Mumbai
EthCC - Ethereum Comm... @EthCC
53K Followers 242 Following Europe’s largest industry gathering, organised by @Ethereum_France Where ideas become industries. EthCC10 - April 12-15, 2027
Rishi Sunak @RishiSunak
2.3M Followers 403 Following MP for Richmond and Northallerton. Former UK Prime Minister 🇬🇧 Founder @richmondproj Fellow @BlavatnikSchool @HooverInst Columnist @thetimes
Sui Foundation @SuiFoundation
69K 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 341 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
379 Followers 761 Following Research Fellow at UCL CS. PPLV. #ComputerScience #womenInCS #formalMethods #interdisciplinaryResearch #knowlegde #EducationalTechnology #otroMundoPosible
Ondra Lengal @OndraLengal
28 Followers 70 Following
Pippa Crerar @PippaCrerar
487K 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
348K 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_
680 Followers 575 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 126 Following Security audits, static analysis, realtime threat monitoring
HackerOne @Hacker0x01
345K 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
25K Followers 1K Following Founder at @SeatsAero. Travel/points, application security, security research, etc.
Sam Curry @samwcyo
102K Followers 1K Following
Yassine Aboukir 🐐 @Yassineaboukir
34K Followers 424 Following HackerOne Top 40, Elite, Pentest Lead, Ambassador, x2 MVH Title, 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
139 Followers 376 Following PhD Student @Unimelb. PhD Fellow @GoogleAI. Research Intern @Amazon. Ex Research Engineer @smusg. Working on Reliable AI4Code.
Sebastian Thrun @SebastianThrun
80K Followers 17 Following CEO StealthStartup, Adjunct Prof at Stanford and GaTech
Trail of Bits @trailofbits
40K Followers 267 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
412 Followers 280 Following Senior research scientist at @inria_paris and @ENS_ULM. Still want a dog 🐕.
Ninh Pham @DangNinhPham
43 Followers 295 Following Associate Professor at IMADA, The University of Southern Denmark
Emin Gün Sirer🔺�... @el33th4xor
295K Followers 2K Following Founder and CEO @avalabs, Ex-prof @Cornell, Ex-co-director @initc3org.
Cathie Wood @CathieDWood
3.0M Followers 524 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
57 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 770 Following Security researcher with a penchant for functional programming. Building fuzzers @InterruptLabs. PhD @ANUComputing + @HexHiveEPFL.You might like
