Ning Luo 罗宁 @nluo431281
Wir müssen wissen. Wir werden wissen. ning0luo.github.io New Haven, CT Joined May 2022-
Tweets155
-
Followers218
-
Following228
-
Likes592
I’m excited to share that together with my amazing collaborator Ruzica Piskac we’ve received an Amazon Research Award for our proposal "Democratizing the Law - Using LLMs and Automated Reasoning for Legal Reasoning." @Yale @YaleLawSch @YaleEngineering amazon.science/research-award…
WoW 16 papers (!!) of @ASPLOSConf 2024 are authored or co-authored by @IllinoisCS and @ECEILLINOIS faculty and students from 9 research groups across 13 technical sessions. What a powerhouse of multidisciplinary computer systems research at UIUC.
Announcing the #ILLINOIS Siebel School of Computing and Data Science at @uofigrainger made possible with a $50 MM gift from @TomSiebel. With our #5 in-the-nation computer science program and 21 blended degree programs, the best is yet to come! 🔸🔹 ▶️ grainger.illinois.edu/news/stories/6…
Now that it is official, my amazing student Chris Harshaw is joining the statistics department @Columbia as an Assistant Professor. Super proud of him. chrisharshaw.com
Ruzica Piskac & Scott Shapiro, Computer Science & Yale Law School, collaborated to create "lawbots", a reliable legal chatbot using formal verification to ensure accuracy & reliability. Learn more: loom.ly/xlZjBVA @Yale_Ventures @YaleLawSchool #RobertsInnovationFund
So proud that Ruzica, my advisor, will give an invited talk at @ETAPSconf tomorrow about our work on proving the unsatisfiability of SMT formulae in ZK eprint.iacr.org/2023/1762 and our fully automated scaling out approach by optimally distributing ZKP eprint.iacr.org/2023/657!
Our work on non-magnetic integrated isolation is finally out on PRX! Thanks to a lot of people that supported me on this journey. Hard lesson to learn: make the popular science figure white background rather than transparent lol😵
Our work on non-magnetic integrated isolation is finally out on PRX! Thanks to a lot of people that supported me on this journey. Hard lesson to learn: make the popular science figure white background rather than transparent lol😵
I will join UIUC @ECEILLINOIS in Fall 2024 as an assistant professor. Biggest thank to @wangxiao1254 and Ruzica for their unlimited support and guidance over the years. I also want to thank all my colleagues and collaborators. I look forward to an fruitful journey at UIUC!
I will join UIUC @ECEILLINOIS in Fall 2024 as an assistant professor. Biggest thank to @wangxiao1254 and Ruzica for their unlimited support and guidance over the years. I also want to thank all my colleagues and collaborators. I look forward to an fruitful journey at UIUC!
At the forefront of AI’s Legal Revolution: Yale Engineering & Yale Law School have developed an AI-powered “lawbot” to help democratize the legal system by giving ordinary people tools to understand their rights and make informed decisions: loom.ly/ZObR0eQ #AI #whatsnext
Exciting news! The 2024 Roberts Innovation Fund Awards have been announced and this year, they are supporting groundbreaking inventions in AI, quantum computing, water purification, drug delivery, and more. Learn more about the projects: seas.yale.edu/roberts2024 @yaleventures
Some (non-ironic) personal news:
Our work on privacy-preserving regular expression matching using TNFA: eprint.iacr.org/2023/643.pdf is accepted by ESORICS 2024. This is joint work with @CWeng15, Jaspal Singh, @GefeiTan, Ruzica Piskac, and Mariana Raykova.
Congratulations to Doctor @YishuZhou2 for successfully defending her PhD thesis on "Developing Electro-Optomechanical Systems for Novel Silicon Photonic Devices" quantuminstitute.yale.edu/event/phd-defe…
zkPi: Proving Lean theorems in zero-knowledge. ~ Evan Laufer, Alex Ozdemir, Dan Boneh. eprint.iacr.org/2024/267.pdf #ITP #LeanProver
FelixHuang @FriedrichHuang
0 Followers 52 FollowingXiaojing Liao @xiaojingliao
856 Followers 167 Following Security researcher | https://t.co/oORT5AZQ4aCici Ling @ciciling07
298 Followers 407 Following Incoming assistant professor @IULuddy 👩🏻💻Security, Social Computing: memes, social media, harassment, moderationHyungsub Kim @BenjaminKim0920
309 Followers 325 Following Incoming Assistant Professor @IUBloomington, Postdoc @PurdueCS, working on cyber-physical systems security.Yanping Zhang @YanpingZhangZ
1 Followers 28 FollowingMagaly Chatterton @chatter_mag
62 Followers 5K FollowingZhendong Su @zhendongsu
3K Followers 1K Following Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)Lingming Zhang @LingmingZhang
1K Followers 308 Following Associate Professor @plfmse @IllinoisCS. Enjoy breaking, fixing, and synthesizing software. SE | PL | FM | LLM4CodeWajih Ul Hassan @wajihulhasan
784 Followers 1K Following Assistant Professor @ UVA. He/him. Research Interests: Data Provenance, System Auditing, Threat Detection, and Forensic Analysis.Jiayi_Cheng @Jiayi_Cheng1
40 Followers 930 Following Causal Machine Learning, Conformal Inference and moreD @dylan_works_
191 Followers 787 FollowingSyed Hafiz @Syedhafizcs
417 Followers 2K Following Cryptography Research Engineer @LGUS. Previously @UCDavis, @IUBloomington, @ICSIatBerkeley, & @BUET. Interest: Cryptography, ML Security, & Post-Quantum Crypto.Yifeng Ding @YifengDing_
234 Followers 580 Following Ph.D. student @IllinoisCS. Interested in Large Language Models for Code.Jiawei Liu @JiaweiLiu_
2K Followers 957 Following Simplifying the making of great software. PhD Student @plfmse @IllinoisCS.鲨三条臭鱼 @obo8ss
8 Followers 311 FollowingHanxiao Jiang @jiang_hanxiao
266 Followers 321 Following Ph.D. student @IllinoisCS. Research interest: Robot Learning, Robot Vision, 3D VisionYaxiong Xie @AlexXIE80307765
74 Followers 246 Following Assistant Professor at University at BuffaloMohammad Hossein Khos.. @Mh_khoshechin
224 Followers 873 Following Ph.D. @ MPI-SWS Interested in Formal Methods / Distributed Systems / Concurrency Theory / @[email protected]Zhimeng Guo @TimeLoverc
115 Followers 1K Following Graduate student in Penn State University. Machine learning.Aosen Xiong @AosenX
27 Followers 397 Following ECE Waterloo Ph.D. programming language, formal verification.Shinan Liu @shinan_liu
572 Followers 1K Following Ph.D. Candidate @UChicagoCS | Networking, Security, Measurement, ML SystemsHadjer Benkraouda @HBenksy
131 Followers 386 Following PhD candidate @ the University of Illinois at Urbana-Champaign interested in System Security.Jalón @JalonSpace
9 Followers 196 FollowingIsomorphism @Isomorphism256
24 Followers 182 Following Blockchain | ZK | @__zkhack__ Istanbul Top Prize WinnerFanchao Chen @FanchaoChen
218 Followers 1K Following PhD Student @WisconsinCS | Prev. @FudanUni, @NTUsg, @ucbrise, @MSFTResearch, Moonshot AI | Machine Learning SystemsAndrew Smith @smith_andrew58
58 Followers 475 FollowingRui Zhang @ruizhang_nlp
2K Followers 978 Following Researcher in #NLProc | Assistant Professor @PennStateEECSHaoxuan Xu @TerryXu0613
41 Followers 357 Following Computer Science MSc Student at @ETH_en. Rookie in security, TEE.lhgf @HrLhgf
1 Followers 734 FollowingFeiran (Alex) Qin @canarypwn
330 Followers 433 Following Aloha | First year CSC PhD student in systems @ncstate | @ShanghaiTechUni @UofIllinois alumni | @aosc_dev | Personal @nyoveltHongzhuo (Richard) Ch.. @Richard82656449
14 Followers 450 Following MS student in Networked Systems @UCIrvineOverly Literate Skate.. @0xflashmine
3K Followers 1K Following arXiv & IACR ePrints, skateboarding, reading | prev: consensys, polygonMingfu Liang @LiangMingfu
156 Followers 1K Following Ph.D. Candidate at Northwestern University, exploring Incremental, Continual, and Lifelong Learning on Computer Vision and Machine LearningJunyuan Hong @hjy836
643 Followers 2K Following Postdoc @VITAGroupUT @UTAustin @MLFoundations. Ph.D @michiganstateu . Ex @SonyAI_global intern. Interests: trustworthy ML, federated learning, privacy, LLMRaouf Kerkouche @raoufkerkouche
128 Followers 640 Following Postdoctoral Researcher at @CISPA. Past: PhD Cand. at @PrivaticsInria. My research interests lie in the intersection of privacy, security and machine learning.akdjhfkla @akdjhfkla
0 Followers 353 FollowingMinghao Lin @Y1nKoc
170 Followers 471 Following CTF player | Blackhat USA Speaker | Focus on iOS/macOS securityJie Xing|π @jxing0831
67 Followers 409 Following UG 🔢@SHU19945 & ⚕️@sjtu1896 GRI '23 @MitacsCanada @aitime2019 AI𝟒Health 🔛 Medical A🅖I 🧰|𝒋𝒂𝒄𝒌 𝒐𝒇 𝒂𝒍𝒍 𝒕𝒓𝒂𝒅𝒆𝒔, 𝒎𝒂𝒔𝒕𝒆𝒓 𝒐𝒇 𝒏𝒐𝒏𝒆Peng Gao @penggaotweets
842 Followers 763 Following Assistant Professor at Virginia Tech CS; Postdoc at UC Berkeley; PhD at Princeton; Researching security, privacy, systems, and AIkumar @kumar__nn
0 Followers 1K FollowingIris Ma @iris_ma14
107 Followers 934 Following PhD Student @UCIrvine under @cristalopes | #SE | #LLM4Code | program verificationIndex @HyleIndex
1K Followers 140 Following 前OIer,虚假摄影壬,目前对formal verification,type theory和神奇的范畴论感兴趣,BSc @polytechnique,PhD student @Yale,1i/4i,switch,欢迎私戳Krishna Sri Ipsit Man.. @SriIpsit
324 Followers 4K Following Grad Student @PurdueCS || CMMRS'23 || BTech EE'22 @IITBombayshumo - Saturn is liv.. @shumochu
4K Followers 1K Following brewing @nebrazkp | farcaster: stevech | @nounsdao fan | previously @mantanetwork @ucsbcs @uwcseXiaojing Liao @xiaojingliao
856 Followers 167 Following Security researcher | https://t.co/oORT5AZQ4aCici Ling @ciciling07
298 Followers 407 Following Incoming assistant professor @IULuddy 👩🏻💻Security, Social Computing: memes, social media, harassment, moderationMatthew Kay @mjskay
7K Followers 423 Following Assoc Prof @northwesterncs + @NU_SoC. Vis, HCI. Author #tidybayes & #ggdist R pkgs. he/him. 🏳️🌈 https://t.co/cNxGYJBzLv https://t.co/aGnxFzytClJessica Hullman @JessicaHullman
8K Followers 773 Following Ginni Rometty Prof @NorthwesternCS. Statistical decision theory, Visualizing & modeling uncertainty, Algorithmic implications. Occasional blogger @statmodelingPL/FM/SE at Illinois @plfmse
975 Followers 51 Following Programming Languages, Formal Methods, and Software Engineering group @IllinoisCS (https://t.co/61fHOptBEa)Illinois Computer Sci.. @IllinoisCS
13K Followers 835 Following All the latest from the Department of Computer Science at the University of Illinois Urbana-Champaign.Deepak Vasisht @deepakv91
2K Followers 884 Following Assistant Professor @IllinoisCS. Ex-Microsoft | MIT | IIT Delhi.Bellairs Research Ins.. @BellairsResear1
11 Followers 8 FollowingNASA @NASA
80.2M Followers 174 Following There's space for everybody. ✨ Verification: https://t.co/8nok3NP4PWXin Eric Wang @xwang_lk
7K Followers 1K Following Multimodal and Embodied AI Researcher / Professor @UCSC. Director of https://t.co/Y4swOBag21. AI for Humanity in the long run. he/himNatacha Crooks @siobhcroo
4K Followers 643 Following Assistant Professor at UC Berkeley. Distributed Systems & databases. Former engineer at Materialize. PhD UT Austin. Originally from Paris, France. Views my own.Xudong Sun @xu_dong_sun
513 Followers 543 Following Ph.D. student at UIUC CS | Working on testing and verification for cloud systems | Playing/fighting with KubernetesJiawei Liu @JiaweiLiu_
2K Followers 957 Following Simplifying the making of great software. PhD Student @plfmse @IllinoisCS.Wajih Ul Hassan @wajihulhasan
784 Followers 1K Following Assistant Professor @ UVA. He/him. Research Interests: Data Provenance, System Auditing, Threat Detection, and Forensic Analysis.ETAPS Conferences @ETAPSconf
322 Followers 58 Following ETAPS is the primary forum for academic and industrial researchers working on topics relating to Software Science. ETAPS 2025: May 3–8, Hamilton, CanadaLingming Zhang @LingmingZhang
1K Followers 308 Following Associate Professor @plfmse @IllinoisCS. Enjoy breaking, fixing, and synthesizing software. SE | PL | FM | LLM4CodeShinan Liu @shinan_liu
572 Followers 1K Following Ph.D. Candidate @UChicagoCS | Networking, Security, Measurement, ML SystemsRui Zhang @ruizhang_nlp
2K Followers 978 Following Researcher in #NLProc | Assistant Professor @PennStateEECSKabir Peshawaria @PeshawariaKabir
79 Followers 230 Following Interested in Cryptography (Proof Systems). Contributing to Binius @ Irreducible. Previously @ CMU, Two Sigma, and Proven.Yuke Wang @YukeWang1
805 Followers 1K Following On Academic Job Market | CS Ph.D. at UCSB | Deep Learning System | ex-Microsoft Research | ex-NVIDIA Research | NVIDIA Graduate Fellowship’22.Xinyu Xing @xingxinyu
956 Followers 1K Following Associate Professor@Northwestern University. Many Ph.D./internship/visiting scholar openings in software/system security. DM/email me.Reyhan @Reyhaneh
2K Followers 777 Following Assistant Professor of @plfmse at @IllinoisCS, Director of Intelligent CAT Lab (https://t.co/wO38Gqxs7n), PhD @UCIbrenICS, @Google PhD FellowHan Shao @HanShao16
135 Followers 210 Following PhD student @TTIC_Connect. Interested in machine learning theory problems.Quang Dao @QuangVDao
417 Followers 1K Following PhD student @SCSatCMU. Interested in zero-knowledge proofs and post-quantum cryptography. Previously @UMich, @ColumbiaMonica Lam @MonicaSLam
2K Followers 42 Following Professor, Computer Science Department at Stanford University.Research & Innovation.. @UofIResearch
4K Followers 1K Following Research and innovation at the University of Illinois Urbana-Champaign. Changing the world since 1867. #IllinoisResearchJustin Thaler @SuccinctJT
5K Followers 73 Following Research Partner @ a16z crypto Associate Professor of CS at Georgetown.Illinois ECE @ECEILLINOIS
9K Followers 1K Following The official account of the Department of Electrical and Computer Engineering at the University of IllinoisFumeng Yang @fumeng_yang
407 Followers 806 Following Postdoctoral Fellow @NorthwesternU┃she/her/hers┃Love vis, hci, modeling, & daydreaming.┃Opinions are my own.nikita borisov @nikitab
4K Followers 2K Following Arachno-capitalist web6 researcher. Tweets not suitable for the casual reader. @[email protected] this week.Bill Hallahan @Bill_Hallahan
78 Followers 493 FollowingHaonan Wu @HaonanWu_1998
9 Followers 30 Following PhD student at Penn State CSE; Life is a poem; I am a poet.David Heath @DavidHeath16
9 Followers 16 FollowingPascal Junod @cryptopathe
3K Followers 2K Following cryptographer - certified nerd god - founder @modulo_p_sa - ex-@snap - co-founder @strong_codes - has-been professor - trail runner - kayaker - aidjolatZephyr Yao @YaoZephyr
173 Followers 325 Following Assistant Professor @NJIT, PhD @UCIrvine. Focused on system and security. Views are my own. Anything interesting is likely due to my cat 🐈 jumping on keyboard.Jennie Rogers @jennie_rogers_
160 Followers 543 FollowingAnton Xue @AntonXue
157 Followers 121 Following Computer Science PhD Student @ UPenn Explainable Machine Learning + Formal MethodsMate Soos @SoosMate
937 Followers 409 Following @[email protected] Hacker, security architect, and researcher. Hobbies: SAT solving, accident investigations, rc modeling, etc.Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketFranjo Ivancic @fivancic
341 Followers 783 Following Senior Staff Software Engineer & Manager at Google. https://t.co/GNlq6Pi68dV.S. Subrahmanian @vssubrah
712 Followers 261 Following AI, ML, predictive analytics, forecasting in many different domains (e.g. social media, counter-terrorism, cybersecurity). Professor at Northwestern Univ.Josh Beal @TheBealDeal
460 Followers 880 Following PhD student in the Yale Applied Cryptography Lab @Stanford alum • R&D for the next hyperstructuresAmy Kundrat @modernamy
2K Followers 3K Following Director at @Yale_Ventures | MBA @YaleSOM | #amcoutdoors advisor | Fan of leaving the world better than I found it.Chris @inxoy_
170 Followers 315 Following CS @TU_Muenchen, @UCBerkeley Interested in all things security@MWalkerKane @Yale @YaleLawSch @YaleEngineering No, but I get free two-day deliver with Prime
I’m excited to share that together with my amazing collaborator Ruzica Piskac we’ve received an Amazon Research Award for our proposal "Democratizing the Law - Using LLMs and Automated Reasoning for Legal Reasoning." @Yale @YaleLawSch @YaleEngineering amazon.science/research-award…
Every time I fuck up, I remind myself of the time Elon ripped out a sink while tripping on Ketamine and I immediately feel a lot better.
WoW 16 papers (!!) of @ASPLOSConf 2024 are authored or co-authored by @IllinoisCS and @ECEILLINOIS faculty and students from 9 research groups across 13 technical sessions. What a powerhouse of multidisciplinary computer systems research at UIUC.
I am thrilled to announce that I will be joining @IUBloomington as an Assistant Professor of @IULuddy this Summer. I cannot thank enough to my wonderful advisor @gianluca_string . I am grateful to all people who helped me get here. 🧵1/5
Introducing RepoQA for evaluating LLMs’ repository understanding! 🌐 Leaderboard of 25+ models: evalplus.github.io/repoqa.html ⚙️ GitHub: github.com/evalplus/repoqa 🎨 Supporting 5 programming languages (more coming soon) 🚀 Evals openai/vllm/anthropic/HF/gemini models in one command! 🧵
We’ve recently republished our “Building Better Systems” Podcast (briefly lost to the digital void), and boy are there some gems in the backlog. For starters: this fun and still quite relevant conversation with Jean Yang. Check it out here: youtu.be/dF13KTidjdI?fe…
Congrats Dr. @hyeok__kim on a successful dissertation defense! He blew everyone away with the rigor, comprehensiveness, and polish of his research program on multi-context visualization design. Pictured w committee of me @janehoffswell @mjskay & @horn_michael
Paper awards don’t do much for me these days but happy to see @zdongping study of conformal prediction for AI-assisted image labeling get awarded at #chi2024! arxiv.org/abs/2401.08876 Also check out DP’s #cscw2024 work on design under strategic reactions arxiv.org/abs/2310.10858
Announcing the #ILLINOIS Siebel School of Computing and Data Science at @uofigrainger made possible with a $50 MM gift from @TomSiebel. With our #5 in-the-nation computer science program and 21 blended degree programs, the best is yet to come! 🔸🔹 ▶️ grainger.illinois.edu/news/stories/6…
The best collaboration established at @ICSEconf 2024 is with @_jon_bell_ 🥂 Here's the moment when Student Mentoring Workshop (SMeW) Steering Committee was born! 💫🌱💕 Our main job is to make sure SMeW becomes a traditional ICSE track and happens every year! It's official now!🥳
At CFAIL 2024, the best paper award should go to Yilei Chen for #eprint555. @cfaiil @TheAlliBishop
The great Gilles Barthe begins his plenary at @BellairsResear1
It’s okay if you don’t feel sparkly today. It's cool if you're not feeling it. Step back for a bit. There’s just one problem. You already sparkle. Maybe you don’t see it, but others do. You belong, just like every star in this star cluster belongs.
Look at who is on Illinois campus today 🙂
@tianyin_xu Thanks for the grand tour and the Bubble tea! #AlmaMater @IllinoisCS @ECEILLINOIS #Kubernetes
Yale scientists have helped identify a distant, unusually small star system orbiting the Milky Way that may offer evidence of a new class of dark matter-dominated satellite galaxies. #Yale news.yale.edu/2024/04/05/ast…
This is actually really cool -- you can now debug parallel SAT solvers. Super useful. github.com/facebookexperi…
Thank you @byroncook and @BjornerNikolaj for your keynotes at the @CSecCenter kick-off @tu_wien! On the top left of the slide, covering symbolic model checking, a picture of our rooftop dinner in Vienna, together with Laura Kovacs!
@mchri5taki5 @byroncook @CSecCenter @tu_wien The original. With @mchri5taki5.
Now that it is official, my amazing student Chris Harshaw is joining the statistics department @Columbia as an Assistant Professor. Super proud of him. chrisharshaw.com