Bernd Finkbeiner
@FinkbeinerBerndComputer scientist at @CISPA and @Saar_Uni. Formal methods, security, cyber-physical systems, and theory of computation.
Similar User
@PeterOHearn12
@CISPA
@RajeevAlur
@confCAV
@rupakmajumdar
@HerrDreyer
@beyer_dirk
@izycheva
@mchri5taki5
@BjornerNikolaj
@AuroreFass
@ringo_ring
@matteo_maffei
@TheBorzoo
@ISCAConfOrg
The third iteration of the HYPER workshop will be co-located with @confCAV in Montreal, Canada, on July 23! Find the call for presentations and invited speakers at hyperworkshop24.cispa.io, the deadline for extended abstracts is April 25. See you at #cav24!
Congratulations, Jana!
Congrats, Jana Hofmann @jana_tweets_cs The former CISPA researcher was awarded by the Saarland University Society for her outstanding doctoral thesis on “Logical methods for the hierarchy of hyperlogics“.
The Reactive Systems Group wishes everyone who celebrates Rosh Hashanah a Happy New Year! 🍏🍯🎉
We are hiring! Two fully-funded PhD positions in Assured Autonomous Systems @chalmersuniv For more information see the link below: chalmers.se/en/about-chalm…
Congratulations to @HazemTorfah and @chalmersuniv!
Very excited to join Chalmers University of Technology! As of August, I will join the Computer Science and Engineering Department at @chalmersuniv as an Assistant Professor.
"I dream of a world where software systems are securely based on mathematical proofs and no longer have security-related vulnerabilities..."👇
Dr. Siegfried Dais recently joined the CISPA supervisory board. In the interview, he tells us why CISPA reminds him of an atomic lattice, why cybersecurity fascinates him, and what makes up great teams. cispa.de/en/interview-d…
Very honoured to receive this (quite beautiful!) award! 😊 This was a fun paper to work on. Shoutout to my co-authors @NorineCoenen @FinkbeinerBernd and Julia Tillman.
This year's distinguished paper awards go to Vincent Cheval and Itsaka Rakotonirina as well as Norine Coenen, Bernd Finkbeiner, Jana Hofmann, and Julia Tillman. Congratulations on your excellent works!
Hyper hyper! Second-order hyperproperties cover epistemic properties like common knowledge, Mazurkiewicz trace theory, and asynchronous hyperproperties
So, Second-Order Harry Potterties, or, officially, Second-Order Hyperproperties (with @FinkbeinerBernd, @ravenbeutner and @NiklasMetzgerCS) was accepted to CAV-2023 🥳 Preprint is available here - arxiv.org/abs/2305.17935
Welcome Adam, Aurore, Franziska, Giulio, Max, and Priyanka!
(1/2) We’re continuing to grow! We have again succeeded in attracting six outstanding researchers to our center! Our new leading researchers are coming to Saarbrücken from prestigious international research institutions. Please meet our new Faculty:
"I am particularly impressed by the awareness that their startup attempts will most likely not be successful (in one way or another). This mindset, which involves a mix of risk-taking, responsibility, and a certain amount of self-overestimation, seems to be very successful..."
CISPA researcher Christopher Hahn moved to Silicon Valley. In our interview, he talks about trend topics in the tech industry, the vibe shift in Silicon Valley, and the strengths of Saarland. cispa.de/en/transfer-an…
The cooperation between @AirbusCyber and CISPA is something very special: Find out in this video why CISPA and AIRBUS are ideal partners for this large-scale cooperation.
Congratulations on the Distinguished Paper Award, @ravbeu! The CISPA researcher was honored this year at the renowned International Conference on Computer Aided Verification (CAV) for his paper "Software Verification of Hyperproperties Beyond k-Safety." cispa.de/en/putting-sof…
We’re looking back on the Airbus CISPA Day. In the auditorium of the Saarland University, Airbus experts and CISPA researchers provided exciting insights into their work in front of a large audience. Read more: cispa.de/en/airbus-cisp…
Here are some impressions from the @AirbusCyber & CISPA Day. It was fascinating with the Airbus-CISPA Digital Innovation Hub and career opportunities in the spotlight. Numerous interested people gathered in the Aula of @Saar_Uni
In @st_ingbert sollen hunderte neue Arbeitsplätze entstehen. Das @CISPA-Helmholtz-Zentrum für Informationssicherheit baut mit Airbus ein Kompetenzzentrum. Dort soll Software entwickelt werden, um etwa Flugzeuge vor Hackerangriffen zu schützen. #Saarland sr.de/sr/home/nachri…
Project HYPER -- Logics and Algorithms for a Unified Theory of Hyperproperties -- is about to start!
Congratulations on the ERC Advanced Grant, @FinkbeinerBernd! Our CISPA Faculty is funded by @ERC_Research with about 2.3 million €. With his project HYPER, he wants to lay the foundations for verifiably fair, explainable, and privacy-compliant AI. cispa.de/en/erc-grant-h…
@FLoC2022 has officially started! 🎉 We are excited to be in Haifa and look forward to the amazing program and to connecting with the community in person again 👋 You can find a list of all our papers (incl. the session information for the talks) in the🧵below. See you there!
Our paper "Deciding Hyperproperties Combined with Functional Specifications" has been accepted at LICS'22! I'm SO much looking forward to FLoC this year, finally a conference in person again 🥳 The full version of the paper is now on ArXiv: arxiv.org/abs/2205.15138
We want to help. CISPA, therefore, supports the initiative #ScienceforUkraine and offers internships to Ukrainian students at CISPA. All info at: cispa.de/en/science-for…
United States Trends
- 1. Brian Kelly 1.975 posts
- 2. Feds 31,7 B posts
- 3. Nuss 2.419 posts
- 4. Lagway 3.052 posts
- 5. #UFC309 32,6 B posts
- 6. Gators 6.140 posts
- 7. Tyler Warren 1.725 posts
- 8. Travis Hunter 25,6 B posts
- 9. Clemson 10,6 B posts
- 10. Heisman 12,4 B posts
- 11. Hornets 9.677 posts
- 12. Nebraska 7.942 posts
- 13. Florida 65,9 B posts
- 14. Chris Wright 10,3 B posts
- 15. #Huskers 1.068 posts
- 16. Bill Nye 5.600 posts
- 17. Raiola N/A
- 18. Lamelo 6.643 posts
- 19. Trey Smack N/A
- 20. #mnwildfirst N/A
Who to follow
-
Peter O'Hearn
@PeterOHearn12 -
CISPA
@CISPA -
Rajeev Alur
@RajeevAlur -
CAV
@confCAV -
Rupak Majumdar
@rupakmajumdar -
Derek Dreyer
@HerrDreyer -
Dirk Beyer
@beyer_dirk -
Anastasia Isychev
@izycheva -
Maria Christakis
@mchri5taki5 -
Nikolaj Bjorner
@BjornerNikolaj -
Aurore Fass
@AuroreFass -
Alexandra Elbakyan
@ringo_ring -
Matteo Maffei
@matteo_maffei -
Borzoo Bonakdarpour
@TheBorzoo -
ISCA
@ISCAConfOrg
Something went wrong.
Something went wrong.