Nikolaj Bjørner (Microsoft Research) talk at DIT
Τίτλος: Ομιλία με θέμα: The RiSE of Agentic Software Engineering
Δευτέρα 2 Νοεμβρίου 2026, 11:00, Αίθουσα συνεδριάσεων A56
Ομιλητής: Dr Nikolaj Bjørner* Affiliation: Partner Research Manager, Microsoft Research, Redmond την Δευτέρα 2 Νοεμβρίου, 11:00, Αίθουσα συνεδριάσεων A56
Abstract: Coding agents are transforming the craft of software engineering. While demonstrating initial promise a year ago, current coding agents are now capable of coding entire systems end-to-end. Furthermore, systems based on capabilities of last year's AI systems are increasingly made obsolete. This new reality presents incredible opportunities for advancing engineering with coding agents. The Research in Software Engineering (RiSE) group at Microsoft Research is currently pursuing agents for research software engineering through:
- Agent Verification systems that address what it means to diagnose and guard-rail agent runtimes, based on techniques grounded in formal methods;
- GitHub Agentic Workflows, which bring continuous AI to the fingertips of developers towards unlocking 1000x productivity gains;
- DeepProof, employing coding agents to formalize and rigorously prove production code and fundamental computer science algorithms at scale; and
- DeepTest, which integrates specifications for coding agents to produce comprehensive unit tests.
Venturing into autonomous coding agents, the Research Software Engineering system Comet-H scales coding agents to co-develop new theory and research software. We showcase a use of Comet-H through the a3-python system, a new extended static checker for Python that was developed entirely by coding agents. It is based on a novel use of polynomial barrier certificates.
*Ο Nikolaj Bjørner εργάζεται κυρίως πάνω στον state-of-the-art SMT επιλυτή περιορισμών Z3, τον οποίο ανέπτυξε μαζί με τους Leonardo de Moura, Lev Nachmanson και Christoph Wintersteiger. Ο Z3 χρησιμοποιείται, μεταξύ άλλων, για επαλήθευση προγραμμάτων και παραγωγή περιπτώσεων ελέγχου, και η σχετική εργασία έχει λάβει πολλές διακρίσεις. Μαζί με τον Karthick Jayaraman δημιούργησε το εργαλείο SecGuru, που χρησιμοποιείται για την επαλήθευση ρυθμίσεων firewall και δρομολόγησης στο Microsoft Azure. Το 2021 ανακηρύχθηκε ACM Fellow. Σήμερα είναι Partner Research Manager στη Microsoft Research, Redmond.
Η ομιλία θα δοθεί στα αγγλικά.