USI Faculty of Informatics

USI Faculty of Informatics

@inf.usi.ch

News and events from the Faculty of Informatics of the Università della Svizzera italiana (USI) - Lugano, Switzerland

107 followers157 following108 posts

USI Faculty of Informatics
@inf.usi.ch

📣 Join us on November 20 for a talk by Michele Tufano on 'Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation'. 📅11:00 - 12:00 Details ⬇️ www.inf.usi.ch/en/node/11580

inf.usi.chGrounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test GenerationSpeaker: Michele Tufano, Sr. Software Engineer at Google Abstract: LLM-based agents are increasingly used for coding tasks, where they have outperformed many classical approaches and scaled to reposit...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on November 12 for a talk by Prof. Nicolas Chenavier on 'Compound Poisson process approximation under β-mixing and stabilization'. 📅11:00 - 12:00 Details ⬇️ www.inf.usi.ch/en/node/11576

inf.usi.chCompound Poisson process approximation under β-mixing and stabilizationSpeaker: Prof. Nicolas Chenavier, Université du Littoral Côte d’Opale Abstract: We present joint work with M. Otto in which we establish Poisson and compound Poisson approximations for stabilizing sta...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on December 03 for a talk by Fabien Robichon on 'From Compliance to Competitive Advantage - Real-World AI and GenAI applications in Insurance'. 📅16:00 - 17:00 Details ⬇️ www.inf.usi.ch/en/node/11575

inf.usi.chFrom Compliance to Competitive Advantage - Real-World AI and GenAI applications in InsuranceSpeaker: Fabien Robichon, Zurich Insurance Group Abstract: Artificial Intelligence is rapidly transforming both how insurers operate and how corporate functions create value. This session will explore...

USI Faculty of Informatics reposted

Università della Svizzera italiana
@usi.ch

“Facciamo conoscenza” returns with its second Inaugural Lecture: “When Software Learns: Rethinking How We Program”, delivered by Prof. @heathermiller.bsky.social miller.bsky.social of @inf.usi.ch The lecture is open to the USI community and the general public. 👉https://www.usi.ch/en/feeds/36585

usi.ch"Facciamo conoscenza" - Lezione inaugurale della Professoressa Heather MillerCome cambia la programmazione quando il comportamento di un software non dipende più soltanto da una sequenza di istruzioni scritte nel codice? Giovedì 22 ottobre alle ore 18:30, presso l'Auditorio de...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on October 22 for a talk by Joey Bevilacqua on 'Static Semantic Checks Make Sense Even for Python, Teachers Say'. 📅17:00 - 18:00 Details ⬇️ www.inf.usi.ch/en/node/11562

inf.usi.chStatic Semantic Checks Make Sense Even for Python, Teachers SaySpeaker: Joey Bevilacqua, USI Abstract: Violating the rules of a programming language results in errors, which are of conceptually different kinds. Syntax errors come from violating the grammar of the...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on October 15 for a talk by Marco Paganoni on 'Checking Locality and Uniqueness Properties in Kotlin with SnaKt'. 📅17:00 - 18:00 Details ⬇️ www.inf.usi.ch/en/node/11557

inf.usi.chChecking Locality and Uniqueness Properties in Kotlin with SnaKtSpeaker: Marco Paganoni, USI Abstract: Many compiler verification and optimization problems come down to reasoning about aliasing: determining when two references may point to the same object. This ta...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on October 12 for a talk by Rahul Satish on 'Towards Practical Dynamic-Committee MPC: Availability, DoS Resistance, and the Cost of Getting There'. 📅10:30 - 11:30 Details ⬇️ www.inf.usi.ch/en/node/11555

inf.usi.chTowards Practical Dynamic-Committee MPC: Availability, DoS Resistance, and the Cost of Getting ThereSpeaker: Rahul Satish, IT University of Copenhagen Abstract: Secure multiparty computation (MPC) lets parties compute on private inputs without revealing them. For long computations, a fixed set of se...
USI Faculty of Informatics
@inf.usi.ch

📣 You are invited to attend the #DissertationDefence of Andrea Bussolan on "Structure-aware Abstraction Techniques for efficient Software Verification" 📅 Thursday 22 October 2026 at 10:30 #USILife #PhDLife #USItalent🎓 ⬇️ inf.usi.ch/it/feeds/11549

inf.usi.chFrom Physiological Sensing to Adaptive Behavior: Personalized Human-Robot Collaboration in Industrial SettingsYou are cordially invited to attend the PhD Dissertation Defence of Andrea Bussolan on Thursday 22 October 2026 at 10:30 in room D2.19. Abstract: Modern industrial cobots share workspaces with human o...
USI Faculty of Informatics
@inf.usi.ch

ERRATA CORRIGE: new timing 📣 Join us on October 13 for a talk by Giulia Guidi on 'Sparse Linear Algebra for Biobank-Scale Population Genetics'. 📅15:30 - 16:30 Details ⬇️ www.inf.usi.ch/en/feeds/11501

inf.usi.chSparse Linear Algebra for Biobank-Scale Population GeneticsSpeaker: Prof. Giulia Guidi, Cornell University Abstract: Biobank initiatives include half a million phased genomes, outpacing the tools available to analyze them. Conventional genotype formats treat ...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on August 7 for a talk by Gerhard Wellein on 'Understanding performance and energy efficiency trade-offs under power capping and frequency scaling scenarios'. 📅10:30 - 11:30 Details ⬇️ inf.usi.ch/it/feeds/11496

inf.usi.chUnderstanding performance and energy efficiency trade-offs under power capping and frequency scaling scenariosSpeaker: Prof. Dr. Gerhard Wellein, Friedrich-Alexander-Universität Erlangen-Nürnberg  Abstract: Growing demands from simulation and AI/ML are pushing HPC energy consumption to critical levels. Power ...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on June 10 for a talk by Igor Steinmacher on 'Sustaining Open Source: What a Decade of Research Taught Us About People, Governance, and AI'. 📅15:30 - 16:30 Details ⬇️ www.inf.usi.ch/en/node/11482

inf.usi.chSustaining Open Source: What a Decade of Research Taught Us About People, Governance, and AISpeaker: Igor Steinmacher, Northern Arizona University, USA Abstract: Open source software underpins much of the world’s digital infrastructure, yet its sustainability remains fragile. Communities dep...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on June 1 for a talk by Prof. Jorg Peters on 'Polyhedral-net Splines for Geometry and Engineering Analysis'. 📅11:30 - 12:30 Details ⬇️ www.inf.usi.ch/it/feeds/11477

inf.usi.chPolyhedral-net Splines for Geometry and Engineering AnalysisSpeaker: Prof. Jorg Peters, University of Florida Abstract: Control nets of splines are embedded graphs whose node x y z values scale basis functions  and whose edges define adjacency and support of t...
USI Faculty of Informatics
@inf.usi.ch

📣 You are invited to attend the #DissertationDefence of Fatima Ezzeddine on "Analyzing the Interplay Between Privacy, Explainability, and Fairness in Responsible Artificial Intelligence" 📅 Friday 5 June 2026 at 09:00 #USILife #PhDLife #USItalent🎓 ⬇️ www.inf.usi.ch/it/feeds/11476

inf.usi.chAnalyzing the Interplay Between Privacy, Explainability, and Fairness in Responsible Artificial IntelligenceYou are cordially invited to attend the PhD Dissertation Defence of Fatima Ezzeddine on Friday 5 June 2026 at 09:00 in room D0.02. Abstract: Machine learning (ML) models are increasingly adopted in do...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on May 28th for a talk by Edoardo Riggio on 'Changing Nothing, Yet Changing Everything: Exploring Rug Pulls in GitHub Workflows'. 📅17:00 - 18:00 Details ⬇️ www.inf.usi.ch/en/node/11467

inf.usi.chChanging Nothing, Yet Changing Everything: Exploring Rug Pulls in GitHub WorkflowsSpeaker: Edoardo Riggio, USI Abstract: Software supply chain attacks have become a significant threat to modern software systems. By exploiting the complex and transitive nature of dependencies, malic...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on June 1st for a talk by Kenneth Goodenough on 'Asymptotic entanglement in circle stabilizer states and proper vertex-minor closed families'. 📅14:00 - 15:00 Details ⬇️ www.inf.usi.ch/it/feeds/11466

inf.usi.chAsymptotic entanglement in circle stabilizer states and proper vertex-minor closed familiesSpeaker: Kenneth Goodenough, University of Siegen Abstract:A natural question in entanglement theory is when a state ψ can be transformed into another state φ using local unitaries, measurements and c...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on May 27 for a talk by Leonhard Held on 'Balancing Evidentiary Value and Sample Size of Adaptive Designs with Application to Animal Experiments'. 📅 11:00 - 12:00 Details ⬇️ www.inf.usi.ch/it/feeds/11463

inf.usi.chBalancing Evidentiary Value and Sample Size of Adaptive Designs with Application to Animal ExperimentsSpeaker: Leonhard Held, University of Zürich Abstract: Reducing the number of experimental units is one of the three pillars of the 3R principles (Replace, Reduce, Refine) in animal research. At the s...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on May 26 for a talk by Danny Z. Chen on 'AI-based Image Analysis for Medical Problems: Challenges and New Approaches'. 📅 11:00 - 12:00 Details ⬇️ www.inf.usi.ch/it/feeds/11460

inf.usi.chAI-based Image Analysis for Medical Problems: Challenges and New ApproachesSpeaker: Danny Z. Chen, University of Notre Dame Abstract: We present new deep learning (DL) approaches for medical image analysis tasks (sparse annotation, segmentation, classification, denoising, et...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on May 26 for a talk by Xiaobo Sharon Hu on 'Opportunities and challenges in accelerating large-scale search using NVM-based in-memory computing'. 📅 14:30 - 15:30 Details ⬇️ www.inf.usi.ch/it/feeds/11461

inf.usi.chOpportunities and challenges in accelerating large-scale search using NVM-based in-memory computingSpeaker: Xiaobo Sharon Hu, University of Notre Dame Abstract: Large-scale search plays a crucial role in a broad range of machine learning applications, where achieving fast and energy-efficient searc...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on May 13 for a talk by James Zheng on 'From Foundation Models to Neuro-Symbolic Architectures: Toward Safety Assurance of Learning-Enabled CPS'. 📅 14:30 - 15:30 Details ⬇️ www.inf.usi.ch/en/feeds/11452

inf.usi.chFrom Foundation Models to Neuro-Symbolic Architectures: Toward Safety Assurance of Learning-Enabled CPSSpeaker: James Zheng, Macquarie University, Sydney, Australia; USI-INF Visiting Professor 2026 Abstract: Learning-enabled cyber-physical systems (CPS), such as autonomous driving and UAVs, are increas...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on May 6 for a talk by James Henderson on 'Information-theoretic Approaches to Deep Learning with Attention'. 📅 11:00 - 12:30 Details ⬇️ www.inf.usi.ch/en/node/11448

inf.usi.chInformation-theoretic Approaches to Deep Learning with AttentionSpeaker: James Henderson, Idiap Research Institute Abstract: Characterising deep learning in terms of probabilistic inference gives us a theoretical framework for understanding the information content...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on April 30 for a talk by Jinhan Kim on 'Testing RAG Systems: Coverage-Guided Adequacy and Metamorphic Oracles'. 📅 17:00 - 18:00 Details ⬇️ www.inf.usi.ch/en/node/11445

inf.usi.chTesting RAG Systems: Coverage-Guided Adequacy and Metamorphic OraclesSpeaker: Jinhan Kim, USI Abstract: Retrieval-Augmented Generation (RAG) systems have become the default way we deploy LLMs over proprietary knowledge, yet the way we test them has not kept pace. Most ...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on April 27 for a talk by Alessandra Palmigiano on '"Yes I'm paranoid, but am I paranoid enough?" The Tiglath Pileser principle and models of persuasion'. 📅 12:00 - 13:00 Details ⬇️ www.inf.usi.ch/en/node/11444

inf.usi.ch"Yes I'm paranoid, but am I paranoid enough?" The Tiglath Pileser principle and models of persuasionSpeaker: Alessandra Palmigiano, School of Business and Economics of the VU Amsterdam Abstract: We discuss a formal framework for modelling how agents extract reliable information from stories and comm...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on April 24 for a talk by Abbas K. Rizi on 'Heterogeneity in testing and vaccination behavior strongly shapes epidemic spreading patterns'. 📅 14:00 - 15:00 Details ⬇️ www.inf.usi.ch/en/node/11435

inf.usi.chHeterogeneity in testing and vaccination behavior strongly shapes epidemic spreading patternsSpeaker: Abbas K. Rizi (DSc), DTU Compute Abstract: The spread and control of infectious diseases depend not just on the biology of a pathogen but on the social fabric of its host population. How peop...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on April 23 for a talk by Mattia Giannaccari on 'Visualizing Object-Oriented Software Systems Through Class Contours'. 📅 17:00 - 18:00 Details ⬇️ inf.usi.ch/en/feeds/11434

inf.usi.chVisualizing Object-Oriented Software Systems Through Class ContoursSpeaker: Mattia Giannaccari, USI Abstract: Understanding object-oriented software systems requires developers to mentally reconstruct the roles and relationships of classes from scattered lines of cod...
USI Faculty of Informatics
@inf.usi.ch

Are you interested in learning parallel programming models and gaining hands-on experience with HPC systems? ⏱️ Register by 12 April to join us in Serpiano this summer!

CSCS - Swiss National Supercomputing Centre@cscsch.bsky.social

📢 #CSCS and the Università della Svizzera italiana are pleased to announce this year’s Summer School on Effective High‑Performance Computing and Data Analytics, taking place 25–31 July 2026. Don’t miss the chance to learn cutting-edge GPU tech bit.ly/3NwLbH0

USI Faculty of Informatics
@inf.usi.ch

📣 You are invited to attend the #DissertationDefence of Mikhail Andronov on "Towards improving chemical synthesis planning assistants" 📅 Tuesday 31 March at 15:30 #USILife #PhDLife #USItalent🎓 ⬇️ inf.usi.ch/it/feeds/11428

inf.usi.chTowards improving chemical synthesis planning assistantsYou are cordially invited to attend the PhD Dissertation Defence of Mikhail Andronov on Tuesday 31 March 2026 at 15:30 in room D2.19. Abstract: Efficient organic synthesis planning is one of the corne...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on March 26 for a talk by Prof. Iro Armeni, on 'Deep Generative Mechanisms for 3D: From De Novo Flow Models to Latent Space Optimization'. 📅 16:00 - 17:00 Details ⬇️ inf.usi.ch/it/feeds/11424

inf.usi.chDeep Generative Mechanisms for 3D: From De Novo Flow Models to Latent Space OptimizationSpeaker: Prof. Iro Armeni, Stanford University Abstract: This talk explores three distinct technical paradigms for generative vision models in 3D reconstruction and synthesis. First, we present a nove...

USI Faculty of Informatics reposted

Università della Svizzera italiana
@usi.ch

A joint study by @ethz.ch and USI raises important questions about the security of some of the most widely used cloud-based password managers. www.usi.ch/en/feeds/34363

usi.chSicurezza dei password manager: studio congiunto USI-ETH ZurichUno studio coordinato tra l’ETH Zurich e l’Università della Svizzera italiana (USI) solleva interrogativi importanti sulla sicurezza dei password manager cloud più diffusi. Il lavoro, che sarà present...

USI Faculty of Informatics reposted

Università della Svizzera italiana
@usi.ch

Phänomena 2026 kicked off with USI's interactive autonomous driving installation "Stay on Track!". At the private opening, the President of the Confederation, Guy Parmelin, was the first to test it. @inf.usi.ch @robertominelli.com 👉 www.usi.ch/en/feeds/34586

usi.chInauguration of the Phänomena ExhibitionOn Friday, 13 March, the partner-only inauguration of Phänomena took place. At the official ceremony, moderated by Bettina Zbinden, the speakers were: Urs Müller, General Manager of Phänomena; Helen B...
USI Faculty of Informatics
@inf.usi.ch

📣 Join us on March 12 for a talk by Andréa Cristina de Souza Doreste on 'PBT for Adversarial Reward Shaping - A Work in Progress'. 📅 17:00 - 18:00 Details ⬇️ inf.usi.ch/en/node/11420

inf.usi.chPBT for Adversarial Reward Shaping - A Work in ProgressSpeaker: Andréa Cristina de Souza Doreste, USI Abstract: Autonomous Driving Systems (ADS) are inherently safety-critical applications and must be thoroughly tested before deployment. One way to achiev...
USI Faculty of Informatics
@inf.usi.ch

📣 You are invited to attend the #DissertationDefence of Elia Cereda on "Learning on the Fly: From Domain Adaptation to On-device Learning on Autonomous Nano-UAVs" 📅 Tuesday 17 March at 14:00 #USILife #PhDLife #USItalent🎓 ⬇️ inf.usi.ch/it/feeds/11413

inf.usi.chSolver-based Compilation for Coarse-Grained Reconfigurable Arrays and Scalable Logic SynthesisYou are cordially invited to attend the PhD Dissertation Defence of Cristian Tirelli on Monday 16 March 2026 at 16:00 in room D0.03. Abstract: Coarse-Grained Reconfigurable Arrays (CGRAs) are low-powe...
USI Faculty of Informatics
@inf.usi.ch

📣 You are invited to attend the #DissertationDefence of Cristian Tirelli on "Solver-based Compilation for Coarse-Grained Reconfigurable Arrays and Scalable Logic Synthesis" 📅 Monday 16 March at 16:00 #USILife #PhDLife #USItalent🎓 ⬇️ inf.usi.ch/it/feeds/11412

inf.usi.chApproximation Algorithms for Survivable Network Design ProblemsYou are cordially invited to attend the PhD Dissertation Defence of Miguel Bosch Calvo on Tuesday 20 January 2026 at 10:00 in room D0.02. Abstract: Connectivity is among the most extensively studied b...
USI Faculty of Informatics
@inf.usi.ch

📣 You are invited to attend the #DissertationDefence of Miguel Bosch Calvo on "Approximation Algorithms for Survivable Network Design Problems" 📅 Tuesday 20 January at 10:00 #USILife #PhDLife #USItalent🎓 ⬇️ inf.usi.ch/it/feeds/11367

inf.usi.chStochastic Additively Preconditioned Trust-Region Strategies for Distributed Neural Network TrainingYou are cordially invited to attend the PhD Dissertation Defence of Samuel Adolfo Cruz Alegria on Tuesday 16 December 2025 at 16:00 in room D1.13. Abstract: Training large-scale neural networks is com...