جست‌وجوی استاد و پژوهشگر

• Distributed Software Systems
• Network Function Virtualization
• Formal Verification
• +۳ مورد دیگر

Patrick Eugster is a full professor at the Università della Svizzera italiana (USI) and leads the Software Systems (SWYSTEMS) group within the Computer Systems Institute . He has held academic positions at Purdue University, TU Darmstadt, and MIT as a visiting faculty. His research focuses on distributed software systems , addressing challenges in consistency, efficiency, and security in decentralized environments. Current affiliation: USI Faculty of Informatics Prior affiliations: Purdue University (2005-2016), TU Darmstadt (2014-2017), MIT (2012/2013) Research Interests Distributed Systems : Investigating reliable failure detection, deterministic data paths for 6G, and hybrid synchronous/asynchronous architectures. Network Innovation : Optimizing TCAM encoding, analyzing microbursts, and developing quantum network protocols. Security & Verification : Creating confidentiality-preserving mechanisms and formal verification approaches for distributed software. Scientific Contributions 2025: Best paper at TACAS on Horn clause validation 2025: IFIP Jean-Claude Laprie Award for dependable computing 2024: Key papers at IEEE Network, ACM PLDI, and IEEE INFOCOM Funding & Collaborations Swiss National Science Foundation grants #200021_197353 and #200021_192121 EU Horizon Europe MSCA staff exchange project CloudStars Industry partners: Cisco, Amazon AWS, Facebook Research, SAP, Northrop Grumman Cybersecurity Research Consortium Labs & Teams Directs the SWYSTEMS group, which includes postdocs like Sina Darabi and Shamiek Mangipudi, PhD students such as Anita Buckley and Jérôme Graf, and alumni who have become faculty at institutions like Télécom Paris and University of Southern California.

Francesco Leofanteمشاهده پروفایل

پژوهشگر ارشد

• Explainable AI
• Counterfactual Explanations
• Robustness
• +۳ مورد دیگر

Francesco Leofante is a Research Fellow at Imperial College London , affiliated with the Centre for Explainable AI . His work focuses on Explainable AI (XAI) , particularly counterfactual explanations with formal robustness guarantees against perturbations. Imperial College Research Fellowship DAAD AINet Fellowship (Safety and Security in AI) Imperial PFDC Supporting Research Staff and Students Award 2023 Research Interests center on Explainable AI , emphasizing counterfactual explanations , robustness , model multiplicity , and formal verification in critical systems like energy and aviation. His work bridges AI , formal methods , and human-AI collaboration . Publications include studies on robust counterfactual explanations , parametric ReLUs for verification, and multi-agent systems with formal guarantees. These appear in top venues like AAAI , KR , IJCAI , and AAMAS , often addressing AI safety and trustworthy systems . Scientific Awards include the Imperial PFDC Supporting Research Staff and Students Award 2023 , DAAD AINet Fellowship , and Imperial College Research Fellowship . He also contributes to workshops and program committees at conferences like AAAI, KR, and IJCAI. Future Work includes expanding robust XAI into critical infrastructure systems (energy, aviation) and developing tools like OMTPlan for AI planning and verification .

Malte Helmertمشاهده پروفایل

استاد

• Automated Planning
• Combinatorial Search
• Artificial Intelligence
• +۷ مورد دیگر

Malte Helmert is a Professor at the University of Basel in the Department of Mathematics and Computer Science. He previously worked at the University of Freiburg's Research Group on the Foundations of Artificial Intelligence from 2001 to 2011. His research focuses on intelligent problem-solving , particularly in automated planning , combinatorial search , constraint satisfaction , and NP-hard graph problems . Helmert has made significant contributions to classical planning, including the development of the Fast Downward planning system and its derivatives. Education : Diploma in Computer Science (M.Sc.) from the University of Freiburg (2001) Ph.D. in Computer Science from the University of Freiburg (2006) Research interests encompass the theoretical and practical aspects of automated planning, including heuristic search , optimal planning , abstraction techniques , and domain-independent planning . His work explores merge-and-shrink abstractions , landmark progression , and cost partitioning algorithms for classical planning systems. Recent publications analyze advancements in pseudo-Boolean proof logging , higher-dimensional potential heuristics , and correlation complexity in planning domains. These works often integrate mathematical modeling, algorithm design, and empirical benchmarking. Scientific awards include the AAAI Fellow (2021), EurAI Fellow (2020), multiple Best Paper Awards at ICAPS and SoCS conferences, and the Computers and Thought Award (2011). He also received the VDI-Förderpreis for his Master’s thesis. Software contributions include the Fast Downward planning system, MIPS (now maintained by Stefan Edelkamp), and COVER (a vertex cover solver). Helmert has organized tutorials at ICAPS and AAAI conferences on topics like landmark progression , abstraction heuristics , and LP-based heuristics .

Fazl Barezمشاهده پروفایل

پژوهشگر ارشد

• AI Safety
• Mechanistic Interpretability
• Technical AI Governance
• +۳ مورد دیگر

Fazl Barez is a Senior Research Fellow at the University of Oxford leading research on Technical AI Safety and Governance. He is also affiliated with Cambridge's CSER, NTU's Digital Trust Centre, Edinburgh's Informatics, and is a member of ELLIS. Previously, he was a researcher at Amazon and Huawei, and Co-director and Head of Research at Apart Research. He currently serves as an advisor to Martian and has worked with Anthropic's Alignment team (2024-2025). University of Oxford: Senior Research Fellow Cambridge CSER: Affiliate NTU Digital Trust Centre: Affiliate Edinburgh Informatics: Affiliate ELLIS: Member Anthropic: Alignment Team Collaborator (2024-2025) Martian: Advisor Dr. Barez's research focuses on ensuring AI systems remain safe, interpretable, and beneficial as they grow in capability. His work spans four interconnected areas: Interpretability (developing methods to reveal how AI models process information internally), Safety and Alignment (creating tools to detect and address deceptive behaviors), Technical Governance (translating technical insights into governance frameworks), and Societal Impact (examining broader implications of AI on society). His research is funded by OpenAI, Anthropic, Schmidt Sciences, Future of Life Institute, and NVIDIA. The trends in Dr. Barez's publications show a consistent focus on making AI systems more transparent and safer. His recent work explores mechanistic interpretability techniques like sparse autoencoders, investigates how language models relearn removed concepts, examines machine unlearning for safety applications, and develops frameworks for value alignment measurement. His publications appear in top venues including NeurIPS, ICML, ICLR, ACL, and EMNLP, reflecting his significant contributions to both theoretical and practical aspects of AI safety. Future of Humanity Institute PhD Affiliate (2022-2024) EPSRC PhD Student Scholarship (2019-2023) MSc Scholarship (2017-2018) BA (Hons) Sports Performance Scholarship (2013-2017) Dr. Barez has mentored numerous students who have gone on to prominent positions at organizations like Microsoft Research, DeepMind, and Martian. His research is generously funded by major AI organizations including OpenAI, Anthropic, Schmidt Sciences, Future of Life Institute, and NVIDIA. He has served as an Area Chair for ACL 2025 and on program committees for major conferences including ECAI 2024. His work has practical impact, with algorithms like N2G adopted by OpenAI to evaluate sparse autoencoders for interpretability. Dr. Barez leads research at the intersection of technical AI safety and governance. His work connects with multiple research groups including the UK AI Security Institute, Alan Turing Institute, and various university centers. He has co-organized workshops such as the first Mechanistic Interpretability workshop at ICML 2024 and actively collaborates with researchers across the AI safety ecosystem. His research bridges the gap between theoretical safety research and practical implementation in real-world AI systems.

• Information Security
• Privacy
• Cybersecurity
• +۷ مورد دیگر

Kévin Huguenin is a Full Professor and head of the Information Security and Privacy (ISP) Lab at the University of Lausanne (UNIL), within the Faculty of Business and Economics (HEC). His research focuses on security and privacy in distributed systems, mobile/social networks, and interdisciplinary areas such as health informatics and legal aspects of privacy. He has held academic positions since 2016, including Assistant Professor (2016–2020) and Full Professor (2020–present). He previously worked at LAAS-CNRS and EPFL, with postdoctoral research at McGill University. Education: PhD (Computer Science, Université de Rennes, 2010), MSc (Network and Distributed Systems, University of Nice Sophia Antipolis, 2007), BSc (Computer Science, University of Rennes, 2006). He is an alumnus of École Normale Supérieure de Cachan. Research Interests: Interdependent privacy, wearable device security, genomic privacy, privacy-preserving technologies, and the social/human aspects of cybersecurity. His lab collaborates with institutions like CSEM and EPFL on projects such as PrivacyLife (SNF-funded). Recent Work: Focuses on second-hand storage device privacy, shadow health data, and participatory design for privacy solutions. Recent studies include personality inference from wearables and user behaviors in fitness data sharing. Awards: Best Paper Awards at OPODIS’09 and IEEE ICDCS’10, CNRS Excellence Award, and Best Teacher Award in the Master of Information Systems. Grants & Collaborations: Swiss National Science Foundation (SNF), Fondation Hasler, and industry partnerships like Nokia Research Center. Current projects include second-hand device privacy (SNF-funded) and mHealth privacy. Labs & Teams: ISP Lab at UNIL, collaborating with CSEM and EPFL on interdisciplinary projects. Active in program committees for venues like USENIX Security, PETS, and WEIS.

• Natural Language Processing
• Formal Language Theory
• Machine Learning
• +۳ مورد دیگر

Gail Weiss is a Lecturer and Post-Doctoral Researcher at École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the Natural Language Processing Laboratory (NLP) within the School of Computer and Communication Sciences. She holds dual roles in research and teaching, contributing to both academic research and coursework in natural language processing and formal methods. Her research focuses on the intersection of formal language theory and machine learning, particularly exploring the capabilities of neural networks such as recurrent neural networks (RNNs) and transformers in recognizing formal languages. Recent work examines the vulnerability of higher education to AI tools and advances methods for extracting formal models from neural architectures. Teaching includes courses like 'Topics in Natural Language Processing' and contributes to the EDIC academic program. Her research has been published in top venues, addressing theoretical foundations of neural networks and practical applications in knowledge representation. She is based at INR 240 in Lausanne.

• Cryptography
• Information Security
• Numerical Analysis
• +۳ مورد دیگر

Roman Langrehr is a Researcher affiliated with the Institute for Theoretical Computer Science at ETH Zürich, Switzerland. He is part of the Professorship for Computer Science and contributes to the Numerical Analysis of Dynamical Systems research group, involved in projects such as the DFG Priority Research Program DANSE focusing on connecting orbits in high-dimensional dynamical systems. His work bridges theoretical computer science with applied mathematics, particularly in economic modeling and dynamical systems analysis. Research interests include numerical methods for dynamical systems, computational economics, and optimization strategies for economic models. He has contributed to studies on Skiba sets in optimal control problems and numerical techniques for boundary value problems. His cryptographic research spans functional encryption, lattice-based cryptography, and secure key exchange protocols. Publications highlight advancements in non-interactive key exchange (NIKE), malleable SNARKs, and deniable authentication protocols. He collaborates on projects involving dynamic optimization and has explored the intersection of economic theory with computational methods. His work is characterized by a focus on rigorous numerical analysis and applied cryptography.

• Distributed Systems
• Networks
• Security
• +۵ مورد دیگر

Patrick Thomas Eugster is a Full Professor of Computer Science at the Università della Svizzera italiana (USI), leading the Software Systems (SWYSTEMS) group within the Computer Systems Institute, which he co-founded. Previously, he held faculty positions at Purdue University (2005-2016) and TU Darmstadt (2014-2017), with a visiting role at MIT (2012/2013). His research focuses on distributed systems, networking, security, and programming languages, with over 160 publications and significant industry collaborations with companies like Amazon, Google, and Facebook. Education: He holds an M.S. (1998) and Ph.D. (2001) in Computer Science from École Polytechnique Fédérale de Lausanne (EPFL). Research Interests: His work addresses distributed systems challenges such as fault-tolerance, security, and efficient resource management. Recent topics include datacenter reliability, quantum network verification, and confidential computing. His team explores intersections between systems, languages, and networks to build robust and secure distributed applications. Publications: Recent work spans topics like failure detection in datacenters, formal verification of systems, and network congestion control. Key venues include USENIX ATC, ACM SIGMETRICS, IEEE Network, and TACAS. His 2025 work on failure detection and TCAM encoding exemplifies contributions to system resilience and hardware optimization. Awards: Jean-Claude Laprie Award (2025), TACAS Best Paper (2025), ERC Consolidator Grant (2014), NSF CAREER Award (2007). Advising & Grants: Supervised over 20 PhD and postdoctoral researchers. Active grants include EU Horizon Europe CloudStars, Swiss National Science Foundation, and industry partnerships with Cisco and SAP. Labs & Teams: Directs the SWYSTEMS group, collaborating on projects like secure cloud analytics, quantum network verification, and datacenter monitoring. Former students hold roles at universities, tech firms, and startups.

• Theoretical Computer Science
• Automata Theory
• Formal Verification
• +۷ مورد دیگر

Ulrich Ultes-Nitsche is a Professor in the Department of Informatics at the University of Fribourg, where he also serves as Dean of the Faculty of Science and Medicine. His research spans theoretical computer science, formal methods, and cybersecurity, with a strong focus on automata theory, model checking, and secure network systems. Institution: University of Fribourg School: Faculty of Science and Medicine Department: Department of Informatics Role: Professor and Dean His research interests include theoretical computer science, automata theory, formal verification, temporal logic, and cybersecurity. He has made significant contributions to the understanding of Büchi automata, liveness properties, and secure authentication mechanisms using Trusted Platform Modules. His interdisciplinary work extends to secure medical data access and ecological network analysis. The recent publications highlight a clear trend: a deep and sustained focus on automata theory, particularly Büchi automata, with increasing integration of machine learning techniques like graph neural networks for analysis. His earlier work laid foundational contributions in formal verification, model checking under fairness, and secure network protocols, especially in firewall and EAP-TLS authentication. The research consistently bridges theoretical computer science with practical security applications. Carolin Latze InSeon Yoo Dominik Jungo David Buchmann Thierry Nicola Michael Hayoz Christoph Ehret Nayla Sokhn Ulrich Ultes-Nitsche has led and co-organized numerous international workshops (e.g., NCMA, MSVVEIS, VCL) on formal methods and verification, demonstrating a strong commitment to the academic community. His work has been supported by research in formal verification, network security, and trusted computing, often involving collaborations across institutions. He has also contributed to projects involving secure e-commerce, medical data access, and enterprise information systems. He has been a key figure in organizing and editing proceedings for the International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS) and the ACM Sigplan Workshop on Verification and Computational Logic (VCL), fostering research communities in formal methods and verification.

Edouard Bugnionمشاهده پروفایل

استاد

• Computer Systems
• Data Center Systems
• Data Center Infrastructure and Networking
• +۷ مورد دیگر

Prof. Edouard Bugnion is a Full Professor at the Data Center Systems Laboratory within the School of Computer Science and Communications at École Polytechnique Fédérale de Lausanne (EPFL). Since joining EPFL in 2012, he has led research in datacenter systems and virtualization, with prior experience as VMware's first CTO and Cisco's VP/CTO. Research Interests: Data Center Systems Network and Data Plane Efficiency Operating System Design Virtualization Technologies Trusted Execution Environments Low-Latency Computing His recent publications focus on datacenter efficiency for OLDI applications, system security through hardware-based trust, and network-compute co-design . These works span topics from microsecond-scale latency optimization to privacy-preserving proximity tracing systems. Scientific Recognition: Elected ACM Fellow (2017) ACM Software Systems Award (2009) Teaching: Currently teaching CS-212: Systems Programming Project , with past courses including CS-522: Principles of Computer Systems and CS-410: Technology Ventures .

Alessandro Facchiniمشاهده پروفایل

استاد

• Logic
• Probability Theory
• AI Ethics
• +۴ مورد دیگر

Alessandro Facchini is a Professor at the Department of Innovative Technologies at SUPSI - University of Applied Sciences Western Switzerland, based in Lugano, Switzerland. He holds a PhD in Computer Science (2010) from the University of Lausanne and the University of Bordeaux, with prior research roles at institutions including the University of Warsaw, University of Amsterdam, and University of California, Santa Cruz. His current research focuses on logic, rationality theories, probability, and the philosophy and ethics of AI, complemented by past work in automata theory and game theory. He has received notable awards such as the FNP Homing Plus Grant (2012) and the Paul Bernays Award (2011). Education PhD in Computer Science (2010), co-supervised by Prof. J. Duparc (U. Lausanne) and I. Walukiewicz (U. Bordeaux) Doctoral Program in Logic and Foundations of Mathematics (2004-2006), University of Barcelona Master in Humanities (Logic, Linguistics, Mathematics) (1998-2003), University of Neuchâtel Research Interests : Facchini’s work bridges formal logic, AI ethics, and foundational questions in probability and quantum theory. His recent projects include the European University on AI in Curricula and SmartH2O, a platform leveraging gamification for water resource management. He explores topics like quantum rational preferences, causal models, and the societal implications of AI systems. Awards & Recognition : FNP Homing Plus Grant (2012) Paul Bernays Award (2011) Teaching & Leadership : Facchini leads courses such as “Ethics of Technology and Engineering” and “Fundamentals of Artificial Intelligence,” emphasizing ethical and legal dimensions of data analytics. He also oversees projects like the Smart UniverCity initiative. Collaborations & Labs : Active member of IDSIA (Istituto Dalle Molle di Studi sull’Intelligenza Artificiale), a leading Swiss AI research institute. His work often intersects interdisciplinary teams addressing environmental, healthcare, and ethical challenges posed by AI.

• International Security Policy
• Swiss Security Policy
• Conflict Analysis
• +۳ مورد دیگر

Leo Eigner is a Researcher affiliated with the Department of Swiss and International Security Policy at ETH Zürich, Switzerland. He is part of the Professorship for International and Swiss Security Policy. His work focuses on strategic security analysis, conflict resolution mechanisms, and policy frameworks related to national and international security dynamics. His research interests include the application of quantitative methods to security studies, policy evaluation frameworks, and interdisciplinary approaches to addressing contemporary security challenges. He collaborates on projects involving geopolitical risk assessment and institutional resilience strategies. Eigner has contributed to over 20 peer-reviewed publications since 2011, with notable work in control theory and optimization applied to security contexts. His articles explore stability verification of control systems, region-of-attraction computations, and optimization-based methods for nonlinear systems. Key contributions include advancements in sum-of-squares programming and semidefinite programming techniques for complex system analysis. No specific academic awards or grants are explicitly mentioned in the provided materials. His professional activities are centered on maintaining rigorous research output within the security policy domain.

Antonio Carzanigaمشاهده پروفایل

استاد

• Distributed Systems
• Software Engineering
• Content-Based Networking
• +۷ مورد دیگر

Antonio Carzaniga is a Full Professor and founding member of the Faculty of Informatics at Università della Svizzera italiana (USI), where he has been active since 2004. Previously, he served as an Assistant Research Professor at the University of Colorado at Boulder from 2001 to 2007. He holds a Ph.D. in Computer Science and a Bachelor’s degree in Electronic Engineering from Politecnico di Milano. Full Professor, Faculty of Informatics, Università della Svizzera italiana (2004–Present) Assistant Research Professor, Department of Computer Science, University of Colorado at Boulder (2001–2007) Ph.D. in Computer Science, Politecnico di Milano Bachelor’s in Electronic Engineering, Politecnico di Milano His research spans distributed systems and software engineering, with a strong focus on content-based addressing networks, publish/subscribe systems, middleware, software fault tolerance, and verification. He has pioneered work in information-centric networking and developed the Siena project, a scalable publish/subscribe service. His recent work extends into programmable networks, GPU-accelerated matching, and performance annotations for cloud systems. The 15 most recent publications highlight a consistent trajectory in scalable, high-performance networking and adaptive software systems. Key themes include content-based communication, packet subscriptions, information-centric networking, and leveraging redundancy for fault tolerance and testing. His work bridges theoretical foundations with practical implementations, often involving system-level software and performance evaluation. Best Paper Award, ACM SIGCOMM Workshop on Information-Centric Networking (ICN'13) Carzaniga has advised multiple graduate students, including Michele Papalini, Koorosh Khazaei, and Daniele Rogora, and has collaborated on funded research projects in distributed systems and networking. He has contributed to software development through projects like the Siena Fast Forwarding engine and the Synthetic Workload Generator. His service includes organizing workshops and contributing to major conferences in software engineering and computer systems. He leads research initiatives such as Siena and Content-Based Networking, focusing on scalable, decentralized communication infrastructures. His lab has developed key tools for evaluating publish/subscribe performance and implementing high-speed forwarding algorithms.

Cyril Monnetمشاهده پروفایل

استاد

• Monetary Theory
• Financial Intermediation
• Macroeconomics
• +۲ مورد دیگر

Cyril Monnet is a full Professor at the Economic Institute of the University of Bern, Switzerland, with dual affiliations at the main university campus in Bern and the Study Center Gerzensee. His institutional roles include active participation in the World Trade Institute (WTI) and other research centers within the Economic Institute ecosystem. His research program centers on three core pillars: Monetary Theory (examining money's fundamental properties and functions) Financial Intermediation (analyzing banking structures and credit allocation) Macroeconomics (investigating systemic economic dynamics) Recent scholarly output reveals a pronounced focus on digital currency ecosystems, where he pioneers theoretical frameworks for central bank digital currencies (CBDCs), stablecoins, and distributed ledger systems. His work critically assesses privacy implications in digital payments, banking sector vulnerabilities under new monetary architectures, and optimal liquidity backstop designs. Methodologically, he integrates game-theoretic models with empirical validation, particularly in consensus mechanisms and truth-verification systems for decentralized finance. Professor Monnet's publication trajectory demonstrates deep engagement with real-world policy challenges, including Swiss National Bank liquidity operations, ECB Digital Euro implementation hurdles, and systemic risk mitigation in collateralized credit chains. His research consistently bridges theoretical rigor with actionable insights for central banking institutions globally. Based in office A316 at Schanzeneckstrasse 1, Bern, he maintains an active research presence through cyrilmonnet.ch while contributing to the University of Bern's leadership in monetary economics through the Economic Institute's collaborative framework with the Oeschger Center for Climate Change Research and Center for Regional Economic Development.

Manfred Max Bergmanمشاهده پروفایل

استاد

• Socio-sustainable transitions
• Qualitative research methods
• Mixed methods research
• +۴ مورد دیگر

Manfred Max Bergman is Professor of Social Research and Methodology at the University of Basel's Faculty of Humanities and Social Sciences, Department of Sociology. He serves as Director of the Social Transitions Research Group and is an Affiliated Professor of European Global Studies. Bergman holds additional leadership roles as Board Member at the University's Center for Philanthropy Studies (CEPS) and Member of the Executive Board of the Swiss Academic Society for Environmental Research and Ecology (saguf). Internationally, he contributes as Senior Advisor at the Centre for Responsible Business (CRB) in India, Member of the Uganda National Academy of Sciences, and contributor to the Sustainable Development Solutions Network (SDSN). Bergman's research centers on socio-sustainable transitions through the Proof of Transition Concepts (proTract) research program, which investigates real-world examples of successful sustainability transitions where diverse actors forge cooperative solutions with positive social and ecological outcomes. His work examines how transitions happen and aims to provide actionable insights for fostering them across different contexts. Methodological development in social sciences forms another key research pillar, where he advances qualitative and mixed methods research designs to expand their analytical capacity. He specifically explores the limits and potential of case study research, examining how academic rigor can be maintained while addressing complex real-world phenomena. Analysis of Bergman's recent publications reveals a consistent focus on sustainability transformations across multiple domains. His work spans urban mobility (bicycle sharing systems), health promotion interventions, educational approaches, and ESG reporting frameworks. The research demonstrates a methodological emphasis on mixed methods and qualitative approaches applied to complex socio-environmental challenges. Geographic scope covers Europe, Singapore, South Africa, and India, reflecting his international research collaborations. Bergman directs the Social Transitions Research Group, which includes researchers like Zinette Bergman, Basil Bornemann, Rico Defila, and others working on projects including 'Food coalitions beyond the local scale' and 'Your Social Science Research Project.' His research projects frequently involve cross-sectoral and international collaborations, reflecting commitment to academic excellence and societal relevance. He regularly teaches research methods workshops across Europe and Asia, contributing to methodological training in social science research.