Find Academic Supervisors

Borja HerceView profile

Researcher

• Morphology
• Diachrony
• Paradigmatic Relations
• +7 more

Borja Herce is a Postdoctoral Researcher at the University of Zurich's Department of Comparative Linguistics, affiliated with the Distributional Linguistics Lab. His research focuses on morphology and diachrony, particularly paradigmatic relations in inflectional systems, morphomes, and inflection classes. He employs qualitative and quantitative methods across global languages to study complex morphological structures. University: University of Zurich Department: Department of Comparative Linguistics Herce's work spans phonological, morphological, and typological analysis. Key projects include comparative studies of Romance languages (Spanish, Catalan, Romanian) and Otomanguean languages (Central Pame), examining phenomena like stem alternations, morphomic templates, and positional splits in agreement paradigms. He has developed computational resources like VeLeSpa (Peninsular Spanish verbs) and VeLeRo (Romanian verbs), enabling detailed morphological predictability analysis. His publications highlight the interplay of naturalness gradients, semantic similarity, and token frequency in shaping morphological systems. Notable Research Contributions Identified diachronic origins of Central Pame's free variation patterns via historical corpus analysis Quantified morphomic productivity in Romance innovations (15% adherence to templates) Linked vowel chain shifts in Central Pame to phonetic fronting among young female speakers Proposed predictive models for morphological complexity metrics as phylogenetic signals Challenged traditional dichotomies between morphemes and morphomes through distributional semantics

Andrea RosàView profile

Researcher

• Dynamic Program Analysis
• Managed Languages and Runtimes
• Dynamic Compilers
• +7 more

Andrea Rosà is a Researcher and Lecturer at the Faculty of Informatics of Università della Svizzera italiana (USI) in Lugano, Switzerland. He is a member of the Dynamic Analysis Group (DAG), where he conducts research on managed language runtimes, dynamic program analysis, and performance optimization of parallel systems. Andrea earned his PhD in Informatics from USI in 2018 under the supervision of Prof. Walter Binder. Prior to that, he completed both his MSc and BSc in Computer Science Engineering at Politecnico di Milano. His research centers on dynamic program analysis, managed language runtimes (especially the Java Virtual Machine), dynamic compilers, benchmarking, concurrency and parallelism, and big-data analytics. He has developed tools such as AkkaProf for profiling actor-based applications and contributed to the Renaissance benchmarking suite. His recent work investigates task granularity, Java streams, vectorization, and compiler-level profiling. His most recent publications (2023–2025) explore JVM performance, Java Vector API, native-image startup, and adaptive threading, published in leading venues such as TOPLAS, PLDI, CGO, and OOPSLA. The articles collectively reflect a strong focus on empirical systems research, performance engineering, and tool development for modern JVM-based applications. Andrea collaborates extensively with researchers including Matteo Basso, Walter Binder, Eduardo Rosales, and Lydia Y. Chen. He has co-authored over 50 publications and contributed to multiple open-source projects and benchmarking frameworks. He advises no known students but actively contributes to academic service, including organizing and editing workshop proceedings. He is based at the East Campus, Sector D, Office D5.10, Via la Santa 1, Lugano-Viganello, Switzerland.

Sébastien DoeraeneView profile

Lecturer

• Language design
• Compilers
• Virtual machines
• +4 more

Sébastien Doeraene is a Lecturer at the Swiss Federal Institute of Technology Lausanne (EPFL) , affiliated with the School of Computer and Communication Sciences and the Information Systems Laboratory . He is best known as the creator of Scala.js and serves as the Executive Director of the Scala Center . His research focuses on cross-platform language design, compiler optimization, and interoperability between statically and dynamically typed languages. PhD in Programming Languages (EPFL, 2018) Master of Science in Computer Science Engineering (Université catholique de Louvain, Belgium) His work bridges theoretical language design with practical implementations, particularly for JavaScript interoperability. Key projects include: Scala.js (compile Scala to JavaScript) Mozart 2 (Oz language implementation) Ozma (Scala extension with Oz concurrency) FunLabyrinthe (customizable maze game) Teaching contributions include courses on algorithmic thinking (C programming) and software development (Python, object-oriented design). As part of the LAMP laboratory , he advances Scala ecosystem tools and education initiatives.

• Medical Imaging
• Computational Chemistry
• Data Science
• +5 more

Dr. Qianwei Qu is a Researcher at the Paul Scherrer Institute (PSI), affiliated with the IT Infrastructure and Services group within the PSI Center for Scientific Computing, Theory and Data Science. Their work focuses on advanced imaging techniques, molecular spectroscopy, and computational chemistry, particularly in the context of exoplanet research and medical diagnostics. Research interests span Medical Imaging (including 4D synchrotron CT and time-resolved CT), Molecular Spectroscopy (hyperfine-resolved spectra and ExoMol database development), and Laser Diagnostics (flow tomography and high-speed flow analysis). Recent projects include contributions to molecular line lists for exoplanet atmospheres and thermodynamic modeling of diatomic molecules. Publications highlight innovation in computational methods for rovibronic spectra, laser absorption tomography algorithms, and applications of synchrotron-based imaging. Their interdisciplinary approach bridges physics, chemistry, and data science to address challenges in medical engineering and astrophysics. No awards or grants are explicitly mentioned, but their work demonstrates significant contributions to open science through collaborative projects like the ExoMol database and hackathon initiatives.

Dimitar PetrovView profile

Associate Professor

• Static Analysis
• Cybersecurity
• Blockchain Smart Contracts
• +5 more

Dr. Dimitar Petrov is an Associate Professor in Computer Science at Ca’ Foscari University of Venice, specializing in static analysis and cybersecurity. He is affiliated with ETH Zürich's Institute of Pharmaceutical Sciences (IPW) as staff under Tit.-Prof. Jörg Scheuermann. His research focuses on applying abstract interpretation-based methods to detect security vulnerabilities in systems ranging from blockchain smart contracts to IoT devices. Education details are not explicitly provided in the text, but his extensive publication history indicates advanced expertise in formal methods. His research interests include software verification, privacy enforcement, and the application of static analysis tools like LiSA across diverse domains such as robotics, microservices, and mobile applications. Key research trends in his articles emphasize blockchain security (smart contract vulnerabilities, consensus protocols), IoT/IoMT security (device interactions, privacy policies), and the integration of machine learning with program analysis. His work bridges academic research with industry challenges, addressing compliance with regulations like GDPR and the EU Data Act. Prior to his current roles, he has contributed to open-source frameworks like LiSA and collaborated on projects involving automated policy extraction, cross-language analysis, and vulnerability detection in automotive systems. His research group at Ca’ Foscari actively engages in both theoretical advancements and practical tool development. Labs/Teams: Part of the Software and System Verification group at Ca’ Foscari, and collaborates with ETH Zürich's Institute of Pharmaceutical Sciences on interdisciplinary projects combining formal methods with healthcare technology.

Valentin JentschView profile

Assistant Professor

• Corporate Law
• Capital Market Law
• Private Law Fundamentals
• +4 more

Valentin Jentsch is a Tenure Track Assistant Professor of Corporate Law at the University of St.Gallen (HSG) and affiliated with the Department of Business and Tax Law at the Max Planck Institute for Tax Law and Public Finance in Munich. His research focuses on corporate and capital market law, private law fundamentals, sustainability reporting, and climate litigation. He teaches courses such as Corporate Law (Aktienrecht) and Corporate Governance, and has published extensively in leading journals like ZHR , Schweizerische Juristen-Zeitung , and Oxford Business Law Blog . His work addresses socio-political issues through legal frameworks, including director liability, ESG disclosure, and corporate governance reforms. Recent activities include co-authoring the Praxishandbuch Verantwortlichkeitsrecht , editing Leitentscheide im Gesellschafts- und Kapitalmarktrecht , and presenting at conferences like the 12th Law and Economics Conference . He has delivered speeches on topics such as sustainability reporting, climate litigation against fossil fuel companies, and statutory limitations for D&O liability. His research often bridges legal theory and practical implications, with a focus on Swiss and European regulatory contexts. Prof. Jentsch also leads initiatives like the St.Galler Tagung für den wissenschaftlichen Nachwuchs im Gesellschaftsrecht , fostering junior scholars. His academic output spans over 50 publications, including articles on corporate law revisions, liability regimes, and the intersection of law and economics during crises such as the pandemic.

• Formal Verification
• Programming Languages
• Cybersecurity
• +3 more

Dr. Marco Eilers is a **Lecturer** in the **Department of Computer Science** at **ETH Zürich**, Switzerland. His research focuses on formal verification, programming languages, and cybersecurity, with particular expertise in smart contract verification for blockchain systems like Ethereum and Libra’s Move language. He has contributed to tools such as Viper’s symbolic execution backend and frameworks for modular program verification. His work emphasizes practical applications of formal methods to ensure security and correctness in concurrent, distributed, and GPU-based systems. Key research areas include static analysis for information flow security, product program models, and SMT-based type inference for languages like Python. He is affiliated with the Professur für Software Technology at ETH Zürich’s CAB H 89 laboratory. Publications highlight advancements in verifying real-world systems such as internet routers, GPU kernels, and blockchain smart contracts. Though no awards are explicitly listed, his contributions reflect significant impact in formal verification and programming language research. Eilers’ advising and grants are not detailed here, but his involvement in cutting-edge projects like Igloo and modular product programs indicates active collaboration in distributed system verification and secure software development.

David SpeckView profile

Researcher

• Artificial Intelligence
• Automated Planning
• Symbolic Search
• +4 more

David Speck is a postdoctoral researcher at the University of Basel , Switzerland, affiliated with the Department of Mathematics and Computer Science . He previously held positions at the Machine Reasoning Lab (Linköping University, Sweden) and the Chair of Foundations of Artificial Intelligence (University of Freiburg, Germany), where he earned his PhD in 2022. Bachelor's (2015) and Master's (2018) in Computer Science from the University of Freiburg. PhD (Dr. rer. nat.) in 2022 from the University of Freiburg. His research focuses on Artificial Intelligence , particularly automated planning , symbolic search , and heuristic optimization . He explores techniques like cost partitioning , plan space navigation , and expressive planning formalisms (e.g., axioms, conditional effects, state-dependent costs). Recent work includes modeling matrix multiplication algorithms and analyzing symmetry breaking in planning. From 2021–2025, his publications span conferences like KR , ECAI , AAAI , and journals such as Journal of Artificial Intelligence Research . Key contributions include methods for perfect saturated cost partitioning , symbolic search with performance guarantees , and plan space counting and reasoning . His work often bridges theoretical analysis with practical planner implementations (e.g., AxSAT , SymK ). He collaborates with researchers like Jendrik Seipp , Daniel Gnad , and Malte Helmert , and has contributed to competitive planner development (e.g., Ragnarok , Odin ).

• Glass Construction
• Building Envelopes
• Adaptive Facades
• +5 more

Prof. Dr. Andreas Luible is a Lecturer and Head of the Institute of Civil Engineering (IBI) at Lucerne University of Applied Sciences and Arts. He leads the Competence Center for Building Envelopes and Civil Engineering (CC GH+IB), focusing on advanced structural engineering, façade technologies, and sustainable materials. His expertise spans glass construction, adaptive façades, wind engineering, and energy-efficient building systems. He has held leadership roles in international research networks, including the COST Action TU1403 (Adaptive Facades Network), and chairs key industry standards committees such as the SIA Normenkommission 268 for glass construction. Education: Trained as a carpenter, he earned a civil engineering degree from TU Munich and a PhD from EPFL on glass element stability. His career includes academic roles and industry experience with global façade projects in Europe, the Middle East, and Asia. Research Interests: Structural glass and building envelopes Adaptive façade systems Wind engineering and climatic loads 3D-printed construction materials Energy-efficient and green façade designs Grants & Projects: Led over 50 research projects, including EU-funded initiatives. Active in standardization through SIA and CEN committees. Labs & Teams: Directs the IBI’s research programs and collaborates internationally on façade innovation and sustainable construction technologies.

• Parallel Computing
• Java Virtual Machine (JVM) Optimization
• Performance Profiling
• +5 more

Walter Binder is a Full Professor in the Faculty of Informatics at the Università della Svizzera italiana (USI). He holds a MSc, PhD, and venia docendi from Vienna University of Technology. Previously, he was a senior researcher at the Artificial Intelligence Laboratory, EPFL. His research focuses on program transformations, virtual execution environments, aspect-oriented programming, profiling, and resource management. Education: MSc from Vienna University of Technology PhD from Vienna University of Technology Venia docendi (Habilitation) from Vienna University of Technology Research Interests: His work spans JVM optimization, parallel computing, and dynamic program analysis. Notable contributions include tools like Renaissance (a JVM benchmark suite), S2S (SQL-to-Stream translator), and Akkaprof (profiler for actor-based systems). He explores topics such as thread management, vectorization, and performance profiling in distributed systems. Articles Trends: Recent work emphasizes JVM performance (e.g., Java Vector API, Native Image optimizations), parallel execution policies (NAS benchmarks), and adaptive runtime systems (e.g., MPR framework). He also investigates big data systems (Spark, Node.js) and runtime verification tools. Grants & Labs: Leads projects on JVM profiling, polyglot runtimes, and large-scale program analysis. His lab develops tools like NodeMOP for Node.js and AccStream for stream processing systems.

Verena ReidingerView profile

Researcher

• Political Institutions
• Public Opinion
• Political Representation
• +4 more

Verena Reidinger is a postdoctoral researcher at the University of Zurich’s Department of Political Science, focusing on political institutions, public opinion, and gender representation. Her work examines how descriptive representation affects perceptions of democratic legitimacy and elite responsiveness. Research Focus : Political institutions, public opinion, gender representation, social democratic parties, and democratic legitimacy Key Themes : Group consciousness, policy perception fairness, party-union ties, and institutional trust Teaching : Courses on Parliaments and Democracy , European Integration , and Political Systems and Theories at the undergraduate level. Publications : Analysis of gender representation dynamics, social democratic party evolution, and Austrian electoral campaigns. Recent work explores how men’s underrepresentation impacts institutional trust and how descriptive representation influences policy fairness. Contact : verena.reidinger@ipz.uzh.ch | ORCID

Stefan BlaserView profile

Researcher

• Conservation Biology
• Fungal Ecology
• Biodiversity
• +3 more

Dr. Stefan Blaser is a Researcher at the Swiss Federal Research Institute WSL (Biodiversity and Conservation Biology Department), specializing in fungal ecology and conservation biology. He manages the national SwissFungi data center and leads projects on forest pest modeling, endangered species conservation, and biodiversity monitoring. His work bridges applied research and policy, focusing on fungal diversity in forest/grassland ecosystems and conservation strategies for threatened species like the Pink Waxcap. Education: PhD (2014, University of Bern) on fungal diversity impacts of land use; MSc (2010, University of Bern) in Ecology and Evolution, focusing on deadwood-inhabiting fungi. Projects include Red List revisions, action plans for protected fungi, and collaborative monitoring programs in Swiss nature reserves. Research emphasizes conservation biology applications, with articles addressing fungal taxonomy, ecological interactions, and biodiversity management strategies. Active in cross-disciplinary initiatives like AMORE II and Jorat Nature Park monitoring, integrating fungal and entomological data to assess forest reserve effectiveness.

Toni KraftView profile

Researcher

• Geophysics
• Seismology
• Induced Seismicity
• +3 more

Dr. Toni Kraft is a researcher at the Swiss Seismological Service (SED) within ETH Zurich's Department of Earth and Planetary Sciences. His work focuses on induced seismicity monitoring in geothermal projects, microseismic analysis, and tectonic dynamics in alpine regions. He contributes to Switzerland's national seismic monitoring infrastructure and collaborates on international projects like GEOBEST, developing tools for optimizing microseismic networks and analyzing fault reactivation mechanisms. Key research interests include geothermal energy-related seismic risks, climate change impacts on mountain belt seismicity, and innovative applications of machine learning in seismic data analysis. His expertise spans from theoretical fault mechanics to practical monitoring protocols for urban geothermal developments. Dr. Kraft has published extensively on induced seismicity patterns in Swiss geothermal sites (Basel, St. Gallen), microearthquake sequence analysis, and meteorological influences on seismic activity. His work integrates field observations with computational models to improve hazard assessment frameworks.

Valentin BickelView profile

Researcher

• Planetary Science
• Astrophysics
• Geology
• +3 more

Dr. Valentin Bickel is a Researcher affiliated with the University of Bern's Space Research & Planetary Sciences department. His work focuses on planetary geology, remote sensing applications, and robotic exploration strategies for Mars, the Moon, and Mercury. Key areas of interest include analyzing surface processes like dust devil activity, impact crater dynamics, volatile ice distribution, and lunar subsurface exploration using advanced techniques such as deep learning and multi-satellite data integration. His research contributes to understanding planetary environments through missions like InSight, VIPER, and ExoMars. Recent studies involve mapping Martian slope streaks, lunar volcanic pits, and Mercury's hollows, while also developing methodologies for astronaut traverse optimization and in-situ resource utilization (ISRU). Dr. Bickel collaborates with international space agencies and robotic teams, advancing technologies for autonomous planetary exploration and hazard mitigation. His work bridges geoscience with engineering, addressing critical questions about planetary evolution, habitability, and sustainable human exploration.

• Psychosocial Determinants of Health
• Healthcare Decision-Making
• Doctor-Patient Relationships
• +3 more

Dr. Serena Petrocchi is a Lecturer and Researcher at the Università della Svizzera italiana’s Faculty of Biomedical Sciences, affiliated with the Institute of Family Medicine. She holds a MSc and PhD in Psychology from the Catholic University of Milan and was nationally qualified as an Associate Professor in 2020. Her research focuses on psychosocial determinants of health, decision-making in healthcare, doctor-patient relationships, pediatric medicine, and decision fatigue among physicians. Dr. Petrocchi coordinates the Master in Cognitive Psychology in Health Communication and teaches courses like Health Communication and Advanced Research Methods. She has held postdoctoral roles at Keele University (UK) and the European Institute of Oncology, funded by EU grants like Marie Curie and H2020. Her work explores topics such as trust dynamics in healthcare, moralization of health behaviors, and pediatric early diagnosis of autism. She collaborates with institutions like the European Alliance for Personalized Medicine and maintains an affiliation with the Laboratory of Applied Psychology and Intervention. Education: MSc/PhD Psychology, Catholic University of Milan Awards: Italian National Qualification (2020) Labs: Laboratory of Applied Psychology and Intervention