جستجوی استاد راهنمای دانشگاهی

• International Trade
• Economic Forecasting
• Bayesian Neural Networks
• +۵ مورد دیگر

Davide Arioldi is a Postdoctoral Researcher and Scientific Collaborator at the Institute for Economic Research (IRE) within the Faculty of Economic Sciences at the University of Italian Switzerland (USI). He holds a PhD in Economics from USI (2018) with a thesis on international trade and has prior experience as a quantitative analyst and portfolio manager in investment firms. His current research focuses on Bayesian Neural Networks, Probabilistic Programming, causal structure learning via graphical models, and text analysis. He is affiliated with the Observatory of Public Finance and Energy (O-FPE), where he develops tax revenue forecasting models and compiles comparative studies on cantonal public finances. He also contributed to the PanelCODE project and the contati.ch platform analyzing policy impacts. Research expertise includes international trade dynamics, consumer behavior, productivity-wage gaps, bargaining theory, firm production, and network analysis. His work spans economic policy evaluation, unstructured data analysis, and regional economic disparities. He is co-developer of the contati.ch platform funded by a private foundation to assess policy impacts on local populations. Key projects include annual cantonal public finance studies, tax revenue modeling at O-FPE, and business dynamics analysis using unstructured online data since 2016. He collaborates across interdisciplinary teams in Lugano, Switzerland.

Martin Vechevمشاهده پروفایل

استاد

• Artificial Intelligence
• Programming Languages
• Cybersecurity
• +۷ مورد دیگر

Martin Vechev is a Full Professor of Computer Science at ETH Zurich, leading the Secure, Reliable, and Intelligent Systems Lab. He is also the Founder and Architect of INSAIT, a pioneering research center in computer science and AI in Eastern Europe. Previously, he worked at IBM T.J. Watson Research Center and earned his PhD from the University of Cambridge and B.Sc. from Simon Fraser University. His research focuses on AI and programming languages, with contributions to quantum programming (e.g., Silq), AI-driven code analysis (DeepCode), and security for decentralized systems (ChainSecurity). He has co-founded three deep-tech startups and received numerous awards, including the ACM SIGPLAN Robin Milner Award. His work spans theoretical foundations and practical systems, emphasizing formal methods and security guarantees. Education: PhD in Computer Science, University of Cambridge (2003-2008) B.Sc. in Computer Science, Simon Fraser University (1996-2001) Research Interests: His work bridges AI and programming languages, addressing challenges in secure AI, quantum computing, and automated reasoning. Key areas include: AI for code analysis and security Formal verification of decentralized systems Quantum programming languages Data privacy and adversarial machine learning Key Contributions: His group built widely used systems like Silq (first high-level quantum language) and developed AI-driven tools for detecting security vulnerabilities (DeepCode). His research on watermarking and federated learning privacy has been influential in both academia and industry. Awards: ACM SIGPLAN Robin Milner Young Researcher Award ERC Starting and Consolidator Grants Google/Facebook Faculty Awards IBM Research Excellence Awards Advising & Grants: He leads the SRI Lab at ETH, supervises PhD students in AI and programming languages, and manages grants from ERC, industry partners, and Swiss national initiatives. His startups (DeepCode, ChainSecurity, LatticeFlow) address real-world challenges in AI security, blockchain, and robust machine learning. Labs & Teams: The Secure, Reliable, and Intelligent Systems (SRI) Lab at ETH Zurich focuses on safe AI, programming languages, and security. Collaborations include INSAIT, a joint venture with ETH and EPFL.

Sandro Pedrazziniمشاهده پروفایل

استاد مدعو

• Software Engineering
• Programming Languages
• Natural Language Processing
• +۵ مورد دیگر

Sandro Pedrazzini is an Adjunct Professor in Software Engineering and the Head of the Bachelor's Program in Computer Engineering at the Department of Innovative Technologies (DTI) of SUPSI. He holds an M.Sc. in Computer Science from ETH Zurich and a Ph.D. in Natural Sciences from the University of Basel. His research focuses on Software Engineering methodologies, Programming Languages, Natural Language Processing, and Information Retrieval. He has extensive experience in both academia and industry, co-founding companies like Canoo AG and Karakun AG. His teaching responsibilities include courses on computer graphics, programming paradigms, and software engineering practices. Research Interests: Software Engineering: Agile methodologies, continuous integration, and project-based learning Natural Language Processing: Term extraction, morphological analysis, and e-learning tools Web Technologies: 3D interfaces, enterprise systems, and middleware architectures Publications reflect a blend of theoretical and applied research, with contributions to enterprise search systems, semantic analysis, and educational technologies. His work emphasizes practical applications of academic research in real-world contexts. Professional Experience: Co-founder of Canoo AG (2000) and Karakun AG (2018) Head of Computer Science Bachelor Program since 2012 Supervisor for multiple academic projects and courses Labs/Teams: Active in SUPSI’s DTI department, leading projects like 3D MMA (3D interface design) and TicinoTurismo II (web-based tourism platform).

Johannes Josef Schneiderمشاهده پروفایل

پژوهشگر

• Applied Complex Systems Science
• Artificial Chemistry
• Microfluidics
• +۳ مورد دیگر

Dr. Johannes Josef Schneider is a Researcher at the Zurich University of Applied Sciences (ZHAW) School of Engineering, affiliated with the Applied Complex Systems Science research group. His work focuses on computational modeling of complex systems, particularly artificial chemistry and microfluidic droplet networks. Research interests span: Artificial chemistry implementation in droplet-based systems Geometric constraints in particle agglomeration 3D arrangement of droplets and vesicles Computational methods for pandemic intervention modeling Network formation in polydisperse systems Schneider has contributed to several key projects including Bio-HhOST (as Deputy Project Leader) and SARS-CoV-2 intervention modeling. His collaborative research involves extensive work on chemical programmability using droplet agglomerations and ethical aspects of computational modeling. Research outputs demonstrate consistent focus on: Development of computational frameworks for chemical synthesis Analysis of droplet dynamics in constrained geometries Modeling of spatial population dynamics Investigation of vesicular interactions

Christoph Kochمشاهده پروفایل

استاد

• Database Theory
• Query Optimization
• Data Management Systems
• +۴ مورد دیگر

Christoph Koch is a Full Professor of Computer Science at École Polytechnique Fédérale de Lausanne (EPFL), leading the Data Analysis Theory and Applications Laboratory (DATA). His academic journey includes previous roles as Associate Professor at Cornell University (2007-2010) and Saarland University (2005-2007), with academic foundations from TU Vienna (PhD 2001, Habilitation 2004) and research at CERN. Education: PhD in Artificial Intelligence (TU Vienna & CERN, 2001), Habilitation (TU Vienna, 2004) Appointments: EPFL (2010-present), Cornell University (2007-2010), Saarland University (2005-2007), TU Vienna (2003-2005) His research focuses on database theory and systems , with recent work spanning query optimization , transaction processing , and parallel data management . His publications address topics like robustness under SQL isolation levels , quantifier elimination for query optimization , and Datalog extensions . Articles trend toward high-dimensional data cubes , transactional concurrency , and embedded DSLs for performance-critical systems . Scientific accolades include: Best Paper Awards: PODS (2002) ICALP (2005) SIGMOD (2011) VLDB (2014) GPCE (2017) ERC Consolidator Grant (2011) Google Research Award (2009) ACM SIGLOG Alonzo Church Award (2021) He has advised numerous PhD students including Immanuel Trummer (now at Cornell), Milos Nikolic (Edinburgh), and Lionel Parreaux (HKUST). His lab contributes to query engine architectures , parallel processing systems , and quantum computing applications in database optimization.

• Programming Language Theory
• Type Systems
• Scala
• +۱۱ مورد دیگر

Yichen Xu is a Doctoral Assistant at the Programming Methods Laboratory (LAMP1) within the School of Computer and Communication Sciences at École Polytechnique Fédérale de Lausanne (EPFL). He is currently pursuing his Ph.D. in Computer Science under the supervision of Professor Martin Odersky, the creator of Scala. Bachelor of Engineering in Computer Science, Beijing University of Posts and Telecommunications (2018–2022) Doctor of Philosophy in Computer Science, EPFL (2022–present) Yichen's research bridges programming language theory and machine learning. His primary focus lies in advancing Scala's type system, particularly through work on Capture Calculus and Generalized Algebraic Data Types (GADTs), aiming to achieve safe and efficient effect tracking. He has also made significant contributions to graph representation learning, especially in contrastive learning frameworks for graphs. His work spans both theoretical foundations and practical implementations in compilers and open-source libraries. His recent publications reveal a strong trend in formal methods for programming languages and self-supervised learning on graphs. Key themes include data race prevention via flexible type systems, formalization of inference rules in type calculi, and empirical studies on contrastive learning with adaptive augmentation and structure-aware mining. These works have been published in venues such as IWACO, NeurIPS, WWW, and Scala Symposium. First Prize in NSCSCC 2020 competition (EasterMIPS CPU project) Yichen has been actively involved in mentoring and collaborative research, contributing to major projects like CodeGeeX and the Scala 3 compiler (dotty). He has worked closely with researchers including Prof. Shu Wu, Prof. Zhilin Yang, Dr. Aleksander Boruch-Gruszecki, and Yanqiao Zhu. His open-source contributions include tools like PyGCL, fscala2c, and meow, reflecting a strong commitment to practical software development and community engagement. He is part of the Programming Methods Laboratory at EPFL and has previously been affiliated with research groups at CRIPAC (CASIA) and IIIS (Tsinghua University), forming a broad collaborative network in programming languages and machine learning.

Nada Aminمشاهده پروفایل

استادیار

• Programming Language Theory
• Metaprogramming
• Generative Programming
• +۱۱ مورد دیگر

Nada Amin is an Assistant Professor of Computer Science at the Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS). She holds a PhD from École Polytechnique Fédérale de Lausanne (EPFL) and degrees from MIT. Her research spans programming language theory, metaprogramming, semantics, and functional programming. Her educational background includes a Doctoral Program in Computer, Communication and Information Sciences from EPFL (2011–2016) and a Master of Engineering and Bachelor of Science from MIT. She has held research positions at TU Darmstadt, University of Cambridge, EPFL, Microsoft Research, and MIT CSAIL. Nada Amin's research focuses on foundational and practical aspects of programming languages. She investigates type systems, staged computation, generative programming, program synthesis, and the semantics of programming languages. Her work often bridges theory and implementation, with applications in verification, compiler construction, and language design. She is particularly known for her contributions to the DOT calculus, collapsing towers of interpreters, and relational programming with miniKanren. Her recent publications reveal a strong trend in advancing programming language foundations, especially in type systems and semantics (e.g., Persimmon, Dolorem, Extensible Metatheory). She integrates functional and logic programming paradigms, explores staged and generative techniques for efficiency and abstraction, and applies these to domains like probabilistic programming and biomedical reasoning. Recipient of the first Michigan Cambridge Research Initiative Grant (with Baris Kasikci, May 2018) 6.170 Letter of Commendation from Prof. Michael Ernst (2005) Peer Bonus at Google for enabling Gmail's CSS compiler for Android Peer Bonus at Google for benefiting numerous projects including Google Apps Nada Amin actively mentors students and collaborates widely in the programming languages community. She has served on numerous program committees (POPL, PLDI, ICFP, OOPSLA, etc.) and organized workshops. Her work is supported by academic and industrial collaborations, and she has contributed to open-source projects. She leads research involving interpreters, compilers, and program transformation systems, often developing tools and frameworks like LMS and Pink.

Tiago André Pratas Borgesمشاهده پروفایل

پژوهشگر

• Architectural Theory
• Typology
• Greenhouse Design
• +۳ مورد دیگر

Tiago André Pratas Borges is a researcher, educator, and independent architect at École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the EAST-CO laboratory under the School of Architecture, Civil and Environmental Engineering (ENAC). His work focuses on typological transfer and reuse in architecture, particularly examining the relationship between greenhouses and domestic spaces. Education : Pursuing doctoral research at EPFL, culminating in a 2025 thesis titled Neither House nor Garden. Greenhouses as Domestic Space and the Question of Climatic Typology . Collaborations : Co-edited books with EPFL Press and Park Books, curated exhibitions at Forum d'Architectures de Lausanne, and collaborated with Archizoom at EPFL. His research explores typological dynamics, climatic adaptation, and spatial narratives. Key themes include typological transfer, reuse strategies, and climatic affinities in architectural design. Recent publications and presentations analyze the work of Lacaton & Vassal, filling stations, and dormitories. Scientific awards include the Erstling - Critique d'Architecture Émergente distinction by Werk, Bauen und Wohnen (2016). He has also contributed to architectural discourse through editorial work and curation.

Viktor Kuncakمشاهده پروفایل

دانشیار

• Formal Verification
• Theorem Proving
• Program Synthesis
• +۶ مورد دیگر

Viktor Kuncak is an Associate Professor at the École polytechnique fédérale de Lausanne (EPFL) in the School of Computer and Communication Sciences (IC) , affiliated with the Laboratory for Automated Reasoning and Analysis (LARA) . His work bridges programming languages, formal verification, and automated reasoning. Email: viktor.kuncak@epfl.ch Office: INR 318, EPFL, Lausanne, Switzerland Research Interests: Viktor specializes in formal verification , theorem proving , and program synthesis , focusing on languages, algorithms, and systems for automated reasoning. His research addresses verification of functional programs, constraint solving, and symbolic computation. Recent Publications Trends: His work includes mechanized HOL reasoning, algebraic array theories, interpolation in ortholattices, and symbolic automata complexity. Keywords span automated reasoning, formal methods, and functional programming. Scientific Awards: 2012: 5-year ERC grant (1.5M EUR) ACM SIGSOFT Distinguished Paper Award Invited talks at Lambda Days, Scala Days, and CACM Research Highlights Advising & Grants: Viktor has supervised 15+ PhD students and led a European COST network in automated reasoning. He served as Associate Editor for TOPLAS and co-chaired CAV, FMCAD, and VMCAI conferences. Labs & Teams: He leads LARA , which develops tools like Leon and Stainless for program verification and synthesis. The group focuses on scalable formal methods for reliable software.

• Decentralized Systems
• Distributed Systems
• Privacy and Anonymous Communication
• +۷ مورد دیگر

Prof. Bryan Alexander Ford is an Associate Professor at École Polytechnique Fédérale de Lausanne (EPFL), where he leads the Decentralized and Distributed Systems (DEDIS) lab within the School of Computer and Communication Sciences, Department of Computer Science. He also holds teaching positions in SIN (Systems and Networking) and SSC (Security and Software Composition) at EPFL, and serves on the Open Science Strategic Committee. His academic journey includes faculty positions at Yale University following his Ph.D. at MIT. Dr. Ford's research spans multiple domains with a primary focus on building secure decentralized systems. His work encompasses privacy and anonymous communication systems like Dissent, systems security, blockchain technology, and novel approaches to operating systems for deterministic parallel computing such as Determinator. He has made seminal contributions to parsing theory through his development of Parsing Expression Grammars (PEGs) and packrat parsing algorithms, which provide linear-time parsing with backtracking capabilities. His research also extends to networking protocols including the Unmanaged Internet Architecture and Structured Stream Transport, as well as virtualization technologies like VX32. Ford's publication record demonstrates a remarkable evolution from foundational work in parsing and programming languages to cutting-edge research in decentralized systems and security. His early career focused on operating systems theory, parsing algorithms, and language design, culminating in influential papers on packrat parsing and PEGs. More recently, his work has shifted toward practical decentralized systems, blockchain technology, and security architectures, while maintaining connections to programming language theory through projects like Matchertext and MinML. This trajectory reflects both continuity in his interest in system architecture and a strategic pivot toward emerging challenges in decentralized computing. As an educator and mentor, Ford advises multiple PhD students at EPFL through the EDIC program and welcomes prospective students and researchers to join his lab. His teaching includes courses on decentralized systems engineering and technologies for democratic society, reflecting his commitment to both technical rigor and societal impact of computing technologies.

Jonathan Berantمشاهده پروفایل

دانشیار

• Natural Language Processing
• Semantic Parsing
• Question Answering
• +۶ مورد دیگر

Jonathan Berant is an Associate Professor at the Blavatnik School of Computer Science, Tel-Aviv University, and a Research Scientist at the Allen Institute for Artificial Intelligence. Currently on leave of absence at Google (based in Seattle) until summer 2026, he has established himself as a leading researcher in Natural Language Processing with significant contributions to semantic parsing, question answering, and weak supervision techniques. His research focuses on Natural Language Understanding problems including Semantic Parsing, Question Answering, Paraphrasing, Reading Comprehension, and Textual Entailment, with particular interest in learning from weak supervision that is easy to obtain and grounded in the world, as well as tasks requiring multi-step inference or handling of language compositionality. His work bridges theoretical foundations with practical applications in language understanding systems. Berant's recent publications demonstrate strong trends in language model alignment, robustness, and reasoning capabilities, with significant contributions to understanding how language models process information and how to make them more reliable. His work spans from fundamental NLP tasks to addressing critical challenges in modern large language models. Senior area chair outstanding paper award (NAACL 2025) Outstanding paper award (ICLR 2024) Spotlight talk (NeurIPS 2023) Spotlight talk (3% of submissions) (NeurIPS 2022) Oral presentation (NeurIPS 2021) Berant has advised numerous PhD and Master's students who have gone on to positions at leading AI companies and research institutions including Google, AI21, Allen Institute for AI, and academic programs. His teaching includes advanced NLP courses and research seminars at Tel-Aviv University. His educational background includes a Ph.D. from Tel-Aviv University (2006-12) with advisors Ido Dagan, Jacob Goldberger, and Eytan Ruppin, followed by postdoctoral work at Stanford University with Percy Liang and Chris Manning, and at Google Mountain View.

• Quantum Computing
• Logic Synthesis
• Quantum Compilation
• +۳ مورد دیگر

Mathias Soeken is a Lecturer at the École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the School of Computer and Communication Sciences and the Integrated Systems Laboratory (LSI1). He is actively involved in teaching and research related to quantum computing, logic synthesis, and compiler optimization. His research focuses on quantum circuit optimization resource estimation design automation for quantum technologies reversible logic synthesis compiler frameworks for quantum computing Key trends in his publications include: fault-tolerant quantum computing quantum compilation techniques logic network optimization symbolic resource estimation logic synthesis for emerging technologies XOR-Majority logic integration He has supervised multiple PhD students including Haaswijk Winston Jason, Meuli Giulia, Schmitt Antunes Bruno, and Testa Eleonora.

Olivier Labartheمشاهده پروفایل

پژوهشگر

• Theology
• Reformation Studies
• Religious History
• +۳ مورد دیگر

Olivier Labarthe is an Associate Researcher at the University of Geneva with a focus on Reformation-era theological texts. His career has been deeply intertwined with the National Protestant Church of Geneva, where he served as pastor, Consistory member, and moderator of the Compagnie des pasteurs. He held leadership roles in organizations like DM-Échange et Mission (1999-2004) and the Geneva Cooperation Federation (1995-2013). Specializes in editing and analyzing 16th-century Protestant writings Collaborated with the Institute of Reformation History (ISR) in Zurich Co-editor of Farel's printed works and Calvin's theological responses His editorial projects include the Traités messins (2009, 2018), a third volume containing Farel's Lettres naturelles (2023), and foundational liturgical texts like La manière et façon (1533). Recent work in 2024 involved reconstructing Bern's 1529 religious ordinances within Farel's printed works. His research spans theological polemics, liturgical development, and historical document analysis during the Protestant Reformation. As President of the MHR (Modern Humanities Research Association?) from 1988-2023, he advanced scholarly access to Reformation-era texts. His collaborations with Reinhard Bodenmann (ISR) and contributions to the Droz publishing house demonstrate sustained engagement with academic networks.

Matthias Grünertمشاهده پروفایل

استاد

• Linguistics
• Romansh Language
• Sociolinguistics
• +۵ مورد دیگر

Matthias Grünert serves as a Full Professor in the Department of Multilingualism and Foreign Language Teaching at the Faculty of Letters and Human Sciences, University of Fribourg. His scholarly work centers on the Romansh language, with particular emphasis on its linguistic structure, historical development, and sociolinguistic dynamics within Switzerland's trilingual canton of Graubünden. Professor Grünert's research encompasses multiple dimensions of Romansh linguistics: Diachronic and synchronic analysis of Romansh (lexicology, word formation, morphosyntax) Language contact phenomena between Romansh-Italian and Romansh-German Language debates in Graubünden (purism discussions, regional written norms, supra-regional standardization) Sociolinguistics of the trilingual canton of Graubünden Contemporary usage of Romansh in digital media environments His scholarly output reveals a sophisticated integration of theoretical linguistic analysis with practical sociolinguistic concerns. The publications demonstrate expertise in both structural linguistics (morphosyntax, word formation) and applied language policy issues affecting minority languages. A significant portion of his work engages with Romansh lexicography and dictionary compilation through contributions to the Dicziunari Rumantsch Grischun, reflecting his commitment to language documentation and preservation. Professor Grünert has established himself as a leading authority on language contact phenomena in the Graubünden region, examining how Romansh interacts with German and Italian across multiple domains. His work on Romansh in new media represents a forward-looking approach to understanding how minority languages adapt to contemporary communication environments while maintaining linguistic integrity. His extensive publication record includes numerous contributions to the Annals of the Retoromanische Society, articles in the Oxford Research Encyclopedia of Linguistics, and participation in major reference works on Romance linguistics. Professor Grünert has also collaborated on significant projects like 'Voices of Switzerland,' which made historical recordings from the 1939 National Exhibition available in digital form, providing phonetic transcriptions for Romansh idioms.

• Medieval German Literature
• Historical Semantics
• Comparative Literature
• +۵ مورد دیگر

Cornelia Herberichs is a Full Professor at the Department of German Studies within the Faculty of Letters and Human Sciences at the University of Fribourg. Her research focuses on medieval German literature, historical semantics, comparative literature, and manuscript studies, with particular emphasis on fragmentation, hagiography, and intertheatricality. Key Research Projects: Legendary Transformations (2025–2028): Ongoing SNSF-funded study of editorial and compilation strategies in the medieval Der Heiligen Leben legend collection. Fragmente und Fragmentierungen (2023): Completed SNSF project on fragmentary medieval texts and their critical interpretation. Her publications span book series editorship (e.g., Scrinium Friburgense ) and interdisciplinary analyses of medieval texts, blending literary theory, theology, and manuscript culture. Recent work explores textual variance, liturgical drama, and the cultural memory dynamics in late medieval plays. She collaborates internationally on comparative medieval literature and contributes to pedagogical frameworks, integrating medieval studies into modern teaching practices. Her editorial roles include co-editing the Philologische Studien und Quellen book series.