Tom Henzinger(@thenzinger) 's Twitter Profileg
Tom Henzinger

@thenzinger

Computer scientist @ISTAustria @forwit_at @ERC_Research @theNASciences @royalsociety @Leopoldina @oeaw | he/him | science, logic, data 🇦🇹🇪🇺🇺🇸NATO🇺🇦🇮🇱

ID:174572424

calendar_today04-08-2010 07:31:26

931 Tweets

590 Followers

506 Following

European Research Council (ERC)(@ERC_Research) 's Twitter Profile Photo

Today our ERC Scientific Council - all members, including the newest - gathered in Brussels to discuss our strategy and take stock.

They represent the breadth of the scientific community in Europe.

Here they are!
erc.europa.eu/about-erc/erc-…

Today our ERC Scientific Council - all members, including the newest - gathered in Brussels to discuss our strategy and take stock. They represent the breadth of the scientific community in Europe. Here they are! erc.europa.eu/about-erc/erc-…
account_circle
Nicola Spaldin(@NicolaSpaldin) 's Twitter Profile Photo

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

account_circle
Christian Szegedy(@ChrSzegedy) 's Twitter Profile Photo

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/…

account_circle
European Research Council (ERC)(@ERC_Research) 's Twitter Profile Photo

In order to ensure Europe’s competitive edge in global science and technology, the ERC Scientific Council calls for a doubling of the budget of the next EU research framework programme (FP10) and maintaining the ERC’s independence.

Read the statement: erc.europa.eu/news-events/ne…

In order to ensure Europe’s competitive edge in global science and technology, the ERC Scientific Council calls for a doubling of the budget of the next EU research framework programme (FP10) and maintaining the ERC’s independence. Read the statement: erc.europa.eu/news-events/ne…
account_circle
FORWIT(@forwit_at) 's Twitter Profile Photo

Gestern fanden die erste Sitzung und der erste Neujahrsempfang des im November bestellten FORWIT statt! Die Ratsversammlung präsentierte dort die Arbeitsthemen für 2024:

Gestern fanden die erste Sitzung und der erste Neujahrsempfang des im November bestellten FORWIT statt! Die Ratsversammlung präsentierte dort die Arbeitsthemen für 2024:
account_circle
European Research Council (ERC)(@ERC_Research) 's Twitter Profile Photo

📣 Hot off the press: Transitional arrangements will allow the ERC to begin accepting applications from researchers based in 🇨🇭Switzerland once again, as from the calls under the ERC’s 2024 Work Programme.

Statement from the ERC's Scientific Council 👇
erc.europa.eu/news-events/ne…

📣 Hot off the press: Transitional arrangements will allow the ERC to begin accepting applications from researchers based in 🇨🇭Switzerland once again, as from the calls under the ERC’s 2024 Work Programme. Statement from the ERC's Scientific Council 👇 erc.europa.eu/news-events/ne…
account_circle
Nicola Spaldin(@NicolaSpaldin) 's Twitter Profile Photo

The ERC Scientific Council has been debating the use of AI tools in proposal preparation and decided not to require that their use be disclosed. Our statement here:
erc.europa.eu/news-events/ne…

account_circle
European Research Council (ERC)(@ERC_Research) 's Twitter Profile Photo

Starting today at 9:00 CET!

If you didn’t manage to reserve a seat, you can watch online here 👉webcast.ec.europa.eu/erc-workshop-r…

account_circle
Ursula Keller(@UrsiKeller) 's Twitter Profile Photo

Sexism in academia is bad for science and a waste of public funding
We just published this paper in Nature Rev. Mater. (2023) today.
doi.org/10.1038/s41578…

An open access link is given under this link rdcu.be/dr6Pp

Sexism in academia is bad for science and a waste of public funding We just published this paper in Nature Rev. Mater. (2023) today. doi.org/10.1038/s41578… An open access link is given under this link rdcu.be/dr6Pp
account_circle
Katalin Kariko(@kkariko) 's Twitter Profile Photo

Nobel Prize winner Katalin Karikó was 'demoted 4 times' at her old job. How she persisted: 'You have to focus on what's next' cnb.cx/3tqKkxm

account_circle
Sophia Kianni(@SophiaKianni) 's Twitter Profile Photo

This is shocking…this is Carl Sagan testifying before Congress in 1985 on climate change.

We should have listened. Imagine if we did

account_circle
Rajeev Alur(@RajeevAlur) 's Twitter Profile Photo

This work was done when we were PhD students at Stanford and visiting Weizmann Institute in Israel in Spring 1989

This work was done when we were PhD students at Stanford and visiting Weizmann Institute in Israel in Spring 1989
account_circle
CNN(@CNN) 's Twitter Profile Photo

The ranking of the world’s most liveable cities for 2023 has just been released by the Economist Intelligence Unit, and Vienna has come out on top yet again. cnn.it/3JqwxM5

account_circle
ISTAustria(@ISTAustria) 's Twitter Profile Photo

📢 Exciting news! 🎉 Check out @istaustria's newly released to witness a remarkable year filled with achievements, groundbreaking research, and much more. Dive in and explore!
🔗 bit.ly/42m6WuH

📢 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
account_circle
Tom Henzinger(@thenzinger) 's Twitter Profile Photo

I only wanted to point out the vacuity of the original statement. Among the many valid concerns about , the terms 'extinction' and 'alignment' are decoys

account_circle
European Commission(@EU_Commission) 's Twitter Profile Photo

Today is .

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.

account_circle
ISTAustria(@ISTAustria) 's Twitter Profile Photo

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.

account_circle