Diego Manzanas @dieman95
Deep Learning, Cyber-Physical Systems, Formal Methods. Postdoctoral Scholar @verivital, Vanderbilt University Nashville, TN Joined August 2012-
Tweets476
-
Followers117
-
Following121
-
Likes2K
If you're retweeting this and you: 1) Don't have a background in formal verification 2) Have not worked on safety-critical systems You're spreading damaging misinformation. FV is the reason why so much critical software infrastructure around you runs without killing you.
I'm starting to get more and more interested in the formal positioning around remote work, because it heavily involves two things I do: manage people, and punch up on bad science. So, with that in mind, I did not like this article. I will tell you why and try not to swear. 🧵🧵
I'm starting to get more and more interested in the formal positioning around remote work, because it heavily involves two things I do: manage people, and punch up on bad science. So, with that in mind, I did not like this article. I will tell you why and try not to swear. 🧵🧵
Jakob Foerster (@j_foerst) and I are hiring a PhD student for our FAIR-Oxford program to work at the intersection of language and RL. The student will spend 50% of their time @UniofOxford and 50% @metaai (FAIR), while completing a DPhil (Oxford PhD). Deadline: 1st of March
Given its scale, Bing chat will probably soon be responsible for more instances of defamation than all the humans on earth. It's making stuff up, not just serving existing content. I hope that means Microsoft can be held legally liable? Read the whole thread—truly unhinged.
Given its scale, Bing chat will probably soon be responsible for more instances of defamation than all the humans on earth. It's making stuff up, not just serving existing content. I hope that means Microsoft can be held legally liable? Read the whole thread—truly unhinged.
🔵 #InvitedTalk 🗣️ @taylorjohnson, from @Vanderbilt_CS @VanderbiltU 📅 Tomorrow, Dec. 15th ⏰ 11:00 🔎 “Formal Verification of Neural Networks in Autonomous Cyber-Physical Systems” 📍Mountain View meeting room 302 - #IMDEASoftware 🔴 LIVE on ➡️ zoom.us/j/3911012202 🔐@S3
📣 I'm hiring graduate students! 📣 If you're interested in research in programming languages, send me a DM or an email at [email protected]. I'm posting some possible project ideas below --
We're hiring tenure-track/tenured and teaching track faculty in computer science at @Vanderbilt_CS @VUEngineering, please consider joining our great & collegial department at @VanderbiltU in @visitmusiccity ! @csfacultyjobs engineering.vanderbilt.edu/faculty-staff-… vu.edu/destination-cs
My first submittable faculty application draft is done, so perhaps it's time to announce: I'm on the machine learning and computer science faculty job market! I study data-efficient learning and decision-making. If you want to know more, please reach out, and spread the word!
Great entry point into ML research: You only can apply if you have not yet published. It's 8 months with payment, access to massive compute, and great mentorship from world class researchers & engineers. I'm looking forward to read your amazing proposal.
Great entry point into ML research: You only can apply if you have not yet published. It's 8 months with payment, access to massive compute, and great mentorship from world class researchers & engineers. I'm looking forward to read your amazing proposal.
Terrifying fact: we figured this out at Google and it was part of why we stopped the program. The folks who left the program to start Starlink knew all this.
Following @Dyson's big robotics reveal... I'm honoured and excited to be appointed Director of Robot Learning and founding a new Dyson Robot Learning Lab in London! We are hiring research scientists, robotics engineers, game devs, interns. Log interest: forms.gle/5CqzpZ9kJDeSoG…
Netherlands' scandal serves as a warning for Europe over risks of using AI & algorithms. "1000s of families.. were pushed into poverty.. Some victims committed suicide. 1000+ children were taken into foster care." #BigData #DataProtection #GDPR #AIact politico.eu/article/dutch-…
“I learned very young that every aspect of my life would be controlled by my status.” - Athulya Rajakumar (1/3)
Want to read an insane tenure denial story? I was denied tenure at MIT in 2018. I was the only Hispanic faculty at my department, had 13k+ citations, 2 books, & papers in Nature, Science, & PNAS. I was never given a reason & the only letter I got told me to check the website./1🧵
Call for papers for the 4th @iclr_conf workshop on Practical machine learning for Developing Countries on April 29, 2022. pml4dc.github.io/iclr2022/cfp.h… Deadlines are (all in 2022): Submissions deadline: February 25 Notification: March 25th Camera ready (Tentative): April 10th
New free course available: ROB 501: Mathematics for Robotics 🧮🤖 Vector spaces, orthogonal bases, least squares, matrix factorizations, Kalman filter, convergent sequences, Newton Raphson algorithm, convexity, & more... All free on YouTube and GitHub! github.com/michiganroboti…
The Institute for Software Integrated Systems at Vanderbilt University has now opened applications for its Summer Internship Program! Open to Undergraduate and Graduate Students residing in the U.S. during the summer. Like & Share! More info here: cps-vo.org/group/isis/int…
Elon Musk thinks vehicles using LiDAR to detect objects is “lame”, “frickin stupid”, “a fool’s errand”, etc., yet his cars fail to detect children in the middle of the road. In the 1950s, there was similar opposition to using seat belts.
Big news for NHTSA, Tesla, and autonomous vehicle regulation: "The White House plans to announce Duke University engineering & comp sci professor @missy_cummings as the new senior adviser for safety at NHTSA." ca.finance.yahoo.com/news/exclusive…
Antonina Pirollo @AntonPirol
64 Followers 5K FollowingCollen Tempe @CollenTemp69887
82 Followers 5K FollowingThadouth @thadouth13928
20 Followers 1K FollowingPeyton_US_ @us_peyton5343
23 Followers 2K FollowingFMASWorkshop @FmasWorkshop
539 Followers 2K Following Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Tweets by @MattLuckcuckChwep @chwepflaneur
79 Followers 183 FollowingBorzoo Bonakdarpour @TheBorzoo
462 Followers 240 Following Husband, Dad, Associate Prof of Computer Science at Michigan State University. Computer and music nerd.Yasser Shoukry @yshoukry
825 Followers 2K Following Associate Professor, Resilient Cyber-Physical Systems Lab, University of California, Irvine. Interested in provably safe autonomy, formal methods, and robotics.Paulius Stankaitis @pastankaitis
30 Followers 115 Following Lecturer at University of Stirling @StirUni. Interested in Formal Methods and safe CPS/AILucas @Lucas18835766
18 Followers 1K FollowingJudith Amores @jdthamores
4K Followers 3K Following #Firstgen. Senior Researcher @MSFTResearch. Augmented Reality & Augmented Cognition. Prev. @harvardmed @google. PhD @MIT @medialab olfactory interfacesThe Tennessee Holler @TheTNHoller
207K Followers 132K Following ALWAYS YELL THE TRUTH. Lifting up voices and shining a light on injustices in Tennessee. (DM with story tips!) CASH APP $TNHoller or CHIP IN at the link👇🏽Kaustubh Sridhar @ IC.. @_k_sridhar
353 Followers 2K Following Embodied AI research in a PhD @PennEngineers, internships @AmazonScience, Prev: ugrad @iitbombay.Alireza Farhadi @AlirezaTCS
55 Followers 5K Following دع التکاسل تغنم فقد جری مثل که زاد راهروان چستی است و چالاکیP.H. Broyhill @BroyhillPh
329 Followers 3K FollowingHaley's Commit @adhocdown
657 Followers 776 Following Improving XR technology via the powers of computer science and perception | HCI | Accessibility | CS PhD Candidate @VanderbiltU | Aspiring unicyclistCPS-VO @cpsvo
292 Followers 659 Following Cyber-Physical Systems Virtual Organization: Fostering collaboration among CPS professionals in academia, government, and industryPartners for Automate.. @PAVECampaign
4K Followers 1K Following A coalition of industry, nonprofits, public sector entities & academics with one goal: to educate the public about automated vehicles and their potential.José Juan Manzanas @JosJuanManzana1
6 Followers 23 Following Economista, deportista y aprendiz de baileHuascar Espinoza @HuascarEspinoza
733 Followers 684 Following AI, edge AI, safety engineering, cyber-physical systems. PhD Computer Science. Programme Officer at Chips JU 🇧🇴 🇪🇸 🇪🇺.Stephanie Castillo, P.. @PhutureDoctors
2K Followers 2K Following I train scientists on how to tell multimedia stories — Science Video Producer @STEMedia with a #SciComm Ph.D.Weiming Xiang @xiangweiming
204 Followers 240 Following Assistant Professor in the School of Computer and Cyber Sciences at Augusta University.VeriVITAL @verivital
80 Followers 258 Following The Verification and Validation for Intelligent and Trustworthy Autonomy Laboratory, EECS, Vanderbilt University, https://t.co/5hVRK3Kl19 @TaylorJohnsonA and V Network @AandVNetwork
630 Followers 1K Following Research network focussing on verification of autonomous systems. Distributed across several universities Led by Prof. Michael Fisher. Tweets by @MattLuckcuckStanley Bak @StanleyBak
444 Followers 322 Following Assistant Professor in the Department of Computer Science at Stony Brook University investigating formal verification for autonomy. Views are my own.ART PLEASE @_artplease
14K Followers 11K Following ART PLEASE is a collector-to-collector discovery platform for blue-chip fine art.Taylor T Johnson @taylorjohnson
698 Followers 4K Following Safe & trustworthy AI & autonomy, Associate Professor @Vanderbilt_CS @ECEVanderbilt @verivital @VUEngineering @VanderbiltU, Alum @ECEIllinois & @RiceECE, he/himBeth Taylor @bpt1997
7 Followers 20 FollowingExpertoComunio @comuniero29
518 Followers 3K Following Elijo tu once, dudas comunio, jugadores, GANADOR COMUNIO. Experiencia. Descubridor de secretos y jugadores. TIPSTERTracy Johnson @TracyJohnsonn
176 Followers 179 Following I can't make everyone happy, I'm not an avocado.The Scotsman Club @ScotsmanClub
980 Followers 1K Following Follow us for the latest in Scotsman Club and Blue Hose Athletics at PC!Listas Mittydisco @ListasMittydisc
78 Followers 600 Following La mejor fiesta en Mittybeach!! Listas:Pablo Palau 696 443 676Dennis Herendeen @HerendeenDennis
10 Followers 79 FollowingLuciaa Romero @LuciaRomeroFc
287 Followers 99 FollowingNMMI Bronco Tennis @NMMITennis
27 Followers 10 FollowingRebecca McGrath @becmcgrath48
90 Followers 104 FollowingWilliam O'Connell @william92oc
34 Followers 75 Following New Mexico Military Institute Men's Tennis Head CoachRopaBarata Moonlight @RopaBarataMoon
16 Followers 222 Following VENTA DE ROPA DE MARCA. Envío gratuito. PAGOS SEGUROS POR PAYPAL O TRANSFERENCIA. Si quieres algo que no sale en el catálogo, dínoslo y te diremos. SOLO WAPC SGA @presbysga
91 Followers 255 Following Welcome to the official Presbyterian College Student Government Association page! Here, you'll find the most up-to-date information on SGA events and activitiesPresbyterian College .. @BlueHoseWTen
351 Followers 157 Following Official page of the Presbyterian College Blue Hose women's tennis team. Live Scores and Updates on PCWTNacho @nacho97ATM
306 Followers 359 FollowingFEVER @listasRonald
175 Followers 847 FollowingCatherine Dunagan @CoachDunagan
446 Followers 322 Following Head Women’s Tennis Coach at the University of North Florida 💙🎾💙🎾#SWOOPLife• Alba • @AlbaCamel
129 Followers 337 FollowingInternazionali BNL d'.. @InteBNLdItalia
62K Followers 462 Following Internazionali BNL d'Italia, May 6-19, 2024 @ForoItalico, Rome #IBI24Anirudh Khatry @AnirudhKhatry
437 Followers 753 Following Incoming CS PhD @UTAustin | Research Fellow at @ProseMsft, @Microsoft | AI4Code | Guitarist | VJTI ‘21Morgan Klaus Scheuerm.. @morganklauss
3K Followers 886 Following HCI research scientist @SonyAI_global. ethical AI, identity, technological harm. prev: @cuinfoscience @umbcinfosystems Microsoft Research Fellow. tweets my own.Marie Pellat @m_pellat
1K Followers 200 Following AI Scientist, @MistralAI - previously Google // Responsible AIFormal Methods 2024 @FMsymp
604 Followers 256 Following The 26th International Symposium on Formal Methods. #FM2024Rubén Ballester @rballeba
1K Followers 518 Following I'm a PhD student in (topological) persistence theory and topological machine learning at Universitat de Barcelona.Nashville 311 @311Nashville
7K Followers 104 Following Real-time Nashville Metro PD dispatch calls and crowd sourced information about police activity. #Nashville (unaffiliated with MNPD)Anastasia Isychev @izycheva
355 Followers 107 Following postdoc @tu_wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)Debasmita Lohar @DebasmitaLohar
65 Followers 99 Following Postdoctoral Researcher at Karlsruhe Institute of Technology. Interested in Program Verification and Testing techniques for safe Approximate Computing.Berivan Isik @BerivanISIK
3K Followers 2K Following PhD @StanfordAILab. Scalable & trustworthy ML, transfer learning, language models, federated learning, privacy | prev: @Google @AWSCloud @VectorInstSasha Luccioni, PhD �.. @SashaMTL
19K Followers 4K Following AI & Climate Lead @HuggingFace, Board Member of @WiMLworkshop, Founding Member of @ClimateChangeAI. @TEDTalks speaker. She/her/Dr/ 🦋Eva Darulova @malyzajko
167 Followers 93 Following Assoc. prof. at Uppsala universitet. Programming languages, verification, approximate computing, finite-precision. Also @[email protected]ACM/IEEE Embedded Sys.. @es_week
354 Followers 92 Following Premier conference for software & hardware design of intelligent, connected computing systems. Includes CASES, CODES+ISSS, EMSOFT, MEMOCODE, NOCS.Car-Free America @CarFreeAmerica
1K Followers 68 Following You don't hate cities. You hate cars. Let's build a future without them.Abeba Birhane @Abebab
53K Followers 2K Following Senior Advisor, AI Accountability @Mozilla |Cognitive science PhD |Adjunct prof @tcddublinscss, @tcddublin |Ethiopian in Ireland |She/her @abeba.bsky.socialValeriy M., PhD, MBA,.. @predict_addict
19K Followers 3K Following PhD in machine learning | conformal prediction | time-series | author of bestselling Practical Guide to Applied Conformal-Prediction https://t.co/ugR9TtXd29Borzoo Bonakdarpour @TheBorzoo
462 Followers 240 Following Husband, Dad, Associate Prof of Computer Science at Michigan State University. Computer and music nerd.Thomas Beckers @_ThomasBeckers_
623 Followers 773 Following Assistant Professor at @VanderbiltU ⚓︎| Former Postdoc at @Penn 📝| PhD from @TU_Muenchen 🏞️| Working on safe learning-based modeling and control 🤖Yasser Shoukry @yshoukry
825 Followers 2K Following Associate Professor, Resilient Cyber-Physical Systems Lab, University of California, Irvine. Interested in provably safe autonomy, formal methods, and robotics.Fly Nashville @Fly_Nashville
29K Followers 639 Following Official account for Nashville International Airport®. Submit questions to https://t.co/H9MmvF7lcn Need help now? Call 615-275-1675 (6:30 a.m. - 11 p.m. CST).Anka Reuel @AnkaReuel
1K Followers 976 Following Computer Science Ph.D. Student @ Stanford | Responsible AI Research Lead @ Stanford AI Index | Responsible AI | AI Governance | Views are my ownAndreas Zeller @AndreasZeller
9K Followers 226 Following Software researcher at @CISPA. Testing, debugging, analyzing, and protecting software for a better world. Find me on Mastodon as @[email protected]AIhub @aihuborg
2K Followers 41 Following Non-profit dedicated to connecting the AI community to the world. Supported by AAAI, NeurIPS, ICML, RoboCup, IJCAI/AIJ, CLAIRE, EurAI/AICOMM and ACM SIGAI.European AI & Society.. @EuropeanAIFund
2K Followers 549 Following Working to shape Artificial Intelligence to better serve people and society.Vanderbilt Women's Te.. @VandyWTennis
3K Followers 208 Following 2015 National Champions | 6 Final Four appearances | 27 NCAA Tournament appearances | 3 SEC Tournament titles | #FightDores | #AnchorDownJosé Morgado @josemorgado
195K Followers 2K Following Journalist & tennis commentator @Record_Portugal @SportTVPortugal @Bola_Amarela [email protected]Nashville Electric Se.. @NESpower
37K Followers 387 Following We're committed to providing safe, reliable power and positive customer experiences. Monitored daily from 6 a.m.-10 p.m. To report an outage, call 615-736-6900.IMDEA Software @IMDEA_Software
2K Followers 1K Following At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient | @ComunidadMadridEticas AI / Algorithm.. @EticasAI
3K Followers 2K Following Moving from tech ethics principles to actual practices. We make ethics actionable & algorithms explainable. [email protected]Gemma 🤖 ⚖️ ♀.. @gemmagaldon
16K Followers 3K Following Working to protect people in tech @Eticas_tech. Algorithmic auditing. Responsible AI. Ethics & innovation. Advisor UN, EC, EIT, OECD, EU Parl, BID.Suguman Bansal @sugumanbansal
878 Followers 277 Following Assistant Professor at @gatech_scs | Postdoc @Penn | NSF/CRA #CIFellow 2020 | PhD from @RiceCompSciCS Faculty Jobs @csfacultyjobs
5K Followers 2 Following Faculty jobs in Computer Science worldwide. Mostly automated. Mention/DM openings & we'll retweet. Created by @emilianoucl, now run by @shaddihVanderbilt Graduate W.. @VandyGradUnion
2K Followers 2K Following Vandy grad + professionals organizing for better working conditions at VU. Ready to organize your dept? Send us a DM! Linktree: https://t.co/WdRUFcJZesGergely Orosz @GergelyOrosz
250K Followers 2K Following Writing @Pragmatic_Eng, the #1 technology newsletter on Substack. Author of @EngGuidebook. Formerly Uber & Skype.Premier Padel @premierpadel
44K Followers 135 Following Premier Padel - the official new global Padel tour 🎾Judith Amores @jdthamores
4K Followers 3K Following #Firstgen. Senior Researcher @MSFTResearch. Augmented Reality & Augmented Cognition. Prev. @harvardmed @google. PhD @MIT @medialab olfactory interfacesClara Fernández @fernandezclara
1K Followers 467 FollowingJames Weimer @james_e_weimer
195 Followers 245 Following Assistant Professor @Vanderbilt_CS, co-founder @neuralert and vasowatchNashSevereWx @NashSevereWx
306K Followers 421 Following Community Supported Local Weather, Nashville & Williamson Co ° @NashvilleScene Readers' Poll Best Twitter Acct '14-'23 ° 2016 & 2022 NWA W. J. Bennett AwardRajeev Alur @RajeevAlur
1K Followers 230 Following Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systemsWKRN News 2 @WKRN
221K Followers 1K Following Local Coverage You Can Count On. WKRN-TV is the ABC affiliate in Nashville, Tennessee. Be sure to 'like' us on Facebook at https://t.co/doQfqqXr7h.elvis @omarsar0
190K Followers 486 Following Building with LLMs @dair_ai • Prev: Meta AI, Galactica LLM, PapersWithCode, Elastic, PhD • Creator of the Prompting Guide (~4M learners)Loris D'Antoni @lorisdanto
6K Followers 731 Following Professor @WisconsinCS, this summer moving to @ucsd_cse. Also Visiting Academic @AWScloud. Helps people write programs that do the thing people want them to do.WSMV 4 Nashville @WSMV
304K Followers 2K Following Your source for breaking news, weather, investigations, and exclusive local stories for Middle Tennessee and beyond. News Tips: [email protected]Chris Olah @ch402
91K Followers 173 Following Reverse engineering neural networks at @AnthropicAI. DMs open! Previously @distillpub, OpenAI Clarity Team, Google Brain. Personal account.Distributed AI Resear.. @DAIRInstitute
23K Followers 405 Following AI is not inevitable. We DAIR to imagine, build & use AI deliberately. Follow us on Mastodon at @[email protected]Juan M. Lavista Ferre.. @BDataScientist
5K Followers 3K Following @Microsoft Chief Data Scientist. AI For Good Research Lab, Kinder/1st CS Teacher at GIS. Faculty at Singularity University, TedX Speaker, Uruguayan #aiforgoodThe gagging 😭😭
Given FM already means something well-known (Formal Methods) in SE circles, and the mad rush to do anything related to AI, I recommend that the Foundational Models + SE folks use a different acronym than FM: FoMo (Seriously, calling it FM is really silly.)
It was a great honor to be part of the FM+SE summit in Japan! #aiware
Hubo una época en la que habría tenido cierto sentido pagar 100 euros al mes para ver @LaLiga
Very popular opinion, really, it's some of the best tennis to watch all year despite non-marquee fields. It's just rough that other markets where tennis is less passionately followed can throw around more money (and that trend is only strengthening).
Unpopular opinion 🚨 South America should have its own dedicated swing on the tennis tour with its own masters series. The way the fans support the tournaments there is incredible. Amazing atmospheres and 🎾 is clearly part of their sporting culture. Vamos @atptour !
My NSF CAREER was awarded. nsf.gov/awardsearch/sh… A big thanks to the NSF CPS program and all my collaborators (especially the students) and my colleagues in @VUEngineering , @Vanderbilt_CS , and @ViseVanderbilt.
PSA if you're a prospective student emailing a Prof, it's fine to use an LLM to copy edit for grammar and whatnot but if it looks like most of the content is generated, I'm going to completely ignore the email
Me right now. I regret opening my emails on a post time off flight home. Declaring bankruptcy soon 😭. If I owe you something, you haven't been ghosted (yet), pls bear with me while I try to dig myself out
Wow. Carmakers will hate this, but I think it's great: A new California bill from @Scott_Wiener would require all new cars to contain speed governors that prevent them from going 10 mph+ over the speed limit. sfchronicle.com/bayarea/articl…
I can't work under these conditions (the conditions: forced to work on Word)
not at all. i know quite a few people in @GoogleDeepMind who have phds and are *fantastic* ML engineers. until a month ago, i was an ML engineer with a phd, and i was told i was pretty good...
Metro schools are closed again tomorrow. It's a great time to remind you that when schools/daycares are closed, parents can't go to work, leading to a dominoe effect on our workforce. It's time we value childcare as the lifeblood of Tennessee's economy.
TN and KY are colder than Alaska this morning. STAY WARM! wkrn.com/weather/foreca…
PhD student: one month preparation for lecture Postdoc: two weeks preparation for lecture Professor:
On this cue, I am beyond-excited to announce that I am joining the UC San Diego Department of Computer Science and Engineering @ucsd_cse as an Associate Professor this coming Fall. I will miss Madison and the great colleagues here, but looking forward to the new adventure ahead.
Wait, what? Dropbox just started giving paid customers data to OpenAI? Is this for real?
For those wondering who the Third Party @Dropbox just gave everyone’s data automatically to, it’s Open AI. Considering all the lawsuits Open AI has concerning illicit use of ill-gotten data, privacy breaches and data leaks this arrangement inspires 0 confidence.Bad move Dropbox.
GPT-4 and Gemini are systems and products, not models. There must be lots of engineering tricks and hard-coded rules, and we would never know how many models are inside the systems before open-sourcing. Requesting comparison with them is unfair in scientific research.
[HSCC 23 Test of Time Award] Verification of Linear Hybrid Automata through Set Propagation – ACM SIGBED: sigbed.org/2023/12/04/hsc…
Just heard one of my Honours students* use the phrase "highly non-trivial" in their thesis presentation. My job here is done. * (4th year research undergrad)