USI Faculty of Informatics

Compiler-Intermediate-Representation-Level Pro?ling to Analyze and Perform Compiler Optimizations You are cordially invited to attend the PhD Dissertation Defence of Matteo Basso on Wednesday 23 July 2025 at 15:30 in room D0.02. Abstract: Managed language runtime systems often improve runtime perf...

📣 You are invited to attend the #DissertationDefence of Matteo Basso on "Compiler-Intermediate-Representation-Level Pro?ling to Analyze and Perform Compiler Optimizations"

📅 Wednesday 23.07 - 15:30
#USILife #PhDLife #USItalent🎓

⬇️
inf.usi.ch/it/feeds/11252

Practical Dynamic Program Analysis for Node.js - The NodeProf Framework and its Applications You are cordially invited to attend the PhD Dissertation Defence of Haiyang Sun on Tuesday 22 July 2025 at 15:30 in room D0.02. Abstract: Node.js is an asynchronous, event-driven JavaScript runtime th...

📣 You are invited to attend the #DissertationDefence of Haiyang Sun on "Practical Dynamic Program Analysis for Node.js - The NodeProf Framework and its Applications"

📅 Tuesday 22.07 - 15:30
#USILife #PhDLife #USItalent🎓

⬇️
inf.usi.ch/it/feeds/11251

OpenVADL: An Open Source Implementation of the Vienna Architecture Description Language Speaker: Andreas Krall, TU Wien Abstract: OpenVADL is an open source implementation of the Vienna Architecture Description Language (VADL). VADL is a processor description language (PDL) that enables ...

📣 Join us on July 22 for a talk by Andreas Krall on 'OpenVADL: An Open Source Implementation of the Vienna Architecture Description Language'.

📅 11:30 - 13:00

Details ⬇️
inf.usi.ch/it/feeds/11199

Recent trends on HP-splines: from signals processing to Neural-networks for parameter estimation Speaker: Rosanna Campagna, University of Campania "Luigi Vanvitelli" Abstract: Hyperbolic-Polynomial Penalized splines (HP-splines), recently defined [1] to deal with data regression, are suitably des...

📣 Join us on July 07 for a talk by Rosanna Campagna on 'Recent trends on HP-splines: from signals processing to Neural-networks for parameter estimation'.

📅 15:30 - 16:30

Details ⬇️
inf.usi.ch/it/feeds/11247

Towards physiologically-driven human memory augmentation You are cordially invited to attend the PhD Dissertation Defence of Matías Laporte on Friday 4 July 2025 at 13:00 in room D0.02. Abstract: Despite technological advances in lifelogging devices—capturi...

📣 You are invited to attend the #DissertationDefence of Matías Laporte on "Towards physiologically-driven human memory augmentation"

📅 Friday 13:00
#SYS #USILife #PhDLife #USItalent🎓

⬇️
inf.usi.ch/it/feeds/11242

Cryptographic analysis of messaging protocols: a spotlight on Telegram Speaker: Lenka Mareková, ETH Zurich Abstract:Telegram has grown from a niche messaging application favoured by users in fairly specific contexts to a widely popular platform and the subject of major n...

📣 Join us on June 13 for a talk by Lenka Mareková on 'Cryptographic analysis of messaging protocols: a spotlight on Telegram'.

📅 08:45 - 09:30

Details ⬇️
inf.usi.ch/it/feeds/11236

Distributed Cryptography as a Service Speaker: Chen-Da Liu-Zhang, Lucerne University of Applied Sciences and Arts Abstract: The Internet has played a pivotal role in the creation and growth of distributed systems. Today, rapid technologic...

📣 Join us on June 12 for a talk by Chen-Da Liu-Zhang on 'Distributed Cryptography as a Service'.

📅 16:00 - 16:45

Details ⬇️
www.inf.usi.ch/it/feeds/11230

Analyzing Post-Quantum Cryptographic Primitives In The Real World Speaker: Varun Maram, Cybersecurity Group at SandboxAQ Abstract: In this talk, I'll give an overview of my research journey analyzing real-world cryptographic systems from basic primitives (e.g., publ...

📣 Join us on June 12 for a talk by Varun Maram on 'Analyzing Post-Quantum Cryptographic Primitives In The Real World'.

📅 13:45 - 14:30

Details ⬇️
www.inf.usi.ch/it/feeds/11235

Machine Learning Security in Practice Speaker: Kathrin Grosse, IBM Research, Zurich Abstract: Cybersecurity is paramount for the dependable operation of digital systems. With about 10% of IT budgets dedicated to cybersecurity, security in...

📣 Join us on June 12 for a talk by Kathrin Grosse on 'Machine Learning Security in Practice'.

📅 10:30 - 11:15

Details ⬇️
inf.usi.ch/it/feeds/11234

Are current events already influencing the professions of the future? A couple of years ago, Jensen Huang, the CEO of Nvidia, announced at an IT fair the start of a "new era" that would transform our relationship with computers, particularly regarding the role of progra...

📰 Are current events already influencing the professions of the future?
Read the interview with our Prof. Gabriele Bavota (@si.usi.ch)
www.inf.usi.ch/en/feeds/11214

IA generativa e futuro dell'innovazione: il Prof. Rizzoli tra gli speaker di Impact'25 Il Prof. Andrea Rizzoli, Professore aggregato presso la Facoltà di scienze informatiche e Direttore dell’Istituto Dalle Molle di studi sull’intelligenza artificiale (IDSIA USI-SUPSI), ha preso parte a...

#tbt - Generative AI and the future of innovation: Prof. @rizzoli.bsky.social (IDSIA USI-SUPSI) among the speakers at Impact'25
www.inf.usi.ch/en/feeds/11217

Beyond the ratchet: practical challenges in secure messaging Speaker: Simone Colombo, King’s College London Abstract: Private digital communication relies critically on secure messaging. Despite major advances such as the widespread adoption of end-to-end encry...

📣 Join us on June 11 for a talk by Simone Colombo on 'Beyond the ratchet: practical challenges in secure messaging'.

📅 16:00 - 16:45

Details ⬇️
www.inf.usi.ch/it/feeds/11233

The Bug The Better: Mining Bugs in Complex Programs Speaker: Flavio Toffalini, Ruhr-Universität Bochum Abstract: Adversaries continuously exploit vulnerabilities to compromise systems, such as crafting malicious JavaScript programs to hijack Web browse...

📣 Join us on June 11 for a talk by Flavio Toffalini on 'The Bug The Better: Mining Bugs in Complex Programs'.

📅 13:45 - 14:30

Details ⬇️
www.inf.usi.ch/it/feeds/11232

Thriving in Between Theory and Practice - Applied Cryptography Speaker: Matilda Backendal, ETH Zurich Abstract: Cryptography serves a crucial role in securing infrastructure and protecting privacy in our increasingly digital society. The objective of applied cryp...

📣 Join us on June 11 for a talk by Matilda Backendal on 'Thriving in Between Theory and Practice - Applied Cryptography'.

📅 10:30 - 11:15

Details ⬇️
inf.usi.ch/it/feeds/11231

Automating AI Research You are cordially invited to attend the PhD Dissertation Defence of Louis Michel Kirsch on Tuesday 3 June 2025 at 18:00 in room D1.14. Abstract: A core element of artificial general intelligence (AGI)...

📣 You are invited to attend the #DissertationDefence of Louis Michel Kirsch on "Automating AI Research"

📅 Tuesday 03.06.2025 h18:00
#USILife #PhDLife #USItalent🎓

⬇️
inf.usi.ch/it/feeds/11220

Approximate Computing via Effective SMT-Based Logic Synthesis You are cordially invited to attend the PhD Dissertation Defence of Morteza Rezaalipour on Friday 6 June 2025 at 12:45 in room D1.15 Abstract: The relentless progress of semiconductor technology, hist...

📣 You are invited to attend the #DissertationDefence of Morteza Rezaalipour on "Approximate Computing via Effective SMT-Based Logic Synthesis"

📅 Friday 06.06.25 h12:45
#USILife #PhDLife #USItalent🎓

⬇️
inf.usi.ch/it/feeds/11221

The FAUSION team is ready for the ISC Student Cluster Competition The ISC 2025 in Hamburg, taking place from 10 to 13 June, is one of the most prestigious international stages for promoting the use of high-performance computing (HPC). The conference aims to encourag...

The FAUSION team is ready to hit the #ISC2025 in Hamburg for the ISC Student Cluster Competition! @fau.de @inf.usi.ch Go team!

👉 www.usi.ch/en/feeds/31878

USI Alumni Reunion in Informatics 2025: An Evening of Celebration and Get-Togethers The Alumni Reunion of USI Faculty of Informatics was held on Friday, 9 May, to celebrate the Faculty's first 20 years. Over 220 graduates from 34 different countries attended the event. It was an even...

@inf.usi.ch 20th anniversary!
220 graduates attended the USI Alumni Reunion in Informatics featuring founding dean @mehdijazayeri49.bsky.social, Astronaut Claude Nicollier @esa.int, and current dean #MarcLangheinrich
👉https://www.usi.ch/en/feeds/31827

Griffith's criterion for phase-field fracture Speaker: Eleonora Maggiorelli, Università di Pavia Abstract: Phase field evolutions are obtained by means of time discrete schemes, providing at each time step an equilibrium configuration of the syst...

📣 Join us on May 20 for a talk by Eleonora Maggiorelli on 'Griffith's criterion for phase-field fracture'.

📅 12:45 - 13:30

Details ⬇️
inf.usi.ch/it/feeds/11210

Distributed Cryptography with Dynamic Committees Speaker: Chen-Da Liu-Zhang, Lucerne University of Applied Sciences and Arts and Web3 Foundation Abstract: Protocols with dynamic committees have emerged over the past decade to enable scalable distrib...

📣 Join us on May 15 for a talk by Chen-Da Liu-Zhang on 'Distributed Cryptography with Dynamic Committees'.

📅 11:00 - 12:00

Details ⬇️
inf.usi.ch/it/feeds/11202

ReSTIR: Traveling the Path of Reuse Speaker: Chris Wyman, Nvidia Abstract: Over the last 6 years, spatiotemporal importance resampling (aka ReSTIR) progressed from a crazy research accident to driving the high-end light transport of at ...

📣 Join us on May 21 for a talk by Chris Wyman on 'ReSTIR: Traveling the Path of Reuse'.

📅 15:00 - 16:00

Details ⬇️
inf.usi.ch/it/feeds/11204

Perception Meets Graphics in XR Systems: From Neural Rendering to Generative Models and Beyond Speaker: Qi Sun, New York University Abstract: Extended Reality (XR) offers groundbreaking opportunities for rendering virtual content, sensing physical environments, and precisely tracking human beha...

📣 Join us on May 20 for a talk by Qi Sun on 'Perception Meets Graphics in XR Systems: From Neural Rendering to Generative Models and Beyond'.

📅 15:00 - 16:00

Details ⬇️
inf.usi.ch/it/feeds/11203

Abstraction Modulo Stability for reverse engineering cyber-physical systems Speaker: Anna Becchi, Fondazione Bruno Kessler, Trento Abstract: The Italian Railway Network (RFI), together with Fondazione Bruno Kessler, is addressing the migration from analog interlockings to a n...

📣 Join us on May 26 for a talk by Anna Becchi on 'Abstraction Modulo Stability for reverse engineering cyber-physical systems'.

📅 14:00 - 15:00

Details ⬇️
www.inf.usi.ch/it/feeds/11198

Lattice Boltzmann Methods for Hydraulic Turbomachines You are cordially invited to attend the PhD Dissertation Defence of David Roos Launchbury on Monday 19 May 2025 at 13:00 in room D1.14. Abstract: In the field of energy production, hydraulic turbomach...

📣 You are invited to attend the #DissertationDefence of David Roos Launchbury on "Lattice Boltzmann Methods for Hydraulic Turbomachines"

📅 Monday 13:00
#USILife #PhDLife #USItalent🎓

⬇️
inf.usi.ch/it/feeds/11200

Proactive Real-Time First-order Enforcement Speaker: Srdjan Krstic, ETH Zurich Abstract: Correctness and regulatory compliance of today’s software are crucial for our safety and security. Runtime enforcement addresses this challenge by construc...

📣 Join us on May 22 for a talk by Srđan Krstić on 'Proactive Real-Time First-order Enforcement'.

📅 16:30 - 17:30

Details ⬇️
www.inf.usi.ch/it/feeds/11197

Modeling Crime Dynamics in Switzerland using Machine Learning Speaker: Luca Persia, ZWAH Abstract: Machine Learning has gained traction for its ability to process large datasets and identify (non-linear) patterns in crime data. In this talk, I will present a ste...

📣 Join us on May 20 for a talk by Luca Persia on 'Modeling Crime Dynamics in Switzerland using Machine Learning'.

📅 12:30 - 13:30

Details ⬇️
inf.usi.ch/it/feeds/11196

Hardware Security and Safety of IC Chips and Systems Speaker: Makoto Nagata, Kobe University Abstract: IC chips are key enablers to a smartly networked society and need to be more compliant to security and safety. For example, semiconductor solutions fo...

📣 Join us on May 19 for a talk by Makoto Nagata on 'Hardware Security and Safety of IC Chips and Systems'.

📅 10.00 - 11.30

Details ⬇️
inf.usi.ch/it/feeds/11195

Cross-Chain Consensus Speaker: Maurice Herlihy, Brown University Abstract: As decentralized ledgers and blockchains become more common,  cross-chain interoperability becomes essential to making those ledgers useful. In a c...

📣 Join us on May 9 for a talk by Maurice Herlihy on 'Cross-Chain Consensus'.

📅 14.30 - 15.30

Details ⬇️
inf.usi.ch/en/node/11189

When Performance Matters in Packet-Processing Systems Speaker: Gianni Antichi, Politecnico di Milano Abstract: The slowdown of Moore’s Law, the end of Dennard’s scaling, and the rapid adoption of high-bandwidth links are creating new challenges in buildi...

📣 Join us on May 14 for a talk by Gianni Antichi on 'When Performance Matters in Packet-Processing Systems'.

📅 13.30 - 14.30

Details ⬇️
inf.usi.ch/it/feeds/11188

Optimizing Visual Quality and Efficiency for Immersive Graphics You are cordially invited to attend the PhD Dissertation Defence of Luca Surace on Wednesday 21 May 2025 at 09:30 in room D1.13. Abstract: Advancements in graphics algorithms and display technologies ...

📣 You are invited to attend the #DissertationDefence of Luca Surace on "Optimizing Visual Quality and Efficiency for Immersive Graphics"

📅 Wednesday 21 May - 09:00
#IDSIA #USILife #PhDLife #USItalent🎓

⬇️
inf.usi.ch/it/feeds/11187