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

Cao Jiannong is currently a Chair Professor and Director of the University Research Facility in Big Data Analytics at Hong Kong Polytechnic University . He has held academic roles including Assistant Professor at City University of Hong Kong and University Lecturer at the University of Adelaide and James Cook University. His research spans Cloud and Edge Computing , Parallel and Distributed Systems , Big Data Analytics , and Wireless Sensing . Ph.D. in Computer Science, Washington State University (1990) MSc in Computer Science, Washington State University (1986) BSc in Computer Science, Nanjing University, China (1982) His work focuses on solving theoretical and practical challenges in distributed computing , mobile cloud systems , and wireless sensor networks . Recent projects include coupled network embedding models for heterogeneous networks and SDN architectures for vehicular communication. His research also pioneers WiFi-based non-invasive health monitoring and fault-tolerant sensor deployment for structural health applications. Dr. Cao's publications highlight advancements in network embedding , edge computing , and WSN optimization . Key papers address multi-user computation partitioning , energy-efficient SHM systems , and consensus protocols for mobile networks. These works have been cited over 15,000 times, with an h-index of 60. Ministry of Education (China) Natural Science Award (2018) Distinguished Member, ACM (2017) Fellow, IEEE (2014) Best Paper Awards at IEEE DSAA, SMARTCOMP, and WCNC Dr. Cao has advised multiple PhD students, including Linchuan Xu and Weigang Wu , whose research on WSN-based SHM and coupled network embedding has practical impact. His leadership includes directing Hong Kong Polytechnic University's Big Data Research Facility and serving on technical committees for IEEE INFOCOM and ACM/IEEE conferences.

• Cloud and edge computing
• Parallel and distributed computing
• Big data analytics
• +۲ مورد دیگر

Lam James is a Chair Professor of Control Engineering at the University of Hong Kong (HKU), affiliated with the Faculty of Engineering. He holds a BSc (1st Hons.) in Mechanical Engineering from the University of Manchester, and MPhil/PhD degrees from the University of Cambridge. His academic journey includes roles as a Croucher Fellow, Lecturer at the University of Melbourne, and faculty member at City University of Hong Kong before joining HKU in 1993. Professor Lam serves as Editor-in-Chief for four international journals including IET Control Theory and Applications and Journal of The Franklin Institute . His research focuses on networked control systems, vibration control, control theory, and multi-agent systems. With 600+ peer-reviewed publications, he maintains an H-index of 102 (Web of Science) and 108 (Scopus), recognized as a Highly Cited Researcher in multiple fields. Education: BSc Manchester (Mechanical Engineering), MPhil/PhD Cambridge Editorial Roles: 20+ journals, including leadership roles since 2012 His awards include Foreign Membership of Academia Europaea (2024), National Academy of Artificial Intelligence membership (2025), and two State Natural Science Awards (2015, 2019). He is a Fellow of multiple institutions including IEEE, IMechE, and HKIE.

• Networked control systems
• Vibration control
• Control theory
• +۷ مورد دیگر

Professor Marta Zofia Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford, where she has held a faculty position since 2007. She previously served as Professor of Computer Science at the University of Birmingham (2001–2007), Reader and Lecturer at the University of Birmingham (1994–2001), and Lecturer at the University of Leicester (1986–1994). Her academic career began as Assistant Professor at the Jagiellonian University in Kraków, Poland (1980–1988). Education: BSc/MSc in Computer Science, Jagiellonian University, Kraków MA, University of Oxford PhD, University of Leicester Research Interests: Professor Kwiatkowska spearheaded the development of probabilistic and quantitative verification methods on the international stage. Her work bridges theory and practice through the PRISM model checker—the leading software tool in probabilistic model checking—used worldwide for research and teaching. Application domains include communication and security protocols , nanotechnology designs , power management , ubiquitous computing and systems biology . She investigates automated verification , temporal logics , semantic models for concurrency , real-time systems , and biological process modelling . Current grant funding exceeds £3.7 million from EPSRC, EU and ERC, including the prestigious ERC Advanced Grant VERIWARE. Scientific Awards & Honours: Fellow of the Royal Society Fellow of the ACM Fellow of the European Association for Theoretical Computer Science (EATCS) Fellow of the British Computer Society (BCS) Fellow of the Polish Society of Arts & Sciences Abroad ERC Advanced Grant VERIWARE (€2.046 M, 2010–2015) Top Cited Article Award, Theoretical Computer Science (2005–2010) Best Paper Award, QEST 2006 Doctoral Supervision & Grants: Professor Kwiatkowska actively supervises doctoral students (D.Phil. at Oxford) and post-doctoral researchers. She welcomes applications in areas aligned with her research interests, detailed here . Current students include Charlie Griffin, Daqian Shao, Matthew Yuan and Minghao Liu; past students and researchers number over twenty, many now in faculty or industry leadership roles. Laboratory & Teams: She leads the Oxford Quantitative Verification group within the Department of Computer Science. Ongoing projects include FUN2MODEL, ELSA, FAIR and the flagship PRISM probabilistic model checker. The group maintains strong collaborations with biological, robotics and engineering teams worldwide.

• Automated verification
• Probabilistic model checking
• Temporal logics
• +۳ مورد دیگر

Jiannong Cao is a Chair Professor and Director of the University Research Facility in Big Data Analytics at the Department of Computing, Hong Kong Polytechnic University. He has held various academic roles since 1990, including Assistant Professor at City University of Hong Kong and Lecturer at Australian universities. PhD in Computer Science, Washington State University (1990) MSc in Computer Science, Washington State University (1986) BSc in Computer Science, Nanjing University (1982) His research focuses on cloud and edge computing , parallel and distributed computing , and mobile computing , with significant contributions to wireless sensor networks (WSN) for structural health monitoring (SHM) and software-defined networking (SDN) for vehicular communications. Recent work includes WiFi-based non-invasive health monitoring systems and multi-user computation partitioning in mobile cloud environments. Dr. Cao’s publications demonstrate trends in WSN optimization , SDN architectures , and cognitive modeling for network embedding , with applications in smart healthcare , transportation systems , and industrial IoT . Ministry of Education Natural Science Award (2018) ACM Distinguished Member (2017) IEEE Fellow (2014) Best Paper Awards at IEEE DSAA, SMARTCOMP, WCNC He has mentored numerous researchers, including Linchuan Xu , Xuefeng Liu , and Weigang Wu , who have authored key publications in top venues like ACM WSDM and IEEE INFOCOM . His professional roles include chairing IEEE committees and serving on grant panels for the Hong Kong Research Grant Council.

• Cloud and edge computing
• Parallel and distributed computing
• Big data analytics
• +۲ مورد دیگر

Alessandro Astolfi is a Professor of Nonlinear Control Theory in the Department of Electrical and Electronic Engineering at Imperial College London, where he has been faculty since 1996. He also holds a professorship at the Department of Civil Engineering and Computer Science Engineering at the University of Rome Tor Vergata since 2005. From 2022 to 2025, he serves as College Consul for the Faculty of Engineering and Business School, and previously served as Head of the Control and Power Group from 2010 to 2022. His research expertise spans multiple areas of control theory: Nonlinear control theory Adaptive and robust control Discontinuous stabilization Model reduction Geometric control theory Observer design Astolfi's work has produced significant applications across diverse fields including aerospace systems (under-actuated satellites, autonomous aircraft), power systems (multi-machine systems), game theory (population dynamics, multi-agent systems), and industrial processes (model reduction applications). His research contributions have been recognized with numerous prestigious awards: 2003 Philip Leverhulme Prize for outstanding research achievements of young scholars 2007 IEEE Control Systems Society Antonio Ruberti Young Researcher Prize 2009 IEEE Fellow for contributions to nonlinear control theory 2009 Googol Best New Application Paper Award 2012 George S. Axelby Outstanding Paper Award 2012 IEEE CSS Distinguished Member Award 2015 Sir Harold Hartley Medal from the Institute of Measurement and Control (UK) Professor Astolfi has authored more than 120 journal papers, 30 book chapters, and over 240 conference papers. He co-authored the monograph 'Nonlinear and Adaptive Control with Applications' (Springer-Verlag). He currently serves as Chair of the IEEE CSS Conference Editorial Board and has participated in program committees of numerous international conferences. His research group at Imperial College London maintains strong connections with academic institutions worldwide including ETH Zurich, Rice University, and SUPELEC, with whom he has established visiting lecturer relationships spanning decades.

• Nonlinear control theory
• Adaptive control
• Robust control
• +۵ مورد دیگر

Stefan Woltran is a Full Professor in the Databases and Artificial Intelligence department at TU Wien. He serves as Vice Dean of Academic Affairs for the Informatics Master program and leads the Research Unit for Databases and Artificial Intelligence. His research focuses on logic-based AI, including Propositional Logic, Nonmonotonic Reasoning, Argumentation frameworks, Knowledge Representation, and Logic Programming. He coordinates the Double-Degree Program Logic and Computation. His research projects include analyzing formal properties of logic-based AI approaches, complexity analysis, and developing algorithms via logic and dynamic programming. Notable projects include the HYPAR and REVEAL-AI initiatives exploring abstract argumentation and AI problem-solving. He has contributed to over 150 publications since 2001, focusing on argumentation frameworks, computational complexity, and formal methods. Woltran teaches courses such as Abstract Argumentation, Formal Methods in Computer Science, and Theoretical Computer Science. His work integrates theoretical advancements with practical solver development, such as the ASPARTIX system for argumentation tasks. He actively participates in international conferences and competitions in computational argumentation, emphasizing the application of formal methods to real-world problems.

• Artificial Intelligence
• Nonmonotonic Reasoning
• Argumentation Frameworks
• +۴ مورد دیگر

Associate Professor at the University of Klagenfurt , affiliated with the Department of Management Control and Strategic Management under the Faculty of Economics and Law . Research focuses on agent-based modeling applied to organizational dynamics , complex systems , and managerial economics . Holds a doctoral degree in Social Sciences and Economics (2012) and venia docendi in Business Economics (2018) . Core faculty member in the Self-Organizing Systems research cluster Academic editor for PLoS ONE and editorial board member for multiple journals Recipient of the 2021 Advancement Award (Humanities/Social Sciences) from Carinthian government Research integrates computational simulation with organizational theory , examining phenomena like decentralized task allocation , incentive mechanisms , and reproducibility in social sciences . Teaching portfolio includes business analytics , management control , and scientific modeling at undergraduate and graduate levels. Recent publications explore organizational resilience , team coordination dynamics , and financial modeling using agent-based simulation techniques. Active participant in international conferences like Social Simulation Conference and European Conference on Operational Research .

• Agent-Based Modeling and Simulation
• Organizational Dynamics
• Complex Systems
• +۵ مورد دیگر

Bano Mehdi-Schulz is an Assistant Professor at the University of Natural Resources and Life Sciences, Vienna (BOKU), leading the 'Eco-hydrological and Land Use Modelling' group at the Institute of Hydrology and Water Management. She is a Substitute Member of the Ethics Committee. Her research focuses on ecohydrology, integrating hydrological and agricultural sciences to address water quality impacts from anthropogenic changes and future climate scenarios. Education: B.Sc. in Soil Science, M.Sc. in Agricultural Engineering, and Ph.D. from McGill University's Department of Geography. Awards include the Alexander Graham Bell Canada Graduate Scholarship (2009) and FWF Elise Richter Fellowship (2019). Her work bridges natural and social sciences, employing models to assess land use change and water resource management. Research Interests: Quantifying impacts of land use and climate change on water quality, ecohydrological modeling uncertainty, sustainable intensification strategies, and nitrate transport dynamics. Her team explores how farming practices and climate interact to influence water systems, with projects like ALUCSI (FWF-funded) and NitroClimAT (ACRP). Grants & Projects: Recent projects include ALUCSI (2019-2023), NitroClimAT (2018-2022), and UnLoadC3 (2014-2017). Current student advisees include researchers studying SWAT model uncertainty, sustainable intensification pathways, and water quality in East African basins. Labs/Teams: Leads the Eco-hydrological and Land Use Modelling group, collaborating with institutions like IIASA and SEC. Research emphasizes model coupling (e.g., SECLAND-SWAT) and satellite data integration for data-scarce regions.

• Ecohydrology
• Water Quality Management
• Climate Change Impacts
• +۴ مورد دیگر

Martin Bicher is a PostDoc Researcher at TU Wien, affiliated with the Department of Data Science under the Faculty of Informatics. He specializes in agent-based simulation, epidemiological modeling, and decision support systems for public health crises. His work focuses on optimizing resource allocation, vaccination strategies, and policy evaluation during pandemics. He teaches courses such as Modeling and Simulation (194.076), Modelling and Simulation in Health Technology Assessment (194.094), and Advanced Modeling and Simulation (194.056). His research is supported by projects like DynOptTestControl (2022–2026) and KLIPHA-COVID19 (2020–2021). Key research interests include agent-based modeling frameworks, integration of machine learning into simulation systems, and multi-criteria decision support for public health interventions. His publications analyze pandemic response strategies, vaccination prioritization, and the impact of environmental factors on disease spread. Recent work includes developing mathematical models for equitable disease testing, simulating vaccination strategies under supply uncertainties, and evaluating contact-tracing policies. He collaborates with interdisciplinary teams to address challenges in healthcare resource optimization and policy design. Advising two students, Bicher has mentored theses on railway simulation and delay modeling. His contributions to pandemic decision support have been featured in high-impact journals like Omega and PLoS ONE.

• Epidemiological Modeling
• Agent-Based Simulation
• Public Health Policy
• +۳ مورد دیگر

Prof. Sara Merino Aceituno is a Professor at the Faculty of Mathematics, University of Vienna, leading research in kinetic theory and its applications to biology, medicine, and social sciences. She holds roles as Vice-Dean of the Faculty and Head of the Institute of Mathematics. Her work bridges mathematical models with experimental data, focusing on emergent phenomena in collective dynamics, opinion formation, and cell behavior. She teaches advanced courses on kinetic theory, biomathematics, and mathematical strategies for learning. Her contributions include modeling cell delamination, nematic alignment, and swarm dynamics through PDEs and probabilistic methods. Collaborations with experimentalists drive her interdisciplinary research. She actively engages in education, advising, and public outreach, including a video series explaining mathematical patterns in nature. Her research emphasizes understanding macroscopic patterns arising from microscopic interactions in complex systems. Education: Holds a PhD in Mathematics, with expertise in kinetic theory and applied partial differential equations. Teaching and leadership roles reflect her commitment to academic excellence and student support. Her work integrates experimental and computational models to study clonal dynamics in tissues and mechanical constraints in epithelial layers. She has authored over 20 papers on topics ranging from active matter to opinion formation networks, contributing to both theoretical advancements and practical applications in biology and social sciences. Research focuses on deriving hydrodynamic and continuum models from particle systems, analyzing stability and bifurcations in collective behavior. Grants and collaborations include the Vienna Biocenter PhD Program and experimental groups in cell biology. Her lab explores how environmental factors influence particle swarms and how mechanical forces shape cell cycles in pseudostratified epithelia.

• Kinetic Theory
• Partial Differential Equations
• Mathematical Biology
• +۵ مورد دیگر

Dietmar Jannach is a Full Professor at the University of Klagenfurt, Austria, affiliated with the Institute for Artificial Intelligence and Cybersecurity where he leads the Research Group for Information Systems. His academic roles include membership in the university's Senate and Curricular Commissions for Liberal Arts and Information Management. His research spans: Core Areas : Artificial Intelligence, Recommender Systems, and Software Engineering. Methodological Focus : Algorithm reproducibility, fairness in AI, sequential recommendations, and hybrid learning models. Emerging Interests : Generative AI for group decision support, ethical recommender systems, and foundation model applications. Jannach's recent publications critically evaluate reproducibility challenges in AI research, advocate for calibrated recommendations to mitigate bias, and explore agentic paradigms in group recommender systems. He emphasizes real-world validation, with studies on deployment challenges and developer experiences in software processes. He actively contributes to academic governance and mentors through research groups, though specific student advisees are not listed. Contact via Dietmar.Jannach@aau.at .

• Artificial Intelligence
• Recommender Systems
• Information Systems
• +۲ مورد دیگر

Joost-Pieter Katoen is a full Professor at RWTH Aachen University and Head of its Computer Science Department since 2012. He also holds a part-time (20%) Professorship at the University of Twente . His research focuses on model checking , probabilistic verification , formal semantics , and software verification , with applications in aerospace systems. His work has led to significant tools like MRMC (probabilistic model checker), COMPASS (AADL analysis tool-set), and libalf (learning automata library). He has authored over 18 international projects (total €5.2 million) and graduated 12 PhD students. Scientific Awards : Member, German National Academy of Sciences (Leopoldina), 2024 ACM Fellow, 2020 ERC Advanced Grant, 2018 Honorary doctorate, Aalborg University, 2017 Teaching Award, RWTH Aachen, 2010 Philips Early Career Development Award, 1988 Research Trends (from articles): His recent work spans probabilistic program verification , quantitative game theory , Markov chain analysis , and parameter synthesis for stochastic systems, with applications in AI, quantum computing, and fault tree analysis. Leadership & Service : Katoen co-founded the QEST conference , chairs ETAPS steering committee, and has led numerous program committees (CONCUR, TACAS, QEST). He has served on editorial boards and organized conferences/seminars globally.

• Model Checking
• Formal Verification
• Probabilistic Models
• +۵ مورد دیگر

Zhang Yi-Cheng is a Full Professor of Theoretical Physics at the University of Fribourg, Switzerland, since 1992. His academic career includes visiting professorships at Nordita (Denmark) and INFN (Italy), and postdoctoral research at Brookhaven National Lab (USA). He specializes in interdisciplinary fields such as Econophysics , Statistical physics , and Complex network sciences , focusing on applications in financial markets, social systems, and global trade networks. His research explores topics like market dynamics, network structures, and algorithmic ranking systems. Notable awards include the 2011 Honorary Director of the Complexity Sciences Research Center and recognition as a 2011 Chinese '1000 Talents' awardee . His work bridges physics-based methodologies with socio-economic systems, addressing challenges in information-driven economies and networked societies. Zhang has contributed to influential studies on ranking algorithms, percolation theory in networks, and the interplay between economic complexity and trade. His interdisciplinary approach has led to advancements in understanding systemic risks, market inefficiencies, and the role of information in shaping global economic interactions.

• Econophysics
• Information economics
• Statistical physics
• +۲ مورد دیگر

Assoc. Prof. MMag. Dr. Alexandra Rausch is an Associate Professor at the Department of Controlling and Strategic Management , Institute of Management at Alpen-Adria-Universität Klagenfurt . Her research focuses on corporate decision-making, budgeting, controlling, and economics, with particular emphasis on agent-based modeling of organizational dynamics and team coordination. University: Alpen-Adria-Universität Klagenfurt Affiliation: Institute of Management Department: Department of Controlling and Strategic Management Rausch's research explores: Organizational behavior and individual-group interactions Coordination mechanisms in dynamic teams Strategic management and adaptive systems Controlling frameworks for corporate sustainability Agent-based modeling of distributed decision-making Recent publications demonstrate interdisciplinary work spanning both management science (team coordination, strategy-making) and pharmacological chemistry (indazole derivatives for autoimmune therapies). 2022-2025 work highlights coordination benefits in virtual teams, dynamic group adaptation, and pharmaceutical compound development. She teaches courses in controlling and strategic management, with consultation hours available by appointment via email at Alexandra.Rausch@aau.at . Contact details: Phone +43 463 2700 4032 | Office S.0.10 Main Building, South Wing West, Level 0.

• Corporate decision-making
• Behavior control
• Budgeting
• +۶ مورد دیگر

Yun Fu is a Distinguished Professor at Northeastern University, affiliated with the College of Engineering and Khoury College of Computer Science. He holds tenure in Electrical and Computer Engineering (ECE). His roles include Professor, Senior Vice President at Shiseido Americas, founder of Giaran (acquired by Shiseido), and co-founder of TVision Insights. He earned his Ph.D. from the University of Illinois at Urbana-Champaign. His research focuses on artificial intelligence, computer vision, machine learning, and data mining. Key achievements include over 500 publications, 50+ patents, and prestigious awards like IEEE Fellow, OSA Fellow, and AAIA Fellow. He leads the SMILE Lab, exploring AI applications in vision, robotics, and healthcare. Notable entrepreneurship includes AI-driven ventures in cosmetics and media analytics. Research interests emphasize AI-driven solutions for computer vision challenges, including anomaly detection, trajectory prediction, and multimodal learning. His work bridges academia and industry, with impactful contributions to both fields.

• Artificial Intelligence
• Computer Vision
• Machine Learning
• +۱ مورد دیگر