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

Prof. Dr. Thomas Hofmann is a Full Professor and Head of the Department of Computer Science at ETH Zurich since 2014. He also leads the Institute for Machine Learning. His research focuses on machine learning, deep learning, natural language understanding, and text understanding. Hofmann holds a Ph.D. from the University of Bonn (1997) and has held academic positions at Brown University (1999–2004) and TU Darmstadt. He transitioned to industry as Director of Engineering at Google (2006–2014), leading the Zurich R&D center, before returning to academia. He co-founded Recommind (2000) and 1plusX (Swiss marketing tech company), currently serving as Chief Scientist and board member at 1plusX. Education: Ph.D. in Computer Science, University of Bonn (1997) Postdoctoral Work: MIT (CBCL/AI Lab), UC Berkeley (EECS/ICSI) His research explores advanced machine learning techniques, including diffusion models, generative adversarial networks, and optimization dynamics. Hofmann’s entrepreneurial ventures reflect his focus on applying AI to real-world challenges, such as e-discovery and marketing technology. His work spans theoretical contributions (e.g., neural network training dynamics, continual learning) and applied innovations (e.g., image editing, portrait generation). Hofmann actively bridges academia and industry, influencing both research and commercial AI applications.

• Machine Learning
• Deep Learning
• Natural Language Understanding
• +۳ مورد دیگر

Giovanni De Micheli is a Full Professor at École Polytechnique Fédérale de Lausanne (EPFL), holding appointments in both the School of Computer and Communication Sciences (IC) and the School of Engineering (STI). He is affiliated with the Integrated Systems Laboratory (LSI) and serves as Scientific Director of EcoCloud. His primary office is located in INF 341 building at EPFL's Lausanne campus where he conducts research and teaching activities. Professor De Micheli's research spans multiple domains in electronic design automation and integrated circuit design. His primary interests include: Integrated Circuit Design and Hardware Synthesis Logic Optimization and Boolean Methods Nanoelectronics and 2D Electronics Quantum Computing and Emerging Technologies Low-Power Electronics and Energy-Efficient Systems Electronic Design Automation for Novel Computing Paradigms His recent publications demonstrate a strong focus on advancing logic synthesis techniques for both conventional and emerging technologies. Professor De Micheli's work bridges theoretical foundations with practical applications, particularly in adapting traditional EDA methods to novel computing paradigms like quantum computing and superconducting electronics. His research group has made significant contributions to the development of efficient algorithms for circuit optimization across multiple technology domains, with particular emphasis on area, power, and delay optimization while maintaining functional correctness. Professor De Micheli has supervised numerous doctoral students throughout his career at EPFL, mentoring over 40 PhD candidates whose research spans various aspects of electronic design automation, circuit design, and emerging technologies. His students have gone on to make significant contributions in both academia and industry. As Scientific Director of EcoCloud, Professor De Micheli leads research initiatives focused on energy-efficient computing systems and sustainable cloud infrastructure. His laboratory, the Integrated Systems Laboratory, serves as a hub for interdisciplinary research connecting computer science, electrical engineering, and materials science, with particular focus on next-generation computing technologies.

• Integrated Circuit Design
• Hardware Synthesis
• Logic Optimization
• +۵ مورد دیگر

Prof. Dr. Timothy Roscoe is a Full Professor in the Department of Computer Science at ETH Zurich. His research focuses on operating systems, networking, and distributed systems. He was inducted as an ACM Fellow in 2014 for contributions to these fields. Previously, he worked at Intel Research Berkeley, UC Berkeley (Adjunct Professor), and Sprint Labs. His work includes foundational contributions to systems like PlanetLab, P2 Declarative Networking, and the Nemesis OS. Roscoe holds a PhD from the University of Cambridge and has led projects in cloud computing, wide-area network measurement, and secure systems design. His current research emphasizes hardware-software co-design, formal verification of systems, and scalable memory architectures. Education: PhD in Computer Science, University of Cambridge (1995) Key Roles: Principal Researcher at Intel Berkeley Lab, Visiting Researcher at National ICT Australia Research Highlights: Contributions to distributed systems (PlanetLab), declarative networking (P2), and secure microkernels (seL4 integration). Current projects address challenges in disaggregated memory systems, coherent interconnects, and trustworthy embedded systems. Awards: ACM Fellow (2014), numerous grants and industry collaborations. Labs/Teams: Systems Group at ETH Zurich, focusing on OS design, hardware architectures, and formal methods.

• Operating Systems
• Networking
• Distributed Systems
• +۳ مورد دیگر

Kaveh Razavi is an Assistant Professor at ETH Zurich in the Department of Information Technology and Electrical Engineering, supervising the Computer Security Group. He is also affiliated with the Department of Computer Science. Research focuses on commodity hardware and operating systems security Teaching: Computer Engineering (BSc 2022–2025), Hardware Security (MSc 2016–2025), Advanced Operating Systems (MSc 2016–2019) Research Interests: Razavi's work bridges computer systems and security, emphasizing microarchitectural vulnerabilities, hardware exploitation, and security verification. His group develops tools for analyzing hardware-software interactions and mitigating memory attacks like Rowhammer. Scientific Awards: Distinguished/Best Paper Awards at IEEE S&P, USENIX Security, MICRO Five Pwnies Awards for innovative research Dutch Veni Grant, ERC Starting Grant Jochen Liedtke Young Researcher Award Golden Owl Teaching Award (2022) ETH Medal, Intel Bounty Reward, BlackHat USA Recognition

• Computer Systems
• Computer Security
• Hardware Security
• +۵ مورد دیگر

Armelle Choplin is an Associate Professor at the University of Geneva's Department of Geography and Environment within the Geneva School of Social Sciences, and affiliated with the Global Studies Institute since 2019. She serves as Director of the Institute of Environmental Governance and Territorial Development (IGEDT), leading research on urban transformations in the Global South. Research Focus Her research examines urban policies, social transformations, and development challenges in African cities and the Global South. Core interests include: urban planning dynamics, governance frameworks, construction industry impacts, poverty alleviation, sustainable development pathways, globalization effects, digital innovation in urban contexts, and postcolonial urban studies. Her geographical specialization focuses on West Africa and MENA regions. Publication Analysis Recent publications (2017-2024) demonstrate consistent focus on material urbanism, governance innovations, and spatial justice in African cities. Key thematic clusters include: urban material flows (concrete, energy), participatory planning methods, transnational urban corridors, and postcolonial urban theory. Methodologically, her work combines spatial analysis with political economy and ethnographic approaches. Research Leadership She directs multiple international projects including: Global Urb: Global Urbanism from the South MatéRhône: Construction materials in Rhone Valley West African Coastal Corridor study (Accra-Lagos axis) URBACOT: West African Coastal Urban Dynamics Observatory Map&Jerry: Participatory mapping in Cotonou Student Advising Currently supervising eight doctoral candidates researching urban development topics across Africa. Her teaching portfolio includes courses on urban globalization, metropolitan governance, spatial justice, and regional project development at both bachelor's and master's levels.

• Urban Planning
• Governance
• Construction Sector
• +۷ مورد دیگر

Paolo Ienne is a Professor at the Swiss Federal Institute of Technology in Lausanne (EPFL), where he leads the Processor Architecture Laboratory (LAP) within the School of Computer and Communication Sciences. His research focuses on advancing reconfigurable computing systems through innovative FPGA architectures and high-level synthesis methodologies. His primary research domains include reconfigurable computing, FPGA architecture design, dynamically scheduled dataflow circuits, and hardware acceleration techniques. Recent work emphasizes memory system optimization for FPGAs, formal verification of circuit transformations, and rapid C-to-hardware compilation flows. He has pioneered approaches for handling thousands of outstanding memory misses in FPGA accelerators and developed novel techniques for switch-block exploration without explicit pattern enumeration. Analysis of his 2023-2025 publications reveals a strong trend toward practical FPGA deployment challenges, with increasing focus on HBM integration, virtual memory systems for PCIe-attached devices, and formally verified circuit transformations. His work consistently targets real-world bottlenecks in high-level synthesis toolchains while maintaining theoretical rigor in dataflow architecture design. Professor Ienne's laboratory receives support from the Swiss National Science Foundation and industry partners including Huawei, enabling cutting-edge research in FPGA-based acceleration. His collaborative network spans major semiconductor companies and academic institutions worldwide, with frequent co-authorship on conference proceedings and journal publications in IEEE and ACM venues.

• Reconfigurable Computing
• Field-Programmable Gate Arrays (FPGA)
• High-Level Synthesis
• +۳ مورد دیگر

Mennatallah El-Assady serves as Assistant Professor at ETH Zurich's Department of Computer Science, where she leads the Interactive Visualization and Intelligence Augmentation Lab (IVIA). Her academic trajectory includes research fellowships at ETH's AI Center and doctoral work at University of Konstanz and OntarioTech University, establishing her expertise at the intersection of visualization and artificial intelligence. Her research focuses on advancing responsible data-driven decision-making through human-centered analytics, with particular emphasis on explainable machine learning systems. Dr. El-Assady combines data mining techniques with visual interfaces to create transparent AI workflows, specializing in text data analysis. Her work bridges computational linguistics, digital humanities, and information visualization to develop tools that make complex AI processes interpretable for end users. Recent publications demonstrate growing focus on generative AI's impact on visualization practices and sophisticated frameworks for interactive machine learning. Her research consistently addresses the challenge of maintaining human agency in increasingly automated systems, with applications spanning political debate analysis, musicology, and healthcare data interpretation. The trend shows increasing sophistication in evaluation methodologies for visual analytics systems. Best Paper Award: Honorable Mention for 'Progressive Learning of Topic Modeling Parameters: A Visual Analytics Framework' Dr. El-Assady actively shapes her field through workshop leadership including ArgVis (Argument Visualization), Vis4DH (Visualization for Digital Humanities), and VISxAI (Visualization for AI Explainability). Her teaching includes 'Interactive Machine Learning- Visualization and Explainability' at ETH Zurich, training next-generation researchers in human-centered AI development. She maintains strong industry connections with coverage in Forbes and ETH News regarding human-AI collaboration frameworks. The Interactive Visualization and Intelligence Augmentation Lab (IVIA) develops cutting-edge tools including explAIner for transparent machine learning, LingVis for linguistic analysis, VisArgue for debate structure visualization, and VALIDA for political deliberation analysis. These projects share a common thread of enhancing human understanding through carefully designed visual interfaces that expose AI decision processes.

• Visual Analytics
• Information Visualization
• Computational Linguistics
• +۳ مورد دیگر

Prof. Patrick Haack is a Professor in the Department of Strategy, Globalization and Society at HEC Lausanne, University of Lausanne. He holds a PhD in Organization Theory from the University of Zurich (2008-2012) and has held academic positions including Assistant Professor of Business Ethics (tenure track) at HEC Lausanne (2015-2019) and Senior Lecturer/Researcher at the University of Zurich (2011). His research focuses on organizational legitimacy, social judgment, and transnational governance, with a methodological emphasis on integrating micro and macro perspectives. Education history includes a Master of Arts in Public Administration from University of Konstanz (2001-2007), graduate studies at Schulich School of Business (Toronto), and undergraduate studies at University of Granada. He has held visiting scholar positions at Copenhagen Business School, Stanford University, and the UN Global Compact Office. Recent research explores institutionalization of corporate responsibility, legitimacy dynamics in transnational governance, and affect-driven legitimacy spillovers. Publications appear in top journals like Academy of Management Proceedings and Journal of Management Studies . His 2008 book Talking Intervention: Foreign Policy Frames and their Conditional Impact on Individual Attitudes examines international policy framing effects. No scientific awards explicitly listed, but his extensive peer-reviewed publications indicate impactful scholarship. Advising and grants sections remain unspecified in available data. Active in international academic networks through fellowships and visiting roles.

• Organizational Legitimacy
• Corporate Social Responsibility
• Transnational Governance
• +۳ مورد دیگر

David Basin is a Full Professor at the Department of Computer Science, ETH Zurich, and heads the Information Security Group. He has held academic positions since 2003, including roles at the University of Freiburg (1997–2002) and the Max-Planck-Institut für Informatik (1992–1997). His research focuses on Information Security, including methods and tools for secure systems, formal verification, and cryptographic protocols. He is Editor-in-Chief of the ACM Transactions on Privacy and Security and Springer's Information Security and Cryptography book series. Basin founded the Zurich Information Security Center (ZISC) in 2003 and led it until 2011. Education: B.Sc. in Mathematics (Reed College, 1984), Ph.D. (Cornell University, 1989), and Habilitation (University of Saarbrücken, 1996). Research interests span formal methods for security protocol verification, privacy-preserving systems, and cryptographic implementations. He has contributed to foundational work on security protocols, including the Tamarin verification framework. His work addresses real-world systems like payment protocols (EMV), DNS security, and database isolation guarantees. Awards: ACM Fellow (2018) for contributions to Information Security and Formal Methods, IEEE Fellow. He has organized numerous conferences, including IEEE S&P, Euro S&P, and ACM CCS. Labs/Teams: Leads the Information Security Group at ETH Zurich and co-founded Anapaya Systems, a startup focused on network security solutions. His team develops tools like VeriMon (formally verified monitoring) and Tamarin for protocol analysis.

• Information Security
• Formal Methods
• Cryptography
• +۳ مورد دیگر

Martin Volk is a Full Professor of Computational Linguistics at the University of Zurich, with a dual affiliation to the Department of Informatics since 2019. He holds a PhD from the University of Koblenz and has held academic positions at institutions including Stockholm University (part-time from 2008-2011), Zurich University of Applied Sciences, and the University of Georgia. His research focuses on grammar engineering, machine translation evaluation, multilingual text analysis, and cross-language information retrieval. Education : Born in Cochem, Germany Studied Computer Science and Computational Linguistics at EWH University, Koblenz Master's in Artificial Intelligence at the University of Georgia (Fulbright Scholar) PhD in Computational Linguistics from the University of Koblenz Research Interests : His work emphasizes data-driven NLP methods, including corpus-based approaches, parsing technologies, and the application of machine learning to historical and multilingual texts. Key focuses include: Machine translation systems and evaluation frameworks Grammar testing environments (e.g., GTU) OCR and digitization of historical documents (e.g., Gothic script) Development of parallel corpora for linguistic research Projects : SMULTRON: Multilingual parallel treebank project Bullinger Digital: Historical document digitization initiative Text+Berg: Digital Humanities project for alpine textual heritage EU-funded MuchMore (cross-language medical IR) Grants & Collaborations : Recipient of grants from the Swiss National Science Foundation, EU projects, and industry partnerships (e.g., Siemens, Xerox). His work integrates academic and industrial perspectives in NLP tool development. Labs & Teams : Leads research teams in the Institute of Computational Linguistics at UZH, focusing on projects like the Zurich Parallel Corpus Collection and MODERN (modeling discourse for MT).

• Computational Linguistics
• Machine Translation
• Natural Language Processing
• +۵ مورد دیگر

Jonas Anderegg is a Lecturer at the Department of Environmental Systems Science, ETH Zurich. He holds a PhD and MSc from ETH Zurich in Agricultural Sciences. His research focuses on crop disease phenotyping, precision agriculture, and host-pathogen interactions. Current projects include automated image analysis for disease detection and quantification of Zymoseptoria tritici under field conditions. He has held postdoc positions in Plant Pathology (Institute of Integrative Biology) and Crop Science (Institute of Agricultural Sciences) at ETH Zurich. His work involves developing scalable imaging and deep learning methods for field phenotyping, with applications in quantitative resistance assessment and crop disease management. Education: PhD, Group of Crop Science, ETH Zurich (2016-2020) MSc in Agricultural Sciences, ETH Zurich (2015) Research interests emphasize high-throughput phenotyping, automated disease detection, and integrating imaging technologies into agricultural practices. Key contributions include datasets like SYMPATHIQUE and FIP 1.0, which provide foundational resources for crop disease research. Grants and advising: While no formal student advisees are listed, his postdoc roles and collaborative projects likely involve mentoring junior researchers. His work aligns with ETH Zurich's focus on sustainable agriculture and technological innovation in plant sciences. Labs and teams: Active member of the Crop Disease Phenotyping group, leveraging UAVs, thermal imaging, and deep learning for field-scale monitoring of crop health and senescence dynamics.

• Plant Pathology
• Precision Agriculture
• High Throughput Phenotyping
• +۳ مورد دیگر

Carlo Alberto Furia is an Associate Professor and Vice Dean at the Faculty of Informatics, Università della Svizzera italiana (USI). He is affiliated with the Software Institute, where he leads the ATOM research group. His academic journey includes prior roles as an Associate Professor at Chalmers University of Technology and a Senior Researcher at ETH Zurich’s Chair of Software Engineering. 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 centers on formal methods for software engineering, aiming to enhance software correctness, reliability, and quality through rigorous techniques. Key areas include automated program verification, contract-based development, loop invariant inference, and empirical evaluation using Bayesian data analysis. He emphasizes practical applicability and automation in formal methods. His recent publications reflect a strong focus on program analysis at the bytecode level, multilingual software analysis, automated repair of Android security issues, and empirical methodologies. These works span topics such as JVM substitutability, exception behavior in Java bytecode, and information flow security, demonstrating a consistent thread in improving software robustness through formal and automated techniques. He is actively involved in the software engineering research community as an Associate Editor of the Empirical Software Engineering (EMSE) journal and as a Program Committee member for major conferences including FASE, FM, ASE, ICSE, and CauSE. Carlo Furia has advised multiple research projects and supervised student theses. He has led and contributed to funded research initiatives, particularly in program analysis and verification. His group has developed tools such as AutoProof and other software artifacts available through the ATOM software page. He regularly teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. He leads the ATOM research group, which focuses on advancing automated techniques for software testing, analysis, and verification. The group develops practical tools and conducts empirical studies to validate research outcomes.

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

Zhendong Su is a full professor in the Department of Computer Science at ETH Zurich since August 2018. Previously, he held a full professorship at UC Davis from 2003 until June 2019. He earned his Ph.D. in Computer Science from UC Berkeley and dual Bachelor’s degrees in Computer Science and Mathematics from UT Austin in 1995. Affiliations: ETH Zurich: Full Professor (since 2018) UC Davis: Full Professor and Chancellor’s Fellow (2003–2019) IEEE Fellow, ACM Fellow, and Member of Academia Europaea His research focuses on programming languages, compilers, software engineering, computer security, and education technologies . Key contributions include compiler validation (e.g., Project Yin-Yang for SMT solvers and DBMS testing), testing tools like SQLancer, and educational innovations such as the Algot visual programming language. Recent work emphasizes secure AI (e.g., CipherSteal for TEE-shielded models) and compiler reliability (e.g., Artemis/Apollo for JIT validation). He has pioneered techniques like metamorphic testing and equivalence modulo inputs (EMI) for compiler validation, uncovering thousands of bugs in GCC/LLVM and SMT solvers. Awards: ICSE MIP Award (2022), ACM SIGSOFT Impact Paper (2018), NSF CAREER Award, and multiple industrial awards. His students have won IEEE TCSE Rising Star and SIGSOFT Impact Paper awards, securing roles at top universities and companies like Google and NVIDIA. Service: Steering committee member of ISSTA and ESEC/FSE, ACM Distinguished Speaker, and Associate Editor for ACM TOSEM. Program chaired ISSTA 2012 and co-chaired FSE 2016. Labs/Teams: Leads research groups on compiler validation, secure AI, and education technologies. Projects include Yin-Yang (SMT testing), SQLancer (DBMS fuzzing), and Algot (visual programming for education).

• Programming Languages
• Compilers
• Software Engineering
• +۳ مورد دیگر

Prof. Peter Müller is a Full Professor at the Department of Computer Science at ETH Zurich since 2008. Previously, he held positions as Assistant Professor at ETH Zurich (2003-2008), Researcher at Microsoft Research Redmond (2007-2008), and IT project manager at Deutsche Bank. He earned his Diploma in Computer Science from Technical University of Munich (1996) and his Dr. rer. nat. from University of Hagen (2001) with a dissertation on modular verification of object-oriented programs. His research focuses on enabling correct software development through programming languages, verification methods, and tools. Key areas include formal verification for Rust and Go programs (Prusti and Gobra projects), separation logic, security protocols, and distributed systems verification. Müller's work emphasizes practical verification techniques for real-world systems, including secure router implementations and smart contract verification. Recent research trends highlight advancements in hyperproperties, modular reasoning for iterators and closures in Rust, and formal validation of verification tools. His methodologies bridge theoretical foundations with industrial applications, addressing challenges in concurrency, memory safety, and security assurance. Notable contributions include the SCION internet architecture, the Prusti verifier for Rust, and formal verification frameworks for distributed systems. His work often integrates rigorous mathematical foundations with scalable software engineering practices.

• Formal Methods
• Program Verification
• Programming Languages
• +۴ مورد دیگر

Sebastijan Dumancic is an Assistant Professor at Delft University of Technology, focusing on neuro-symbolic AI through program synthesis and probabilistic programming. He leads the RAIL lab and collaborates with institutions like Harvard, MIT, and CNRS. His research bridges symbolic AI and machine learning, applying program synthesis to scientific discovery, transportation, and robotics. He holds an FWO-funded PhD from KU Leuven and has participated in initiatives like ELLIS and the Symbolic Computation and Machine Learning Initiative. Program synthesis Probabilistic programming Neuro-symbolic AI Constraint-based learning His recent articles highlight advancements in program synthesis, neuro-symbolic integration, and constraint satisfaction. Projects like Find2Fix and Intelligent Greenhouse Horticulture (funded by NWO) demonstrate practical applications. ELLIS Membership University Teaching Qualification He supervises numerous MSc and PhD students in projects involving logic programming, program synthesis, and probabilistic modeling. Active in workshops and symposia, he contributes to neuro-symbolic AI and scientific discovery.

• Program Synthesis
• Probabilistic Programming
• Neuro-Symbolic AI
• +۲ مورد دیگر