KI-gestützte Tools für wissenschaftliches Arbeiten – jetzt als Selbstlernkurs
Die ETH-Bibliothek bietet einen neuen Selbstlernkurs auf Moodle an, um sich vertieft mit generativer KI und KI-gestützten Tools auseinanderzusetzen.
Test-of-Time Award für Professor Ralf Jung
Das ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025) hat Professor Ralf Jung (Departement Informatik) und seine Mitautoren mit einem Test-of-Time Award für die Publikation ?Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning“ ausgezeichnet. Herzlichen Glückwunsch!
Entdecken Sie die neuen KI-unterstützten Tools der ETH-Bibliothek: Scopus AI und Scite
Mit Scopus AI und Scite stehen Ihnen neu zwei KI-gestützte Recherchetools im Netzwerk der ETH Zürich zur Verfügung.