Archive / INF Seminars / INF_2024_04_25_Alberto_Martin_Lopez
USI - Email
 
 
Università
della
Svizzera
italiana
INF
 
 
 
  
 main_banner
 

Neuro-Symbolic AI for Developing, Testing and Consuming Web APIs: An AMBIZIONE Project Proposal

 
 
 

Chair: Hassan Atwi

 

Thursday

25.04

USI Campus Est, room D1.13, sector D
16:30 - 17:30
  
 

Alberto Martín López
Università della Svizzera italiana, Switzerland
Abstract:

Neuro-symbolic artificial intelligence (NSAI) combines neural (e.g., large language models) and symbolic (e.g., constraint satisfaction problem engines) techniques to solve problems that cannot be tackled by any of these techniques in isolation. Notable examples of NSAI-based systems are AlphaGeometry (by Google DeepMind), which can solve mathematical problems with similar performance as gold medallists of the International Mathematical Olympiad, and Flash Fill++ (by Microsoft), a feature in Excel spreadsheets that autocompletes cells based on the surrounding ones. In this talk, I will hint how NSAI can be applied to other domains, and I will focus on a specific scenario: Supporting the lifecycle of web APIs, that is, their development, testing and consumption. We all use web APIs every day (when we post a tweet, order food online, book a flight, watch a movie, etc.), and they are the cornerstone of software integration, as they interconnect millions of applications coming from heterogeneous sources, all of which depend on APIs. As such, supporting their development and well-functioning is of utmost importance. This talk will also serve as a rehearsal for an interview for an AMBIZIONE grant, for which this project is currently under evaluation.

Biography:

Alberto Martín López is currently a postdoctoral researcher in the SEART group at the Software Institute, USI, Lugano. He obtained his PhD at the University of Seville (Spain) in 2022. He carried out research stays at the University of California, Berkeley, where he was a Fulbright Fellow, and at Kristiania University College (Norway), where he also held a lecturer position. His main field of expertise is the automated testing of web services. His work in this area has been recognized with multiple awards, including the Best PhD Thesis Award by SISTEDES (Spanish Society of Software Engineering), the Early Career Researcher Award by SCIE (Spanish Society of Computer Science) and BBVA Foundation, an ACM Distinguished Paper Award at ESEC/FSE’22, and the Gold Medal in the ACM Student Research Competition at ICSE’20, sponsored by Microsoft. Nowadays, his research interests focus on software testing, service-oriented computing, and the application of artificial intelligence and neuro-symbolic techniques to software-related tasks. To know more about Alberto, you can visit his personal website: https://personal.us.es/amarlop.

Chair: Hassan Atwi

*************************

In February 2019, the Software Institute started its SI Seminar Series. Every Thursday afternoon, a researcher of the Institute will publicly give a short talk on a software engineering argument of their choice. Examples include, but are not limited to novel interesting papers, seminal papers, personal research overview, discussion of preliminary research ideas, tutorials, and small experiments.

On our YouTube playlist you can watch some of the past seminars. On the SI website you can find more details on the next seminar, the upcoming seminars, and an archive of the past speakers.