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

• Formal Methods
• Software Engineering
• Program Verification
• +۷ مورد دیگر

Carlo A. Furia is an Associate Professor at the Software Institute within the Faculty of Informatics at Università della Svizzera italiana (USI). He leads the ATOM research group and is actively involved in advancing formal methods in software engineering. His work bridges theoretical rigor with practical applicability, particularly in verification, automated repair, and empirical analysis of software systems. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research focuses on making formal methods practical through automation, combining diverse techniques, and conducting thorough empirical evaluations. He is particularly interested in using Bayesian data analysis to assess software engineering data. His work spans program verification (e.g., AutoProof), contract inference, API usability, and multilingual program analysis. His recent publications highlight trends in automated program repair, JVM bytecode analysis, Android security, and empirical methodologies. These works reflect a consistent emphasis on correctness, reliability, and empirical validation in software development. Scientific service includes: Associate Editor, Empirical Software Engineering (EMSE) journal Program Committee member, FM 2026, FormaliSE 2026, ASE 2025, iFM 2025 He has advised students and leads the ATOM group, which develops tools for software analysis. He teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. Current research directions include improving empirical evaluation rigor and enhancing verification at lower code levels like bytecode.

Jinhan Kimمشاهده پروفایل

پژوهشگر

• Software Engineering
• Mutation Testing
• Fault Localization
• +۴ مورد دیگر

Jinhan Kim is a Postdoctoral Researcher at the Università della Svizzera italiana (USI) in the Faculty of Informatics, working in the TAU lab under Prof. Paolo Tonella. He earned his Ph.D. from KAIST under Prof. Shin Yoo, focusing on software engineering research in mutation testing, fault localization, and deep learning system testing. His work bridges traditional software engineering techniques with AI-driven methodologies, emphasizing AI4SE and SE4AI paradigms. Education: Ph.D. in Software Engineering, KAIST, 2023 Research Interests: Mutation Testing Deep Learning System Testing Autonomous Systems Testing Adversarial Attack Detection Empirical Software Engineering Service and Leadership: Organized SBFT 2026 and DeepTest 2026 (co-located with ICSE 2026) Program Committee Member for ASE, ISSTA, Mutation, and DeMeSSAI Board of Distinguished Reviewers for TOSEM (2024–2025) Labs and Teams: Active contributor to the TAU Lab at USI, focusing on advanced software testing and AI integration.

• Digital Trust
• Cybersecurity
• Blockchain
• +۱۲ مورد دیگر

Dr. Felix Härer is a Lecturer and researcher at the University of Applied Sciences FHNW, School of Business, Basel, Switzerland, and also teaches externally at the University of Fribourg. He is affiliated with the Digital Trust Competence Center, where he conducts research and teaching in IT Security, Cybersecurity, Digital Trust, Blockchain, AI, Cloud Computing, and Systems Modeling. His research interests span a broad and interdisciplinary range, including: Digital Trust and Cybersecurity Blockchain and Decentralized Systems AI and Knowledge-based Systems (including LLMs and RAG) Software and Systems Modeling (BPMN, ArchiMate) Data Science and ETL-based Analytics Zero Trust and Secure Architectures His recent publications (2020–2023) demonstrate a strong focus on blockchain interoperability, model-driven engineering, decentralized applications, and the integration of AI with conceptual modeling. He explores scalable architectures, cross-chain query languages, and secure attestation mechanisms, often combining modeling approaches with emerging technologies. His work bridges academic rigor with practical implementation in distributed and cloud environments. Scientific awards include: Best Paper Award at IEEE PKIA 2023 He actively supervises bachelor’s and master’s theses and student projects in digital trust and related domains. He has served on PhD committees externally and is a reviewer and program committee member for journals and conferences such as IEEE Transactions, WWW, CAiSE, and EMISAJ. His professional experience includes industry work at Siemens Healthineers in software engineering. He is a member of the IEEE Blockchain Group (Switzerland) and contributes to UN/CEFACT standards for e-commerce and supply chain data. He is involved in organizing workshops and conferences, including B4ISE 2025, B4TDS 2023–2024, and DESRIST 2023, and has delivered keynotes on Computational Trust and Blockchain Interoperability.

Mauro Pezzèمشاهده پروفایل

استاد

• Software Engineering
• Software Testing and Analysis
• Self-Adaptive Systems
• +۵ مورد دیگر

Mauro Pezzè is a Full Professor of Software Engineering at the Università della Svizzera italiana (USI) and Università di Milano Bicocca, leading the STAR research group since 2006. He holds a laurea from the University of Pisa and a PhD from Politecnico di Milano. His research focuses on software testing, analysis, self-adaptive systems, and cloud systems. He has held editorial roles, including Editor-in-Chief of ACM Transactions on Software Engineering and Methodologies (TOSEM), and served on numerous program committees. Education: Laurea (Pisa), PhD (Politecnico di Milano). Professional roles include Dean of the Faculty of Informatics at USI (2009-2013), visiting scientist at UC Irvine and Edinburgh, and technical lead for international projects. He co-authored a seminal book on software testing (Wiley, 2007), with over 670 citations. Research Interests: Software Testing, Self-Adaptive Systems, Cloud Computing, AI in SE, Sustainable Software. Projects include work on field-based testing, failure prediction in distributed systems, and neuro-symbolic approaches for test oracles. Grants and Advising: Led STAR Lab projects in self-healing systems, GUI testing, and semantic matching. Advised numerous PhD/postdoc students (e.g., Ciniselli, Di Grazia, Qiu). Collaborations with European tech firms on R&D initiatives. Labs/Teams: STAR Group at USI/Constructor Institute, Bicocca, and Politecnico di Milano. Current members include postdocs and PhD students working on AI-driven testing and cloud reliability.

David Atienzaمشاهده پروفایل

استاد

• Embedded Systems
• Low-Power Computing
• Edge AI
• +۳ مورد دیگر

David Atienza is a Professor in the Department of Electrical Engineering at the School of Engineering, Swiss Federal Institute of Technology in Lausanne (EPFL), renowned for pioneering embedded systems education and research in ultra-low power computing. His innovative teaching methods, including using Nintendo DS consoles and smartphones to teach embedded systems, earned him the 2015 EPFL Teaching Award in Electrical Engineering. His research focuses on Embedded Systems , Edge AI , and Wearable Healthcare , with breakthroughs in energy-efficient hardware-software co-design for biomedical applications. Key contributions include open-source platforms like X-HEEP and HEEPocrates for ultra-low power edge computing, and frameworks like SzCORE for seizure detection benchmarking. His work bridges computer architecture with real-world healthcare challenges, emphasizing privacy-preserving algorithms and sustainable computing. Recent publications (2023-2025) reveal a dominant trend toward biomedical edge AI and sustainable computing , with 70% of articles targeting healthcare wearables (seizure detection, cough monitoring) and 30% addressing energy efficiency in data centers and edge devices. His research consistently integrates open-hardware principles (RISC-V) with novel algorithm-hardware co-design. Awards include: 2015 EPFL Teaching Award in Electrical Engineering section While specific advising details are unreported, his extensive publication record and leadership in multi-partner projects like Sustainable Textile Electronics (STELEC) indicate active graduate supervision and significant research funding. His group develops open-source hardware frameworks used globally in academia and industry. He leads the Embedded Systems Laboratory at EPFL, driving projects in ultra-low power RISC-V architectures, biomedical wearables, and sustainable computing. Current initiatives include carbon-aware data center frameworks and multi-modal health monitoring systems deployable on commercial wearables.

Philip Brunnerمشاهده پروفایل

استاد

• Hydrogeology
• Surface Water-Groundwater Interactions
• Numerical Modeling
• +۳ مورد دیگر

Philip Brunner is a Professor of Hydrogeology at the University of Neuchâtel's Faculty of Science since 2012. He is based at the Center for Hydrogeology and Geothermics (CHYN), leading the Laboratory of Hydrogeological Processes. His work centers on sustainable water resource management through quantitative tools. He earned his PhD from ETH Zurich, focusing on sustainable salt and water management in Western China's agricultural basins. Post-PhD, he conducted three years of postdoctoral research in Australia, developing new approaches for simulating river-aquifer interactions. Brunner's research spans surface water-groundwater interactions, numerical modeling, and remote sensing. He integrates methods from numerical modeling, remote sensing, scientific computing, and isotopic chemistry. His interdisciplinary collaborations with mathematicians, biologists, and physicists address challenges in agriculture, ecohydrology, engineering, and sustainable resource management. Recent publications highlight innovative tracer techniques (noble gases, microbes), low-cost monitoring systems, and advanced numerical models. His work tackles climate change impacts on ecosystems, groundwater in conflict zones, and sustainable practices in diverse environments including mountains and agricultural regions. He teaches courses such as Introduction to Hydrological Processes (Master), Numerical Modeling (Master), Remote Sensing (Master), and Introduction to Soil Physics (Bachelor, in French). His laboratory serves as a center for experimental and computational hydrogeological research.

Christian Weberمشاهده پروفایل

مدرس ارشد

• Cybersecurity
• Digital Health
• Smart Environments
• +۴ مورد دیگر

Christian Weber serves as a Senior Lecturer & Researcher at the Institute of Business Information Technology within the Zurich University of Applied Sciences (ZHAW) School of Management and Law. He directs the CAS Cyber Security program and contributes to the ZHAW Digital Health Lab, focusing on sustainable digital ecosystems and security frameworks. His educational background includes an Executive MBA in General and Entrepreneurial Management from Johannes Gutenberg-Universität Mainz/McCombs School of Business and a Dipl.-Ing in Industrial Electronics & Electrical Power Engineering from RheinMain University of Applied Sciences. His continuing education spans numerous certifications in AI, sustainability, and digital health from institutions including Hasso Plattner Institute. Weber's research centers on sustainable smart solutions for digital ecosystems, including digital health, ambient assisted living, and smart environments. His work explores computer-supported cooperative working scenarios, applications of open source systems in SMEs, and data protection, cybersecurity, compliance, and forensics as enablers for digital ecosystems. His teaching portfolio spans multiple modules in IT Security, Emerging Technologies, IoT-Data Streaming & Analytics, and Digital Transformation across BSc and MSc Business Informatics programs. His recent publications demonstrate strong interdisciplinary connections between cybersecurity, digital health, and organizational transformation, with particular emphasis on practical applications in real-world settings. His work bridges technical implementations with organizational and societal impacts of digital technologies. Best Paper Award at SMART 2018 for "Citizens as Sensors" research "Educate to lead" award from Soroptimist International Europe for STEM outreach Weber's professional experience combines academic leadership with industry expertise, having served as Managing Director of the Cisco Networking Academy since 2012 and holding previous positions as Administrative Professor and Lecturer at University of Applied Sciences Braunschweig/Wolfenbüttel. His industry background includes executive roles as CIO/CTO and IT management consulting. He contributes to the ZHAW Digital Health Lab and has led projects including the ZHAW Digital Culture Assessment and Digital Health Hackathon, focusing on practical implementations of digital health solutions and organizational transformation.

• Contract Law
• Intellectual Property Law
• Digital Law
• +۱۸ مورد دیگر

Jacques de Werra is a full professor of the law of obligations and intellectual property law at the Faculty of Law, University of Geneva, where he also directs the Digital Law Center established in 2020. He previously served as Vice-Rector of the University (2015–2019), overseeing scientific information, technology transfer, and the 'Digital University' initiative. He has held visiting professorships at Stanford, Columbia, Paris 2, and other leading institutions and was a Faculty Fellow at Harvard’s Berkman Klein Center (2012–2014). His research centers on contract law, intellectual property, digital law, and alternative dispute resolution. He leads the Swiss Contract Law (SCL) project, contributes annually to Le Journal des Tribunaux , and participated in the Swiss National Science Foundation’s CO 2020 project to recast the general part of the Code of Obligations. His scholarly work explores AI transparency, FRAND licensing, trade secrets, sports IP, and digital governance. He has published extensively in journals such as Journal of Intellectual Property Law & Practice , WIPO Magazine , and Harvard Journal of Law & Technology , and edits the p®opriété intelle©tuelle book series. His recent publications reflect a strong focus on digital contracts, IP in the context of AI and big data, arbitration of technology disputes, and legal responses to public health crises. These works demonstrate a consistent engagement with the intersection of law, technology, and global policy. De Werra serves on the editorial boards of revue sic! , Jusletter , and the Cahiers de propriété intellectuelle (Canada), and is a French-speaking editor of Jusletter . He is a member of professional bodies including the Licensing Executives Society (LES), the International Literary and Artistic Association (ALAI), ATRIP, and the Swiss Arbitration Association (ASA). He is on WIPO’s list of experts for domain name dispute resolution. He mentors doctoral candidates and has supervised several PhD theses in IP and contract law. He coordinates the Digital Law Summer School and organizes the annual Intellectual Property Law Day. He has received research funding from the Swiss National Science Foundation and led institutional projects on digital strategy and data governance. De Werra is actively involved in research centers and training programs in intellectual property, ICT law, and digital governance, both within and beyond the University of Geneva. He has contributed to policy reports for the Swiss Federal Institute of Intellectual Property and co-authored authoritative commentaries on Swiss IP law.

Gerhard Schwabeمشاهده پروفایل

استاد

• Collaborative Technologies
• Information Management
• E-Government
• +۵ مورد دیگر

Gerhard Schwabe is a Professor in the Department of Informatics at the University of Zurich, Faculty of Business, Economics and Informatics. His research spans collaborative technologies, information management, E-government, blockchain applications, and digital health. He leads the Information Management Research Group and contributes to the university's Digital Society Initiative (DSI). Research Focus: Human-AI collaboration, blockchain systems, crisis informatics, persuasive technologies Key Projects: RefuGPT (refugee support chatbots), Scripted Medicine (health worker assistance), PROMISE (AI prompt orchestration) Technical Expertise: Design Science Research, conversational agents, data-driven governance His recent publications emphasize AI integration in collaborative workflows, blockchain applications for data markets, and digital solutions for crisis management. He explores how generative AI impacts freelance development practices and transforms advisory services through automated systems. Contact: schwabe@ifi.uzh.ch

• Security of Deep Learning Systems
• Side-Channel Attacks
• Privacy-Preserving Machine Learning
• +۳ مورد دیگر

Dr. Yuanyuan Yuan is a Researcher at the Department of Computer Science, ETH Zurich, Switzerland, based at CNB H 104.1, Universitätstrasse 6, 8092 Zurich. Her work bridges computer security and machine learning with a focus on practical vulnerabilities in deployed AI systems. Her research centers on exposing and mitigating security flaws in deep learning deployments, particularly targeting trusted execution environments (TEEs) and on-device inference systems. Key contributions include pioneering side-channel attacks against TEE-shielded neural networks (CipherSteal, HyperTheft), bit-flip attack surfaces in DNN executables (BitShield), and novel testing methodologies for neural network robustness. She investigates cache/timing side channels, ciphertext analysis, privacy leakage in partitioned ML, and concept-based explainability. Analysis of her 2023-2025 publications reveals a cohesive focus on offensive security research for AI infrastructures, with consistent contributions to top venues in security and machine learning. Her work demonstrates expertise in low-level system interactions (memory, cryptography) applied to ML security, spanning attack vectors, defensive mechanisms, and validation frameworks. The research trajectory shows increasing sophistication in exploiting hardware-software interfaces while developing practical hardening techniques for real-world deployments.

Florent Thouveninمشاهده پروفایل

استاد

• Information and Communications Law
• Intellectual Property Law
• Internet Law
• +۸ مورد دیگر

Prof. Dr. Florent Thouvenin holds the Chair for Information and Communications Law at the University of Zurich's Faculty of Law. He specializes in legal aspects of digital technologies, including Intellectual Property, Internet Law, AI regulation, and Data Protection. His academic work addresses challenges posed by emerging technologies to existing legal frameworks, with a focus on Swiss and EU law. Affiliations: Center for Information Technology, Society, and Law (ITSL); Swiss Forum for Communications Law (SF-FS) Courses Taught: Internet Law, Artificial Intelligence: Technology and Law, Intellectual Property Law, License Agreement Antitrust Law Winter School: Co-organizes an annual cross-continental program 'Law and Technology – a cross-continental perspective' with the University of New South Wales, Sydney. Research Interests: Regulatory challenges of AI, digital privacy, technology governance, cybersecurity, and innovation policy. His work bridges legal theory and practical implementation, emphasizing interdisciplinary collaboration between law, computer science, and ethics.

Patrick Jermannمشاهده پروفایل

مدرس

• Computer Science
• Educational Technology
• Human-Computer Interaction
• +۳ مورد دیگر

Patrick Jermann is a Lecturer at EPFL’s School of Computer and Communication Sciences, affiliated with the Centre for Digital Education (CEDE) , SIN-ENS , and SSC-ENS departments. As Executive Director of CEDE since 2013, he leads Swiss MOOC Service (SMS), NOTO, and Campus Analytics initiatives. His research focuses on Computer Supported Collaborative Learning (CSCL) , Learning Analytics , and MOOCs , analyzing student interactions, gaze patterns, and attrition behaviors through clickstream data. Recent work explores pedagogical design, statistical methods, and software development for educational tools. His publications (2001–2015) reveal trends in eye-tracking for MOOCs, interaction analysis, and collaborative learning technologies. Notable contributions include frameworks for gaze-based feedback and metrics for perceived video difficulty. He has mentored PhD students such as Sharma Kshitij and Nüssli Marc-Antoine , and secured grants via the DRIL fund . As a CDS Member, he contributes to institutional digital education strategies.

Marius Huberمشاهده پروفایل

پژوهشگر

• Topological Data Analysis
• Low-Dimensional Topology
• Knot Theory
• +۲ مورد دیگر

Marius Huber is a Postdoctoral Researcher at the Digital Linguistics Lab, University of Zurich, working with Prof. Lena Jäger on the SNSF-funded ProPoSaL project. His research develops topological data analysis methods for linguistic data and natural language processing applications. Education: PhD in Mathematics, Boston College (supervised by Joshua Greene) His research bridges low-dimensional topology and computational linguistics, specializing in topological data analysis, knot theory, and their applications to NLP. Current work focuses on translating abstract mathematical frameworks into practical tools for analyzing linguistic structures through persistent homology and clustering algorithms. While his foundational publications explore ribbon cobordisms in 3-manifolds, his recent trajectory demonstrates a strategic pivot toward interdisciplinary applications where topological methods solve complex problems in computational linguistics and machine learning. Dr. Huber secures research funding through the SNSF Sinergia grant for ProPoSaL and teaches graduate courses including Mathematical Foundations of Computational Linguistics (Fall 2024), Bayesian Statistics (Spring 2024), and Linear Algebra for Machine Learning (Spring 2023). He leads software development for the Digital Linguistics Lab, creating open-source topology tools including DowkerRipsComplex, DowkerComplex, AuToMATo, and SoaPy – the latter enabling computation of Heegaard Floer invariants for Seifert fibered spaces.

• Computer Science
• Electrical Engineering
• Embedded Systems

Solal Pirelli serves as a Lecturer at the Swiss Federal Institute of Technology Lausanne (EPFL), affiliated with the School of Computer and Communication Sciences (IC) and the Institute of Electrical Engineering (SIN). His primary responsibilities center on teaching within the Computer Science curriculum, specifically through the Embedded Systems Laboratory (ENS) under SIN-ENS. His academic focus spans Computer Science and Electrical Engineering, with specialized expertise in embedded systems development, hardware-software co-design, and real-time computing. This specialization aligns with the research priorities of EPFL's Embedded Systems Laboratory, which emphasizes low-power architectures, cyber-physical systems, and IoT security frameworks. No scientific awards or honors were documented in the available institutional records. Professional mentorship activities and research grant involvement are not explicitly referenced in current administrative profiles. His appointment status as an "Invited guest" suggests a non-permanent teaching role without indication of doctoral student supervision. He operates within the Embedded Systems Laboratory (ENS) at SIN, contributing to EPFL's integrated circuit design initiatives and embedded computing education programs through the Computer Science teaching division.

Carlos Cotrini Jimenezمشاهده پروفایل

مدرس

• Machine Learning
• Information Security
• Privacy-Preserving Technologies
• +۳ مورد دیگر

Dr. Carlos Cotrini Jimenez is a Lecturer at the Department of Computer Science at ETH Zurich, affiliated with the Institute of Machine Learning under Prof. Joachim Buhmann. He holds a PhD in Information Security from ETH Zurich (supervised by Prof. David Basin) and previously worked on infon logic under Prof. Yuri Gurevich. His research focuses on privacy-preserving machine learning, security analysis, and educational methodologies. Education: PhD in Information Security (ETH Zurich), prior work on infon logic. Research Interests: Privacy-preserving technologies, robust machine learning, security compliance analysis, and educational frameworks for complex concepts. His recent work includes developing distributed differentially private algorithms and analyzing cookie notice compliance at scale. He teaches courses on machine learning, software engineering, and AI applications, emphasizing theoretical foundations and practical implementations. Current opportunities include graduate research projects in privacy-preserving ML, security compliance, and robust algorithm development. He leads the Institute of Machine Learning’s educational initiatives and contributes to open-access materials for machine learning education.