Tom Henzinger
@thenzinger
Computer scientist @ISTAustria @forwit_at @ERC_Research @theNASciences @royalsociety @Leopoldina @oeaw | he/him | science, logic, data 🇦🇹🇪🇺🇺🇸NATO🇺🇦🇮🇱
ID:174572424
04-08-2010 07:31:26
931 Tweets
590 Followers
506 Following
Nature article discussing whether ChatGPT is making scientists hyper-productive? With comments about the European Research Council (ERC) Scientific Council's recent statement on AI and from fellow Council member Ton Henzinger: nature.com/articles/d4158… Tom Henzinger nature
That's why i think (and have been saying for years) that software generation without verification is like building on sand. The more we rely on AI-generated code, the more sophisticated verification we will need. In the limit: formal guarantees. visualstudiomagazine.com/articles/2024/…
📢 Exciting news! 🎉 Check out @istaustria's newly released #AnnualReport to witness a remarkable year filled with achievements, groundbreaking research, and much more. Dive in and explore!
🔗 bit.ly/42m6WuH
Today is #EuropeDay .
On this day in 1950, Robert Schuman delivered his famous Declaration – a historic moment in European history that set the foundation for the EU as we know it today.
Only through unity and solidarity are we able to maintain the European project.
Snippets and highlights from the inauguration speech of our second @istaustria President and CEO, Martin Hetzer. It was a moment of great pride and celebration for all of us at ISTA, witnessing the visionary leadership that Martin brings to our Institute.