Diego Manzanas

Deep Learning, Cyber-Physical Systems, Formal Methods.

Research Scientist
Vanderbilt University

[Diego Manzanas @dieman95]

@futbol_fantasy Conseguirá por fin jugar Adam otro partido para sacarme el reto?

[J. AI Research-JAIR @JAIR_Editor]

New Article: "Towards Verified and Targeted Explanations through Formal Methods" by Hanchen David Wang, Diego Manzanas Lopez, Preston K. Robinette, Ipek Oguz, Taylor T. Johnson, Meiyi Ma https://t.co/iYkKGZzusS

[MrRatable @MRatable]

I just used 4.7 to create an 80 page primer on the history of budget airlines, incredible.
I didn’t read it but Claude made me a three bullet point summary.
I didn’t read that either but Openclaw put it in a markdown file to broaden my context.
I’m getting smarter every day.

[Taylor T Johnson @taylorjohnson]

7th International Verification of Neural Networks Competition (VNN-COMP'26) w/ 9th International Symposium on AI Verification (SAIV'26) @ 38th International Conference on Computer Aided Verification (CAV'26), consider participating!

https://t.co/JI23m69hNR

@confCAV @FLoC2026

[Kim Ghattas @KimGhattas]

A rather scary read... and a repeat of what we saw in Gaza.
"As planning for a potential strike in Iran was underway, Maven, powered by Claude, suggested hundreds of targets, issued precise location coordinates, and prioritized those targets according to importance, said two of the people. The pairing of Maven and Claude has created a tool that is speeding the pace of the campaign, reducing Iran’s ability to counterstrike and turning weeks-long battle planning into real-time operations, said one of the people. The AI tools also evaluate a strike after it is initiated, the person said."
https://t.co/yRRVbMnUvb

[Gergely Orosz @GergelyOrosz]

Things that were not on my bingo card

1. Anthropic marked as US supply chain risk by the government (same as Huawei (!!))

2. Claude going viral across non-tech people as a result, #1 on the app store

3. Mass ChatGPT cancellations thanks to OpenAI becoming the gov't AI supplier

[Gergely Orosz @GergelyOrosz]

If you pay attention he said AI will write all the code (which is happening at Anthropic) and never said they won’t need software engineers.

Turns out software engineers prompting the AI results in much better software, and software engineering is a lot more than writing code!

[Diego Manzanas @dieman95]

@josemorgado 🤭

[Santi Cazorla @19SCazorla]

La realidad es que la @LaLiga está a años luz de la @premierleague en todos los sentidos.

[Diego Manzanas @dieman95]

@gemmagaldon @juanludepaolis El 99% que le votan les da igual esto

[Diego Manzanas @dieman95]

@josemorgado No interesa que pierda sinner...

[Christian Keil @pronounced_kyle]

*taps the sign*

[Sebastian Aaltonen @SebAaltonen]

Just a reminder to everybody: If a website compares your new password with your old one, the web browser has to send a plain text password instead of a hashed one. This is a security issue.

[Professional Tennis Players Association @ptpaplayers]

PTPA statement regarding the Jannik Sinner case.

[Dr Heidy Khlaaf (هايدي خلاف) @HeidyKhlaaf]

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.

[Arvind Narayanan @random_walker]

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.

[IMDEA Software @IMDEA_Software]

🔵 #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 ➡️ https://t.co/SuZXD1wN4o
🔐@s3

[Diego Manzanas @dieman95]

@VandyGradUnion Columbia*

[Taylor T Johnson @taylorjohnson]

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

https://t.co/iGd5ZdzxAD

https://t.co/HlIYBrEsIJ

[Diego Manzanas @dieman95]

@lorisdanto @JulesJacobs5 Beginning of Feb