Prof. Mario Südholt

Rahim Lahmar: new PhD student, "Contracts for ML-intensive software systems", co-supervision with W. De Meuter and C. De Roover (VU Brussel) NEW!

Research interests

Distributed systems, Cloud programming: virtualized environments, distributed architectures and algorithms
Security, privacy: protecting large-scale distributed applications
eHealth: large-scale biomedical analyses
Software engineering, programming languages: new abstractions for components and crosscutting concerns, language design, formal properties of software

Projects

SPIREC (PEPR Cloud), coordinator, 2023-2030
SEED: doctoral program, coordinator, EU MSC COFUND, 2023-2029
Net4AI, French ANR, 2025-2029
OTPaaS, BPI France project, 2021-2025
SysMics: Toward Systems Medicine based on Genomics, NExT, 2018-24
OncoShare: Oncology Bigdata Sharing for Research, French project, 2018-22
Former major projects
- SNP-HLA Reference Consortium, NExT, 2019-21
- PrivGen: Privacy-preserving sharing and processing of genetic data , CominLabs, 2016-19
- A4Cloud: Accountability for the Cloud (EU IP, 2012-16)
- CESSA: Compositional Evolution of Secure Services with Aspects (ANR, 2010-13)
- AOSD-Europe: European Network of Excellence in AOSD (2004-2009)

(Selected) publications (Indexes: Google Scholar, HAL)

"Declarative, generic definition and effective implementation of transfer learning algorithms", AIAI'25, accepted March 2025.
"Ti-skol: A Modular Federated Learning Framework Supporting Security Countermeasure Composition", IEEE Conf. on Big Data, Dec. 2024
"Description and first insights on a large genomic biobank of lung transplantation", European Journal of Human Genetics, Nov. 24
"HFedSNN: Efficient Hierarchical Federated Learning using Spiking Neural Networks", ACM MobiWac'23, accepted Sep. 23.
"Adaptive configuration of IoT applications in the Fog infrastructure", Computing journal, Springer, accepted May 23.
"Towards Scalable Resilient Federated Learning: A Fully Decentralised Approach", PerConAI@IEEE PerCOM, Mar. 23
"Distributing HLA database in histocompatibility: a shift in HLA data governance", Int. Journal of Exploration of Immunology, accepted Aug. 2022
"A Taxonomy of Tools and Approaches for Distributed Genomic Analyses", Int. Journal of Informatics in Medicine Unlocked, Elsevier, accepted July 2022
"Secure Distribution of Factor Analysis of Mixed Data (FAMD) ...", AINA'21, May 2021
"Isolation in Cloud Computing Infrastructures: New Security Challenges", Annals of Telecommunications, Feb. 2019
Secure Distributed Computing on Untrusted Fog Infrastructures Using Trusted Linux Containers, CloudCom'18, Dec. 2018
"Putting the Next 500 VM Placement Algorithms to the Acid Test", IEEE TPDS, accepted July 2018
"Constructive Privacy for Shared Genetic Data", CLOSER, Mar. 2018
"VMPlaceS: A Generic Tool to Investigate and Compare VM Placement Algorithms", Euro-Par, Aug. 2015
"Aspectual Session Types", Modularity, Apr. 2014
"Essential AOP: The A Calculus", ACM TOPLAS, 2012 & ECOOP, 2010
"Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS", Wiley CCPE, 2012
"Aspect-Oriented Software Development in Practice: Tales from AOSD-Europe, IEEE Computer, 2010
"StrongAspectJ: Flexible and Safe Pointcut/Advice Bindings", ACM AOSD (best paper), Mar. 2008
"Debugging and testing middleware with aspect-based control-flow and causal patterns", Middleware, 2008
"Dynamic Adaptation of the Squid web cache with Arachne", IEEE Software, 2006
"On the automatic evolution of an OS kernel using temporal logic and AOP", IEEE ASE, 2003

Teaching

Head of the module "(Distributed) Deep Learning" of the MSc Alma (in French)
Other graduate and undergraduate courses, engineering and computer science courses on software engineering and programming

Professional activities

Steering committees: Journal and the international conference Programming
Recent PC participations: ICISSP'25 , CloudCom'24 , ICISSP'24, CloudCom'23, ICISSP'23, CloudCom'22, CloudCom'20, CCGrid'19, CloudCom'19, ProWeb'19, ICICS'18, CloudCom'18, <Programming>'18, SBAC-PAD'18, ProWeb'18, COP'18, CloudCom'17, ProWeb'17, Modularity'16
Selected invited talks
Current PhD students: Simon Brocard (co-supervision with Dr. Sophie Limou, CHU Nantes, France), Samia Boutalbi (co-supervision with Maissa Dammak, Ericsson), Divi De Lacour (co-supervision avec Marc Lacoste, Orange), Rahim Lahmar (co-supervision with C. De Roover, W. De Meuter, VU Brussel)
Former editor-in-chief of the editorial board of TAOSD (Springer Verlag), with Prof. Shigeru Chiba, Tokyo Uni. (2015-17)
Former chair of the Aspect-Oriented Software Association (AOSA) (elected 2011-13)

Collective (admin) duties

Responsible of the activities in software engineering and distributed systems of the API department of IMT Atlantique.
Representant of the API department for doctoral and MSc studies.
Head of the Nantes site of the doctoral school in Mathematics and Sciences and Technology of Information (MathSTIC), deputy director of the doctoral schools MathSTIC and STIM from 2014-22
Former head of the ASCOLA (2009-17), joint research team of IMT Atlantique, INRIA and LS2N
Former member of the Selection and Validation Committee (CSV) of the Images & Réseaux cluster (2010-17)

Short bio

Mario Südholt

Address