Find Academic Supervisors

Sandeep KumarView profile

Associate Professor

• Computer Security
• Computer Networking
• Operating Systems
• +3 more

Sandeep Kumar is an Associate Professor in the Department of Computer Science and Engineering at Texas A&M University, College Station. He holds a PhD in Computer Science from Purdue University (1995) and a B.Tech in Electrical Engineering from the Indian Institute of Technology, New Delhi (1985). His research focuses on computer security, networking, and system-level programming. Prior to academia, he worked in industry roles including at VMware in Palo Alto, CA. He currently teaches courses such as CSCE 313 (Introduction to Computer Systems) and CSCE 222 (Discrete Mathematics), emphasizing system software, networking, and cybersecurity. His teaching philosophy incorporates modern tools like GCP and Docker for practical learning. He advises students on technical projects but notes his non-tenure track role limits formal research supervision. Professional interests include curriculum design, educational technology, and bridging industry-academia gaps in cybersecurity. Education: Ph.D., Computer Science, Purdue University, 1995 M.S., Computer Science, University of Tennessee, 1987 B.Tech, Electrical Engineering, IIT Delhi, 1985 Research Interests: Computer Security, Networking, Operating Systems Teaching: CSCE 313 (Computer Systems), CSCE 222 (Discrete Math), CSCE 111 (Java Programming) Industry Experience: VMware (Networking & Security), Former Googler Awards: Hagler Fellow (2023), Google GCP Educational Grants Dr. Kumar’s work emphasizes practical system-level programming and security, with contributions to intrusion detection systems and secure enterprise networks. His courses integrate modern tools like RustRover and Docker, reflecting industry standards. He actively engages with educational technology, including LaTeX-based lecture materials and Gradescope integration.

• Applied Conversational AI
• Human-Computer Interaction (HCI)
• Web Systems and Services
• +4 more

Dr. Jue (Grace) Xie is a Lecturer in the Department of Human Centred Computing at Monash University's Faculty of Information Technology. She is also a Senior Software Engineer and Research Fellow at Action Lab, with over 15 years of experience in applied research spanning software architectures, web systems, consumer health informatics, and conversational AI. Grace holds a PhD from Monash Faculty of Information Technology (2012) and has contributed to diverse interdisciplinary projects, including collaborations with Microsoft Research Asia and Monash research centers. Her teaching roles include Chief Examiner for units like FIT5183 Mobile and Distributed Computing Systems and Lecturer for Programming for Distributed Systems and Service-Oriented Computing . Research Interests Applied Conversational AI Human-Computer Interaction (HCI) Web Systems & Social Networks Knowledge Engineering Recent publications focus on AI-driven healthcare interventions, mental health support via chatbots, and stakeholder-inclusive design in aged care. Her work aligns with UN Sustainable Development Goals 3 (Good Health) and 9 (Innovation). Awards include the Future Women Leaders Conference 2019 . She is a Fellow of the Computer Society (IEEE) and the Association for Information Systems .

Parisa KordjamshidiView profile

Associate Professor

• Artificial Intelligence
• Machine Learning
• Natural Language Processing
• +7 more

Parisa Kordjamshidi is an Associate Professor of Computer Science and Engineering at Michigan State University (MSU), leading the Heterogeneous Learning and Reasoning (HLR) Lab. Her research focuses on Neuro-Symbolic AI, spatial language understanding, and structured learning, with notable contributions to frameworks like Saul for declarative programming. She joined MSU in 2019 after roles at Tulane University and the Florida Institute for Human and Machine Cognition. Education: Ph.D. in Computer Science from KU Leuven (2013), postdoctoral research at UIUC's Cognitive Computation Group, and work in the KnowEng project. Research Interests: Artificial Intelligence, Machine Learning, Natural Language Processing, Neuro-Symbolic systems, spatial semantics extraction, structured output learning, and multimodal reasoning. Key projects include NSF CAREER awards for spatial language understanding and ONR grants for integrating domain knowledge into AI. Awards: NSF CAREER (2019), Amazon Faculty Research Award (2022), Fulbright Scholar (2025), and Rising Stars at MIT EECS (2015). Grants: Active projects on Neuro-Symbolic compositional generalization (ONR), spatial language learning (NSF), and collaborations with the Department of Media and Information for health misinformation management. Professional Activities: Editorial roles at JAIR, TACL, and Frontiers journals; service on program committees for ACL, EMNLP, and AAAI; organization of workshops like Spatial Language Understanding (SpLU) and CLeaR. Lab and Software: HLR Lab develops Saul (declarative learning-based programming framework) and tools for spatial role labeling. Her team emphasizes mentoring, with structured weekly meetings, reading groups, and conference participation for students.

Gunel JahangirovaView profile

Lecturer

• Software Testing
• Software Engineering for AI
• Search-Based Software Engineering
• +6 more

Dr. Gunel Jahangirova is a Lecturer in Computer Science within the Department of Informatics, Faculty of Natural, Mathematical & Engineering Sciences at King's College London. Her research focuses on software testing, software engineering for AI, and search-based software engineering. She earned her PhD through a joint program at Fondazione Bruno Kessler (Italy) and University College London (UK), followed by postdoctoral work on the ERC-funded 'Precrime' project at Università della Svizzera italiana (Switzerland). Software Testing AI Engineering Search-Based Optimization Deep Learning Verification Her recent publications explore fault localization in neural networks, ethical testing of autonomous systems, and environmental impacts of AI code development. Current projects include ITEA GENIUS and ITEA GreenCode , focusing on AI testing and sustainable software practices.

Tak-Wah LamView profile

Professor

• Algorithms
• Bioinformatics
• Big Data Analytics
• +3 more

Professor Tak-Wah Lam is a leading academic at the University of Hong Kong (HKU), serving as Deputy Director of the School of Computing & Data Science and former Head of the Computer Science Department (2018–2023). He joined HKU in 1988 after earning his PhD in Computer Science from the University of Washington. His research spans algorithm design, bioinformatics, and big data analytics, with a focus on applications in health informatics and genomics. He has published over 200 articles, including influential work on bioinformatics software like MEGAHIT and Clair3. He is a Charivate Highly Cited Researcher (2017) and has received multiple grants, including ITF-funded projects totaling over HKD 33 million for research in genomic databases, AI-driven RegTech, and bioinformatics solutions for clinical genetics. Education: BSc from The Chinese University of Hong Kong (CUHK), MS and PhD from the University of Washington. Research interests include algorithms, bioinformatics, and big data analytics. His work bridges theoretical computer science with practical applications in healthcare, such as developing tools for variant calling, genome assembly, and disease risk prediction. He co-founded a startup in 2014 to advance bioinformatics software for clinical DNA sequencing. Key grants include: ITF Tier-2 Project (2021–2023): HKD 7 million for automated karyotype analysis ITF Tier-2 Project (2019–2021): HKD 5 million for AI-driven RegTech ITF Tier-2 Project (2015–2020): HKD 7.6 million for precision medicine genomic databases He is also recognized for teaching excellence, having received awards from HKU's Faculty of Engineering and the Department of Computer Science.

Zhu-Tian ChenView profile

Assistant Professor

• Data Visualization
• Human-Computer Interaction
• Augmented Reality
• +7 more

Zhu-Tian Chen is an Assistant Professor in the Department of Computer Science and Engineering at the University of Minnesota, Twin Cities, where he leads research in data visualization, human-computer interaction, and augmented reality. Prior to this, he held postdoctoral positions at Harvard University and UC San Diego, working with leading researchers in visual computing and interactive design. Ph.D. in Computer Science, Hong Kong University of Science and Technology B.Eng. in Software Engineering, South China University of Technology His research focuses on augmenting human intelligence through hybrid human-AI systems, particularly in everyday and outdoor environments. He specializes in designing intelligent AR interfaces, embedded visualizations, and language-oriented interactions for applications in sports analytics, education, and data analysis. His work integrates human-centered design with applied machine learning to create intuitive and effective visualization tools. The recent trend in his publications shows a strong emphasis on intelligent AR systems for dynamic scenes, LLM-based code generation interfaces, and real-time augmentation of sports videos using natural language and gaze-based interactions. His work frequently appears in top-tier venues such as IEEE VIS, ACM CHI, and UIST. Best Paper Award, ACM CHI'23 Best Short Paper Honorable Mention, EuroVis'23 Best Paper Honorable Mention, IEEE VIS'22 (twice) Certificate of Distinction and Excellence in Teaching, Harvard University Hong Kong Ph.D. Fellowship Dr. Chen actively mentors undergraduate, master’s, and PhD students, as well as visiting scholars and interns, and is building a new research lab focused on visualization for intelligent AR systems. He has served on program committees for major conferences including ACM CHI, IEEE VIS, and EuroVis, and has been invited to speak at institutions such as Apple, JP Morgan, and multiple universities worldwide. He also contributes to the academic community through grant reviewing for NSF and the Department of Energy. He leads research projects in intelligent AR systems for sports, language-oriented interactions with LLMs, and immersive data visualization, often in collaboration with institutions like Harvard, UC San Diego, and HKUST. His lab welcomes students and collaborators interested in visualization, HCI, and applied AI.

Hassan SajjadView profile

Associate Professor

• Natural Language Processing
• Deep Learning
• Safe and Trustworthy AI
• +7 more

Hassan Sajjad is an Associate Professor in the Faculty of Computer Science at Dalhousie University, Halifax, Canada. He is also the Director of HyperMatrix, a research group focused on AI and deep learning. His work centers on Natural Language Processing, Safe and Trustworthy AI, interpretability, and robustness of language models. PhD - University of Stuttgart, Germany (2012) Masters - National University of Computer and Emerging Sciences, Pakistan (2007) BSc - National University of Computer and Emerging Sciences, Pakistan (2005) Hassan Sajjad's research focuses on making AI systems more interpretable, robust, and safe. He investigates how deep learning models, particularly transformers, encode linguistic and conceptual knowledge. His work spans language generation , model editing , interpretability , and generalization . He develops tools like NeuroX and NxPlain to analyze neuron-level behavior in NLP models. His research also extends to crisis informatics and multilingual NLP, especially Arabic and Urdu. The recent publications show a strong trend in analyzing and interpreting deep NLP models, with a focus on neuron interpretation , latent concept discovery , and model robustness . His work appears in top-tier venues like NeurIPS, ICLR, ACL, and EMNLP, indicating high impact in the AI and NLP communities. There is a clear emphasis on developing practical tools and frameworks for model analysis. No formal scientific awards are mentioned in the provided text. Hassan Sajjad mentors students and has fellowship opportunities available. While specific grants are not listed, his extensive publication record and leadership roles suggest active research funding. He advises students in AI, NLP, and deep learning, and collaborates widely across institutions. He leads the HyperMatrix research group at Dalhousie University, which focuses on AI, deep learning, and NLP. The group develops tools for model interpretation and works on safe and trustworthy AI. Collaborations extend to institutions like MBZUAI, NYU Abu Dhabi, and various international research centers.

Yingfei XiongView profile

Associate Professor

• Software Engineering
• Programming Languages

Yingfei Xiong is an active Associate Professor at Peking University, China, specializing in software engineering and programming languages. With a consistent research trajectory from 2013 through 2026, Xiong has established themselves as a prominent figure in the software engineering research community, regularly contributing to top-tier conferences including SPLASH, ICSE, ASE, and PLDI. Dr. Xiong's research primarily focuses on program synthesis, automated program repair, and software analysis techniques. Their work bridges theoretical programming language concepts with practical software engineering applications, particularly in developing novel approaches for code generation, bug fixing, and program optimization. The research demonstrates strong interdisciplinary connections between traditional software engineering, programming languages theory, and emerging AI techniques. Analysis of Xiong's publication trends reveals a clear evolution in research focus, beginning with foundational work in API transformations and program adaptation around 2013-2016, shifting toward program repair techniques from 2017-2020, and most recently incorporating machine learning and neural approaches into program synthesis and repair (2021-2026). The work consistently addresses practical challenges in software development while maintaining theoretical rigor, with increasing integration of AI techniques in recent years. Dr. Xiong has served in various leadership roles across the software engineering conference ecosystem, including program committee membership and session chair positions at major conferences. Their extensive service demonstrates recognition by peers as a subject matter expert in software engineering and programming languages research. While specific grant information isn't detailed in the provided text, the sustained publication record suggests successful research funding.

Shuvendu K. LahiriView profile

Researcher

• Formal Verification
• Smart Contracts
• Program Synthesis
• +5 more

Shuvendu K. Lahiri is a researcher at Microsoft Research, focusing on formal verification, program synthesis, and software testing. His work bridges artificial intelligence with formal methods, particularly in blockchain security and automated code generation. 2025 : Published LLM-Vectorizer (verified loop vectorizer) and neural synthesis for SMT-assisted proof-oriented programming 2024 : Explored LLM-based test-driven code generation and natural precondition inference 2023 : Developed resource management specifications and contributed to test generation with pre-trained models 2022 : Advanced Solidity type systems and merge conflict resolution using language models His research combines large language models with formal verification tools to improve software correctness. He actively contributes to conferences like ICSE, PLDI, and ISSTA as author and committee member.

Benjamin RechtView profile

Professor

• Machine Learning
• Optimization
• Statistics
• +5 more

Benjamin Recht is a Professor in the Department of Electrical Engineering and Computer Sciences and Department of Statistics at the University of California, Berkeley. Previously, he was an Assistant Professor in the Department of Computer Sciences at the University of Wisconsin-Madison. Recht received his BS in mathematics from the University of Chicago and his MS and PhD from the MIT Media Laboratory, followed by a postdoctoral fellowship at Caltech's Center for the Mathematics of Information. His research interests span Machine Learning, Optimization, Control Theory, and Statistics , with a focus on both theoretical foundations and practical applications. Recht's work addresses fundamental questions in reproducibility, generalization, and robustness of machine learning systems, while also developing novel methods for control, computer vision, and data analysis. Recht's recent publications reveal a strong focus on reproducibility in machine learning , with papers like "The Mechanics of Frictionless Reproducibility" (2024), alongside continued contributions to statistical learning theory ("Interpolating Classifiers Make Few Mistakes", 2023) and computer vision ("Plenoxels", 2022; "K-planes", 2023). His work increasingly addresses societal implications of AI , including papers on systemic harm detection and post-deployment evaluation. NSF Career Award Alfred P. Sloan Research Fellowship 2012 SIAM/MOS Lagrange Prize in Continuous Optimization Presidential Early Career Award for Scientists and Engineers 2014 Jamon Prize 2015 William O. Baker Award for Initiatives in Research 2017 and 2020 NeurIPS Test of Time Awards Recht has advised numerous PhD students who have gone on to faculty positions at top universities and research roles at leading technology companies. His work on optimization algorithms has been widely influential, including the development of methods like HOGWILD! for parallel stochastic gradient descent. He co-founded the Conference on Learning for Decision and Control and has served on editorial boards for the Journal of Machine Learning Research and Mathematical Programming. His research group spans both theoretical and applied work, with connections to healthcare (adaptive medication tapering), computer vision (radiance fields), and social impact (systemic harm detection in deployed systems).

Niina ZuberView profile

Researcher

• Ethical Software Design
• Digital Ethics
• Agile Software Development
• +6 more

Niina Zuber is a Research Coordinator at the Bavarian Institute for Digital Transformation (bidt), focusing on ethical software design, agile development processes, and the intersection of digital technologies with democratic systems. Her work emphasizes integrating ethical principles into technical systems through frameworks like EDAP (Ethical Deliberation for Agile Processes). PhD in Ethics and Software Development (LMU Munich) Former roles: Research Consultant (Cognostics AG), LMU Munich, Center for Digitalization Bavaria (ZD.B) Key projects: EDAP, ReCREATIV, AI Gender Bias Dialogue Her research spans: ethical requirements management, value-sensitive design, AI's impact on creativity, facial recognition regulation, and digital responsibility frameworks. She regularly contributes to academic publications and public discourse on digital ethics. Scientific Contributions: Co-developed EDAP framework for ethical agile software processes Investigated ethical challenges in large language models (Vox ChatGPT) Explored gender bias in AI systems Studied generative AI's impact on creative industries Contributed to regulatory discussions on facial recognition Zuber collaborates across disciplines, connecting philosophy with technical implementation through projects like EDAP and publications in journals such as Philosophy & Technology and Informatics Spectrum.

• Financial Mathematics
• Actuarial Mathematics
• Stochastic Processes
• +7 more

Thorsten Schmidt is Professor of Mathematical Stochastics at the University of Freiburg, succeeding Prof. Ernst Eberlein in the summer semester of 2015. He also serves as Senior Financial Engineer at MathFinance. Previously, he held professorships at Chemnitz University of Technology (2008-2015), Technical University Munich (2008), and University of Leipzig (2004 onwards). From 2017-2019, he was a Research Fellow at the Freiburg Institute for Advanced Studies (FRIAS) in a joint research group with the University of Strasbourg and USIAS on the topic of Linking Finance and Insurance. His research focuses primarily on financial and actuarial mathematics, stochastic processes, and statistics, with recent work on machine learning methods and their applications in financial mathematics and AI regulation. In Freiburg, his goal with his young team is to tackle complex challenges with improved mathematical models and apply these methodologies to various fields. Key Research Areas: Financial mathematics and credit risks Pricing and hedging of derivative financial products Statistics of stochastic processes Energy markets and nonlinear filter theory Machine learning applications in finance and insurance His recent publications show a strong trend toward integrating machine learning with traditional mathematical finance, particularly in risk management, insurance-finance arbitrage, and robust financial modeling. His work increasingly addresses ethical considerations in AI applications within finance, reflecting his broader interest in responsible AI development. Notable Awards: IDA Award Finance (2015) FRIAS-USIAS Research Fellow (2017/2018) IDA Award Machine Learning and AI (2020) MAPFRE Research Grant (2020) Luis Bachelier Fellow (2021) As Editor-in-Chief of Statistics and Risk Modeling and Associate Editor for Mathematical Finance and International Journal of Theoretical and Applied Finance, Schmidt plays a significant role in academic publishing. He leads the CRC 'Small Data' research center with Harald Binder, focusing on medical problems where disease progression must be estimated with few data points per patient. His LeanAI project, funded by the Vector Foundation, explores the connection between machine learning and theorem-proving software LEAN, aiming to develop AI that can translate between mathematics and formal proof systems. His laboratory work centers around the application of stochastic methods combined with machine learning to solve problems in finance and insurance where data is limited ('Small Data' initiative), with significant funding from DFG (€12 million for CRC Small Data) and the Carl Zeiss Foundation.

Ting SunView profile

Associate Professor

• Urban climate modelling
• Climate change impacts and adaptation
• Extreme weather events in cities
• +5 more

Dr Ting Sun is an Associate Professor in Climate & Meteorological Hazard Risks at University College London , Department of Risk and Disaster Reduction. He earned his BEng (2009) and PhD in Hydrology (2013) from Tsinghua University , followed by a visiting period at Princeton University (2011–2012). After postdoctoral appointments at Tsinghua and the University of Reading , he held a NERC Independent Research Fellowship at Reading (2017–2022) before joining UCL in May 2022. Education PhD in Hydrology, Tsinghua University, 2013 BEng in Hydraulic Engineering, Tsinghua University, 2009 Visiting PhD Student, Princeton University, 2011–2012 Research Interests Dr Sun’s work converges on urban climate modelling across scales —from neighbourhood blocks to global grids—focusing on the impacts of weather and climate extremes such as heat waves and extreme rainfall in cities. He is the lead developer of the Surface Urban Energy and Water balance Scheme (SUEWS) and its Python wrapper SuPy , developed in collaboration with Prof Sue Grimmond’s micromet group. He also contributes as a core member of the Urban Multi-scale Environmental Predictor (UMEP) development team. His multidisciplinary expertise integrates hydro-climate dynamics, computational modelling, machine learning, built-environment processes, and public-health linkages . Research Trends from Recent Publications Across the 15 most recent articles, a clear trajectory emerges from high-resolution urban-process modelling toward integrated socio-environmental assessments . Studies published in 2024–2025 couple atmospheric models (WRF-SUEWS) with global building-morphology datasets (GLAMOUR) to quantify how cities alter rainfall patterns, temperature sensitivity, and heat-related mortality. Earlier works progressively refined SUEWS’s physical parameterisations and Python accessibility, while recent outputs leverage deep-learning remote-sensing tools (SHAFTS) and hybrid hydrological-neural architectures to deliver actionable insights for urban planning and climate adaptation. Scientific Awards & Fellowships NERC Independent Research Fellowship , University of Reading, 2017–2022 HEA Fellowship , University College London, 2023 Professional Service & Editorial Roles Topic Editor , Geoscientific Model Development (from 2025) Editorial Board Member , Scientific Data (from 2024) Peer review and consultancy for journals, conferences, and policy bodies Supervision of taught-course projects and research degrees External examining and mentoring Labs, Teams & Collaborations Dr Sun leads and collaborates within the UCL Department of Risk and Disaster Reduction , working closely with the micromet group at the University of Reading (Prof Sue Grimmond) on SUEWS/SuPy development. He is an active member of the UMEP consortium and maintains extensive international collaborations spanning Tsinghua University, Princeton, and numerous European research centres, underpinning a vibrant, interdisciplinary research network focused on urban climate resilience.

Daehyeok KimView profile

Assistant Professor

• Computer Networks
• Operating Systems
• Distributed Systems
• +6 more

Daehyeok Kim is an Assistant Professor in the Department of Computer Science at The University of Texas at Austin, where he co-leads the UT Networked Systems Research Group and participates in the Wireless Networking and Communications Group and 6G@UT. He serves as co-PI for the LDOS NSF Expeditions in Computing project, a major initiative rethinking operating systems through AI. His educational background includes a Ph.D. in Computer Science from Carnegie Mellon University under advisors Vyas Sekar and Srinivasan Seshan, where his dissertation introduced abstractions for elastic in-network computing. He also earned B.S. and M.S. degrees in Computer Science and Engineering from POSTECH, South Korea, followed by research scientist work at KAIST prior to his Ph.D. Kim's research centers on hardware-software co-design for cloud and edge data centers, targeting speed, efficiency, and resilience. Key projects include resource management for programmable infrastructure, robust cellular network design, end-to-end network transport frameworks, and learning-directed operating systems. His work bridges computer networks, operating systems, distributed systems, and 5G/6G technologies, with emphasis on virtualized radio access networks (vRAN) and edge computing challenges. Analysis of his recent publications reveals a dominant focus on enhancing 5G/6G infrastructure reliability—particularly in virtualized RANs—through innovations in failover mechanisms, integrity protection, and latency-sensitive resource allocation. His research consistently addresses critical industry pain points like sub-second availability requirements, fronthaul security vulnerabilities, and end-to-end service-level objective (SLO) guarantees for mobile-edge applications. Notable scientific awards include: NSF CAREER Award (2025) for advancing cloud hardware efficiency Microsoft Research PhD Fellowship (2019) Bronze Award at Samsung HumanTech Paper Awards (2018) Qualcomm Innovation Awards (2016) His grant portfolio features leadership in the $10M+ LDOS NSF Expeditions project and the NSF CAREER award, both driving transformative work in AI-integrated operating systems and resilient network infrastructure. These projects demonstrate strong industry-academia collaboration with Microsoft Research, wireless vendors, and cloud providers. Kim co-leads the UT Networked Systems Research Group, which operates within the Wireless Networking and Communications Group and 6G@UT consortium. These labs maintain a 5G/6G testbed for Open RAN validation and focus on solving real-world problems in cellular infrastructure, edge computing, and network security through close partnerships with industry leaders.

David A. PlaistedView profile

Research Professor

• Mechanical theorem proving
• Term rewriting systems
• Logic programming
• +3 more

David A. Plaisted is a Research Professor in the Department of Computer Science at the University of North Carolina at Chapel Hill. He joined UNC-Chapel Hill as a full professor after serving on the faculty of the Computer Science Department at the University of Illinois at Urbana-Champaign until 1984. His academic career spans several decades with significant contributions to automated reasoning and computational logic. Bachelor's degree in Mathematics from the University of Chicago (1970) Ph.D. in Computer Science from Stanford University (1976) Professor Plaisted's research focuses on mechanical theorem proving, term rewriting systems, logic programming, and algorithms. His work in term-rewriting systems investigates methods of combining them with first-order theorem provers, including techniques for applying efficient permutation group algorithms to equational theorem proving. In mechanical theorem proving, he has developed a sequence of methods including clause linking with semantics and ordered semantic hyper-linking. His research in logic programming includes developing tests to eliminate the occurrence check in Prolog while maintaining semantics. His work spans theoretical foundations to practical applications in program verification and generation. His recent publications demonstrate continued innovation in automated reasoning, particularly in semantic guidance for theorem proving. His work shows a consistent focus on improving the efficiency and effectiveness of automated deduction systems, with recent contributions to SGGS (Semantically-Guided Goal-Sensitive) theorem proving and analysis of the relationship between semantics and unification in proof systems. Professor Plaisted has served on numerous program committees and editorial boards including the Journal of Symbolic Computation, Information Processing Letters, Mathematical Systems Theory, and Fundamenta Informaticae. He is currently on the editorial board of ACM Transactions on Computational Logic and the electronic Journal of Functional and Logic Programming. He has organized significant conferences including serving as co-chair of the Second International Conference on Rewriting Techniques and Applications in 1987. He has spent several sabbaticals at prestigious institutions including SRI in Menlo Park (1982-1983), the Max-Planck Institute and University of Kaiserslautern in Germany (1993-1994), and research visits to groups in Grenoble and Nancy, France (1998).