Wissenschaftler*innen in Deutschland brennen aus 👩‍🎓🚨 Der Grund: Kettenbefristungen. Nun liegt ein neuer Gesetzentwurf vor. Doch der greift zu kurz. ➡️ Jetzt WeAct-Petition von Gewerkschaften und Wis...

Discover the magic of temporal logic

I find it really hard to imagine that, five years from now, scientific papers will still play any role like today. The exponential growth of arXiv submissions is not sustainable. And the trend of stud...

Ab dem 9. Mai 2026 ist das Hauptgebäude der TU Belrin geschlossen.

1968 begann heute vor 60 Jahren im Kiez der Technischen Universität Berlin. (2 Jahre zu früh also.) Bei der ersten großen Demo gegen den Vietnamkrieg in West-Berlin am 5. Februar 1966 warfen Studieren...

In formalized proofs, the characterization of bisimilarity through symmetric simulations often is more convenient than the one through bisimulation relations. (The reason is that paper proofs about...

Logik-Kartenspiel als rundenbasiertes Fantasy-RPG.

“Oh dear, better use Lean then.” — was the first response by an Isabelle core maintainer when I asked how to use Isabelle/HOL with VS Code / GitHub Copilot. … So, should one? I’ve been an Isabelle/HOL...

Use the boxes, trap the monster!

The Weak Spectroscopy Game to Characterize Behavioral Equivalences in the Archive of Formal Proofs

Diesen Herbst wählen die Gremien der TU Berlin ein neues Präsidium. Amtsinhaberin Geraldine Rauch kandidiert erneut. Aber drei weitere Bewerber:innen fordern sie öffentlich heraus. Das ist eine bei Un...

Erneut werden Räume einer Berliner Uni besetzt. Dahinter stehen erstmals Antisemitismus-kritische Studenten, die sich gegen Hamas-Glorifizierung auf dem Campus wehren.

Es wundert nicht, dass diese unsicheren Karriereperspektiven gerade die Besten aus unseren Hochschulen vertreiben – in die Wirtschaft oder gleich ins Ausland, wo es wesentlich frühere Sicherheit gibt. Das heutige Urteil wird viele in den Hochschulen frustriert zurücklassen.“

Am Mittwoch, dem 15. Mai 2013, geschah etwas Historisches an der Technischen Universität Berlin: Der Erweiterte Akademische Senat beschloss eine neue Grundordnung, nach der dieses Gremium zukünftig vi...

Der Zentralrat der Juden in Deutschland hat eine klare Abgrenzung von der Linkspartei gefordert.

Mein Redebeitrag von der „Berlin ist unkürzbar“-Demo gegen die Haushaltskürzungen des Berliner Senats, 2025-02-22: Tach allerseits, ich arbeite als wissenschaftlicher Mitarbeiter in der Informatik der...