@thenzinger

Computer scientist @ISTAustria @forwit_at @ERC_Research @theNASciences @royalsociety @Leopoldina @oeaw @acad_euro

 Vienna, Austria
Joined August 2010
  • Tweets885
  • Following493
  • Followers549
9Media
Tom Henzinger retweeted
Nicola Spaldin@NicolaSpaldinMar 26
After a lot of work and many stimulating discussions, the ERC Scientific Council has clarified the use of AI by panel members and remote reviewers in proposal evaluation: erc.europa.eu/news-events/ne…

ERC clarifies limits on AI use in grant evaluation

The ERC Scientific Council has adopted new guidelines on the use of artificial intelligence in the evaluation of grant proposals. The guidelines aim to safeguard the integrity of peer review while...

erc.europa.eu
1
1
9
538
Our Scientific Council met for the first plenary in its new constellation! Meet our six new members and our three new Vice-Presidents: link.europa.eu/NdwjMm Learn more about our independent governing body: link.europa.eu/CPH7DW
1
12
2
31
4,026
Certificates in AI: Learn but Verify cacm.acm.org/research/certif…
1
4
154
Tom Henzinger retweeted
ISTAustria@ISTAustria10 Sep 2024
Take your career to the next level: #FacultyCall @ISTAustria is open! We're seeking exceptional group leaders in #chemistry, #ComputerScience, #DataScience, #EarthScience, #LifeSciences, #mathematics, and #SoftMatterPhysics to join our institute. Apply 🔗 bit.ly/47mxEre
📸 © Josef Herfert | ISTA

ALT 📸 © Josef Herfert | ISTA

19
2
28
9,543
Cool, I'm a physicist now! #nobelprize
55
195
45
3,573
267,885
“We must put research & innovation at the heart of Europe’s economy.“ In an emphatic speech @CERN, Pres. @vonderLeyen stressed Horizon Europe and that “its crown jewel is the European Research Council” that backed science that led to 14 Nobel Prizes. 🎥 xitter.cf/i/broadcasts/1yoKMyrvo…
0:00

Ursula von der Leyen

LIVE: Speech at CERN's 70th anniversary

2
30
3
123
27,971
Tom Henzinger retweeted
Maria Leptin@mleptin9 Sep 2024
Still digesting the landmark #Draghireport, but great to see the emphasis on R&I. Very happy with proposal to double support to ground-breaking fundamental research via the European Research Council! And the stance on preserving the ERC's independence. commission.europa.eu/topics/…

The Draghi report on EU competitiveness

Read Mario Draghi's report on the future of European competitiveness, which lays out clear recommendations on how Europe can boost its economic growth.

commission.europa.eu
Kurt Deketelaere@LERU_SG9 Sep 2024
Mario Draghi on the ⁦@ERC_Research⁩. Perfect summary 👏👏 ! ⁦@LERUnews⁩
3
63
4
234
51,422
My warmest congratulations, Rajeev! So well-deserved!
Rajeev Alur@RajeevAlur16 Aug 2024
Incredibly honored to receive this award, thank you @sigact I am grateful to all my collaborators, students and colleagues from @PennEngineers and @CIS_Penn
9
581
Tom Henzinger retweeted
Luke O'Neill@laoneill11118 Jul 2024
Good news for science funding in Europe. Reappointed President von der Leyen says: We will increase our spending..on groundbreaking fundamental research.  To do this, we will expand the European Research Council and the European Innovation Council. commission.europa.eu/documen…
18
1
99
8,433
Tom Henzinger retweeted
MIT CSAIL
@MIT_CSAIL26 Jun 2024
Machine learning systems, explained. Comic v/@xkcd
5
70
7
352
35,653
Congrats Matteo !
Matteo Maffei@matteo_maffei11 Jun 2024
Deeply honored and grateful to @ERC_Research for the continuous support to my research! After Browsec comes Blocksec, my new ERC Advanced Grant on formal methods for blockchain security. tuwien.at/en/tu-wien/news/ne… Interested to join our team @tu_wien @CSecCenter @SecPrivTUWien as intern, Ph.D. student, or postdoc? We have multiple positions, apply online: secpriv.wien/jobs/

ERC Advanced grant for Matteo Maffei: Guaranteed Security for Blockchains

Prof. Matteo Maffei has been awarded an ERC grant for his research into the security aspects of blockchain technologies. It is already his second.

tuwien.at
8
653
Professor Thomas Henzinger ForMemRS is elected a Foreign Member of the Royal Society. His research focuses on the theory of software systems, especially models, algorithms, and tools for the design and verification of reliable software systems. #RSFellows royalsociety.org/people/thom…
1
4
40
7,109
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-…
2
14
4
108
25,943
Nature article discussing whether ChatGPT is making scientists hyper-productive? With comments about the @ERC_Research Scientific Council's recent statement on AI and from fellow Council member Ton Henzinger: nature.com/articles/d41586-0… @thenzinger @Nature

Is ChatGPT making scientists hyper-productive? The highs and lows of using AI

Nature - Large language models are transforming scientific writing and publishing. But the productivity boost that these tools bring could have a downside.

nature.com
1
5
1
15
2,713
Tom Henzinger retweeted
Stefan Schmid@schmiste_ch11 Feb 2024
Call for nominations: EATCS Award 2024 Deadline: March 15, 2024 eatcs.org/index.php/componen… @eatcs_secretary @thenzinger @AmosFiat
5
6
1,419
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/art…

New GitHub Copilot Research Finds 'Downward Pressure on Code Quality' -- Visual Studio Magazine

'We find disconcerting trends for maintainability.'

visualstudiomagazine.com
14
22
4
159
26,244
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…
5
158
23
539
70,772
📣 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…
5
147
39
528
127,501
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…
3
20
2
45
12,493
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-wor…
European Research Council (ERC)
@ERC_Research27 Nov 2023
Coming up tomorrow Tuesday 28 November: the ERC's annual conference. This year's topic is "Research on Diversity & Diversity in Frontier Research". In-person places are booked out, but you still have the chance to follow online! 👇👇🏻👇🏽👇🏾👇🏿 erc.europa.eu/news-events/ev…
9
1
27
11,646
Load more