archimedes-Artificial Intelligence, Data Science, Algorithms-greece

 
Artificial Intelligence
 
Data Science
 
Algorithms

LLMs and Mistrust, Discrimination, and Bugs in Software - Yuriy Brun (University of Massachusetts Amherst, USA)

Archimedes_Talks___Talk___Brun___25_November_2
Dates
2025-11-25 13:00 - 14:30
Venue
Archimedes Amphitheatre (1 Artemidos Street, 15125, Marousi, Archimedes, Athena Research Center, Greece)


Title: LLMs and Mistrust, Discrimination, and Bugs in Software

Speaker: Yuriy Brun (Professor at the Manning College of Information & Computer Sciences, University of Massachusetts Amherst, USA, and Visiting Researcher at Archimedes Research Unit, Athena Research Center, Greece)

Abstract: Software is ubiquitous, and trusting it is no longer optional.

Unfortunately, modern software has been caught lying, discriminating, and even causing deaths. This talk will explore how we can measure trust in software, understand what factors affect trust, and increase software trustworthiness. First, I'll describe how trust games, an instrument from psychology, can identify what affects users' trust in software. Second, I'll introduce Seldonian algorithms that fundamentally re-envision machine learning to produce models that are probabilistically guaranteed to satisfy fairness and safety requirements, even on unseen data. Third, I'll show how cutting-edge natural language processing, including LLMs, hold the key to automatically proving software correctness, the ultimate goal in software trustworthiness. Overall, I'll describe significant progress toward understanding software trust and improving software trustworthiness and lay out the challenges that lay ahead.

Short Bio: Yuriy Brun is a Computer Science Professor at the University of Massachusetts Amherst and a Visiting Researcher at Archimedes Research Unit, Athena Research Center, Greece. He is a Fellow of the IEEE and a Distinguished Member of the ACM. His research focuses on trust in software systems, including how improving software quality and fairness affect trust, and how formal verification can increase trust. He received his PhD from the University of Southern California in 2008 and was then a Computing Innovation postdoctoral fellow at the University of Washington. Prof. Brun is a recipient of the NSF CAREER Award, the FSE Test of Time Honorable Mention Award, the SEAMS Most Influential Paper Award, the IEEE Computer Society TCSE New Directions Award, and the IEEE TCSC Young Achiever in Scalable Computing Award. Eight of his papers have won Best Paper, Distinguished Paper, or Distinguished Artifact awards.

He has received a Google Inclusion Research Award and a Google Faculty Research Award, an Amazon Research Award, a Microsoft Research Software Engineering Innovation Foundation Award, a Lilly Fellowship for Teaching Excellence, and a College Outstanding Teacher Award. He founded the Rising Stars in Computer Science program at UMass Amherst (https://www.cics.umass.edu/rising-stars) and his recent Science paper (http://doi.org/10.1126/science.aag3311) introduced machine learning methods that guarantee safety and fairness. https://people.cs.umass.edu/~brun/

________________________________________________________________________________

Microsoft Teams 

Join the meeting now

Meeting ID: 356 473 928 898 28

Passcode: x7aQ2Bk7

________________________________________________________________________________

 
 

Vision

To position Greece as a leading player in AI and Data Science

image
image

Mission

To build an AI Excellence Hub in Greece where the international research community can connect, groundbreaking ideas can thrive, and the next generation of scientists emerges, shaping a brighter future for Greece and the world

 

Welcome to ARCHIMEDES, a vibrant research hub connecting the global AI and Data Science research community fostering groundbreaking research in Greece and beyond. Its dedicated core team, comprising lead researchers, affiliated researchers, Post-Docs, PhDs and interns, is committed to advancing basic and applied research in Artificial Intelligence and its supporting disciplines, including Algorithms, Statistics, Learning Theory, and Game Theory organized around 8 core research areas. By collaborating with Greek and Foreign Universities and Research Institutes, ARCHIMEDES disseminates its research findings fostering knowledge exchange and providing enriching opportunities for students. Leveraging AI to address real-world challenges, ARCHIMEDES promotes innovation within the Greek ecosystem and extends its societal impact. Established in January 2022, as a research unit of the Athena Research Center with support from the Committee Greece 2021, ARCHIMEDES is funded for its first four years by the EU Recovery and Resilience Facility (RRF).

 
 

NEWS

 
Archimedes AGT Afternoon Event (ΑAGTA) will take place on 4 February 2026 at Archimedes premises

Archimedes AGT Afternoon Event (ΑAGTA) will take place on 4 February 2026 at Archimedes premises

2 February 2026

Archimedes AGT Afternoon Event (ΑAGTA) is a newly-established scientific event, focusing on Algorithmic Game Theory and Artificial Intelligence. The first AAGTA workshop will take place on 4 February 2026 at the Archimedes Amphitheatre at Archimedes Unit, Athena Reseach Center, Greece, and will feature two keynote speeches: one by Prof. Paul Goldberg of the University of Oxford, UK, and one by Prof. Christos Papadimitriou of Columbia University, USA and Archimedes Unit, Athena Reseach Center, Greece.

Archimedes Seminar by Michael I. Jordan on

Archimedes Seminar by Michael I. Jordan on "Nonnegative Supermartingales, Sequential Testing, and Statistical Contract Theory"

28 January 2026

On Tuesday 10 February, 2026, from 3:00 pm to 5:00 pm, at the Archimedes Amphitheatre (1 Artemidos Street, 15125, Marousi, Archimedes, Athena Research Center, Greece), Michael I. Jordan (Researcher at Inria Paris, France, and Professor Emeritus in the Department of Electrical Engineering & Computer Science, and in the Department of Statistics at the University of California, Berkeley, USA, will deliver an Archimedes Seminar on "Nonnegative Supermartingales, Sequential Testing, and Statistical Contract Theory."

Archimedes Talk by Jason Milionis on

Archimedes Talk by Jason Milionis on "From Myerson to Automated Markets: New Research Directions in Exchange Design"

25 January 2026

On Wednesday 28 January, 2026, from 4:00 pm to 5:00 pm, at the Archimedes Amphitheatre (1 Artemidos Street, 15125, Marousi, Archimedes, Athena Research Center, Greece), Jason Milionis, a 5th and final year Ph.D. candidate in the Computer Science Department at Columbia University, USA, and a Senior Researcher at Category Labs, will deliver an Archimedes talk on "From Myerson to Automated Markets: New Research Directions in Exchange Design."

Archimedes Talk by Dimitris Giovanis on

Archimedes Talk by Dimitris Giovanis on "Learning the “Right” Space for Data-driven Modeling and Uncertainty Quantification in Complex / Multiscale Systems"

20 January 2026

On Wednesday 4 February, 2026, from 1:00 pm to 2:00 pm, at the Archimedes Amphitheatre (1 Artemidos Street, 15125, Marousi, Archimedes, Athena Research Center, Greece), Professor Dimitris Giovanis, Assistant Research Professor in the Department of Civil and Systems Engineering, The Johns Hopkins University, USA, and fellow of the Hopkins Extreme Materials Institute, a member of the Center on Artificial Intelligence for Materials in Extreme Environments, the Institute for Data Intensive Engineering and Science, the Johns Hopkins Mathematical Institute for Data Science, and the Data Science and AI Institute, will deliver an Archimedes talk on "Learning the “Right” Space for Data-driven Modeling and Uncertainty Quantification in Complex / Multiscale Systems."

Director Timos Sellis Moderates a Panel on AI and Health Policy

Director Timos Sellis Moderates a Panel on AI and Health Policy

8 January 2026

On Thursday, 11 December 2025, during the 2025 Panhellenic Congress on Health Economics and Policy, Professor Timos Sellis moderated an expert panel on ¨How AI May Transform Healthcare and Health Policies” and exchanged views with Professor Costas Athanassakis, Professor Theoklis Zaoutis, Dr. Georgios Papanastasiou, and Dr. Harietta Eleftherochorinou.

More news items here
 
 

The project “ARCHIMEDES Unit: Research in Artificial Intelligence, Data Science and Algorithms” with code OPS 5154714 is implemented by the National Recovery and Resilience Plan “Greece 2.0” and is funded by the European Union – NextGenerationEU.

greece2.0 eu_arch_logo_en

 

Stay connected! Subscribe to our mailing list by emailing sympa@lists.athenarc.gr
with the subject "subscribe archimedes-news Firstname LastName"
(replace with your details)