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

Miguel Arenas Busto is a Professor at the University of Vigo, Spain, affiliated with the Faculty of Biology and the Department of Biochemistry, Genetics and Immunology. He leads the Computational Molecular Evolution (CME) Team within the Biomedical Research Center at the Vigo campus. His career includes positions as Principal Investigator under the Ramón y Cajal program (2017-2022), postdoctoral research at prestigious institutions including the University of Bern and the Centre for Molecular Biology 'Severo Ochoa', and a PhD in Genetics from the University of Vigo completed cum laude in 2010. PhD in Genetics, University of Vigo (2010), Cum Laude PostDoc, University of Bern (2010-2012) PostDoc, Centre for Molecular Biology 'Severo Ochoa' CSIC (2012-2015) Principal Investigator, IPATIMUP/i3S, University of Porto (2015-2017) Principal Investigator (Ramón y Cajal), University of Vigo (2017-2022) Professor PCD, University of Vigo (2022-2023) Professor TU, University of Vigo (2023-Present) Arenas specializes in the evolutionary analysis of genetic data at molecular and population levels. His research encompasses Population Genetics, Molecular Evolution, Molecular Adaptation, Genetic Diversity, Phylogenetics, Phylogenomics, and the evolution of structure and function of biological macromolecules. He has developed computational methods and software tools for molecular evolution analysis, including Recodon, NetRecodon, ProteinEvolver, and ProtASR. His recent publications reveal a strong focus on protein evolution with structural constraints, substitution model development, ancestral sequence reconstruction, and viral evolution (particularly HIV-1 and SARS-CoV-2). A significant trend across his work is the integration of protein folding stability into evolutionary models, demonstrating how structural constraints shape molecular evolution. His research bridges computational biology with experimental validation, with applications spanning infectious disease dynamics, molecular adaptation, and phylogenetic inference. Thesis Award (best Thesis of University of Vigo, 2010) Group Leader Junior of Computational Molecular Evolution Group (CINBIO, 2021) Group Leader of Computational Genetics and Genomics Group (IPATIMUP/I3S) EMBO Fellowship (2014) Ramón y Cajal Grant from Spanish Government (2017-present) Arenas has supervised numerous undergraduate, graduate, and PhD students, with a focus on computational approaches to evolutionary questions. His research has been funded by multiple agencies including the Spanish Ministry of Economy and Competitiveness, Xunta de Galicia, Fundación BBVA, The Foundation for Science and Technology, European Molecular Biology Organization, and EU Framework Programs. He serves as Associate Editor for several journals including Genes and Frontiers in Ecology and Evolution, and as a reviewer for numerous high-impact journals and research agencies across Europe. He directs the Computational Molecular Evolution (CME) Team at the University of Vigo, which focuses on developing computational methods for evolutionary analysis, with particular emphasis on protein evolution constrained by structural stability. The lab maintains active collaborations with research groups across Europe and the United States, participating in international networks including the Society for Molecular Biology and Evolution and the Spanish Society of Bioinformatics and Computational Biology.

• Population Genetics
• Molecular Evolution
• Molecular Adaptation
• +۶ مورد دیگر

Yizhou Zhang is an Assistant Professor at the Cheriton School of Computer Science, University of Waterloo. He specializes in programming language design and implementation, focusing on balancing expressive power with strong guarantees through language abstractions and compiler verification. Designing modular, type-safe language systems Probabilistic programming and inference optimization Algebraic effects and control flow management His recent publications explore lexical effect handlers, certified compiler frameworks, and nested polymorphism models. Awards include the ACM SIGPLAN Distinguished Paper Award (2023) for his work on probabilistic program compilation. Current advisees include PhD candidates Cong Ma, Zhaoyi Ge, Jianlin Li, and Ende Jin. He has served on program committees for POPL, PLDI, and OOPSLA conferences.

• Programming Languages
• Probabilistic Programming
• Compiler Design
• +۴ مورد دیگر

Rafael Rumí Rodríguez is a Professor in the Mathematics Department at the University of Almería, Spain, with extensive experience in probabilistic modeling and data analysis. He leads the 'Análisis de datos' research group and serves as Principal Investigator for multiple research projects, including the current 'Hacia una Inteligencia Artificial Probabilística Confiable (TOPAI-UAL)' (2023-2026). Dr. Rumí Rodríguez's research focuses on Bayesian networks and probabilistic graphical models , with applications spanning environmental science, ecology, agriculture, and education. His work includes developing methods for continuous distributions in hybrid Bayesian networks, flood risk assessment in Mediterranean regions, climate change impact modeling for Andalusian agriculture, and educational assessment analytics. He has created practical tools like the 'hcrBN' R package for hybrid Bayesian network applications. His publication record includes 43 articles , 2 books or chapters , 3 theses , and 31 conference papers , with an h-index of 16 (Scopus) and 15 (Web of Science). Many publications appear in Q1 journals, reflecting significant research impact across computer science, environmental science, and statistics. Scopus h-index: 16 Web of Science h-index: 15 Scopus i10-index: 27 Web of Science i10-index: 23 Dr. Rumí Rodríguez has secured substantial research funding throughout his career, including as Principal Investigator for the current TOPAI-UAL project (€120,100) and previous projects like the European AMIDST initiative (€323,490). His research group provides opportunities for students to engage in both theoretical advances and practical applications of probabilistic modeling, with strong connections to environmental and agricultural domains in the Mediterranean region.

• Bayesian Networks
• Probabilistic Graphical Models
• Machine Learning
• +۵ مورد دیگر

Antonio Salmerón Cerdán is a Professor in the Mathematics Department at the University of Almería, where he has established himself as a leading researcher in probabilistic artificial intelligence and Bayesian networks. With over 25 years of academic experience, he leads the 'Análisis de datos' research group and serves as Principal Investigator for multiple nationally and internationally funded projects, including the current 'Hacia una Inteligencia Artificial Probabilística Confiable (TOPAI-UAL)' project (2023-2026). His research expertise spans theoretical and applied aspects of probabilistic graphical models, with particular focus on Bayesian networks, causal inference, and their applications across diverse domains. His work demonstrates a consistent trajectory from foundational theoretical contributions to practical implementations in software engineering, genomics, sports analytics, and trustworthy autonomous systems. Professor Salmerón's publication portfolio reveals a strong emphasis on methodological innovations in probabilistic reasoning, with recent work exploring divide-and-conquer approaches for causal computation, noise-robust classification methods, and the integration of observational and randomized data sources. His research shows increasing interdisciplinary reach, connecting computer science methodologies with applications in plant genomics, software maintenance, and healthcare. Journal Publications: 105 articles in high-impact venues including Ecological Informatics (Q1), International Journal of Approximate Reasoning (Q2), and ACM Transactions Research Funding: Principal Investigator for 9 major projects since 2001 totaling over €800,000 in funding Thesis Supervision: Director of 7 doctoral theses on probabilistic graphical models and their applications Metrics: h-index 22 (Web of Science), i10 index 59 His research program demonstrates a unique combination of theoretical rigor in probabilistic reasoning with practical applications across diverse scientific domains, positioning him at the forefront of reliable probabilistic AI development.

• Bayesian Networks
• Probabilistic Graphical Models
• Machine Learning
• +۵ مورد دیگر

Hiroshi Unno is a Professor at Tohoku University 's Research Institute of Electrical Communication and a Visiting Professor at the National Institute of Informatics. He has served on program committees for major conferences like POPL , PLDI , ICFP , and CAV . Dr. Unno's research focuses on Programming Languages Software Verification Artificial Intelligence Higher-Order Model Checking Refinement Type Systems Temporal Logic His recent work (2023-2025) includes advancements in algebraic effects , probabilistic program verification , and prophecy-based type systems . Key contributions appear in POPL , PLDI , and ICFP journals. Scientific awards include Distinguished Paper Award at POPL 2024 Distinguished Paper Award at POPL 2023 PPL 2014 Best Paper Award He leads development of tools like RCaml , Thrust , and EffCaml for refinement type checking. Current projects involve Kakenhi grants 20H04162 and 25H00446 . Dr. Unno actively contributes to academic communities through Program Committee roles at AAAI, CAV, and SAS Editorial work for IPSJ Transactions Organizing PPL Summer School (2022)

• Programming Languages
• Software Verification
• Artificial Intelligence
• +۳ مورد دیگر

Ohad Kammar is a researcher at the University of Edinburgh , actively contributing to programming language theory, denotational semantics, and algebraic effects. His work bridges theoretical foundations with practical implementations. Research Themes : Type-driven development, concurrency, probabilistic programming, normalization algorithms, and algebraic effects. Conference Involvement : Committee member in Diversity, Equity and Inclusion , Student Research Competition , and LAFI tracks at POPL; program committee roles in ICFP, APLAS, PEPM, and HOPE. Publications : Focus on denotational semantics, effect handlers, relaxed memory concurrency, and dependently-typed probabilistic models.

• Programming Languages
• Type Theory
• Concurrency
• +۳ مورد دیگر