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

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
• +۲ مورد دیگر

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
• +۳ مورد دیگر

Dr. Rajkumar Buyya is a Redmond Barry Distinguished Professor at the University of Melbourne and Founder & CEO of Manjrasoft , a spin-off commercializing cloud innovations. He has held visiting roles at Imperial College London , University of Birmingham , and Tsinghua University . Research Interests : His work spans Cloud Computing , Edge Computing , Grid Systems , and Energy-Efficient Computing , focusing on utility-driven resource allocation, simulation tools, and scalable IoT application frameworks. He pioneered the CloudSim toolkit and Aneka Cloud technologies. Scientific Awards : IEEE Fellow (2015), Web of Science Highly Cited Researcher (2016-2021) Khwarizmi International Award (2020), Scopus Researcher of the Year (2017) Frost & Sullivan New Product Innovation Award (2010), IEEE TCSC Medal (2009) Impact : Authored over 850 publications, including the widely adopted textbook Mastering Cloud Computing . Graduated 54 PhD students now in leadership roles at institutions like Newcastle University and companies such as IBM , Google , and Amazon . His research has driven global adoption of cloud/edge technologies in 50+ countries.

• Cluster computing
• Grid computing
• Software systems
• +۷ مورد دیگر

Joseph Sifakis is a CNRS Research Director and founder of Verimag Laboratory in Grenoble, France. He holds the INRIA-Schneider endowed industrial chair since 2008 and has been instrumental in advancing concurrent systems specification and verification. Education: Electrical Engineering (Technical University of Athens), Computer Science (University of Grenoble) Research interests focus on component-based design , real-time systems , and correct-by-construction techniques . He pioneered the development of the BIP framework and contributed to model checking, a cornerstone of industrial system verification. Recent publications emphasize component-based modeling, formal verification, and distributed system design, reflecting his work's impact on embedded systems and critical applications like aerospace and telecommunications. Scientific awards include: Turing Award (2007) CNRS Silver Medal (2001) Test-of-Time Award (2012) Multiple honorary doctorates (2008-2011) Member of prestigious academies Industry collaborations span Airbus, ST Microelectronics, and the European Space Agency, with applications in aeronautics, telecommunications, and industrial software standards. He leads the ARTIST2 Network of Excellence and directs the CARNOT Institute 'Intelligent Software and Systems'.

• Model Checking
• Concurrent Systems Specification and Verification
• Component-Based Design
• +۳ مورد دیگر

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
• +۲ مورد دیگر

Atakan Aral serves as an Associate Professor at the Faculty of Computer Science, University of Vienna, where he leads research in edge computing, distributed systems, and environmental monitoring applications. His work focuses on developing efficient and resilient computing systems for environmental applications, with particular emphasis on neuromorphic edge AI and the cloud-edge continuum. He maintains an active teaching schedule offering courses in Distributed Systems Engineering, Cloud Computing, and Practical Software Courses with Bachelor's Thesis work across multiple semesters through 2025. Dr. Aral's research interests span several critical areas in modern computing including edge computing architectures, federated learning approaches, neuromorphic computing for environmental monitoring, and resilient systems design. His work addresses fundamental challenges in resource-constrained environments, particularly focusing on latency-sensitive applications and energy-efficient computation. The interdisciplinary nature of his research bridges theoretical computer science with practical environmental applications, developing systems that can operate effectively in remote or resource-limited settings. Analysis of his recent publication trajectory reveals a clear evolution from foundational cloud computing research toward increasingly specialized edge intelligence systems. Early work focused on resource allocation and scheduling in cloud environments, while his current research emphasizes neuromorphic approaches for sustainable environmental monitoring. His publications demonstrate growing interdisciplinary collaboration, particularly with environmental scientists, and increasing focus on practical implementations of theoretical concepts in real-world monitoring systems. Dr. Aral leads significant research projects including TROCI (Towards Resilient Operation of Critical Infrastructure), an ongoing initiative, and SWAIN (Sustainable Watershed Management Through IoT-Driven AI), which ran from February 2021 to February 2024. His work spans multiple dimensions of computing systems, from hardware-aware algorithms to application-level implementations, with consistent contributions to major conferences and journals in distributed systems and edge computing. He is an active member of the Scientific Computing research group at the University of Vienna, working from Room 6.49 at Währinger Straße 29. His research environment includes collaboration with the Environment and Climate Research Hub, reflecting the interdisciplinary nature of his work that bridges computer science with environmental applications. His publications indicate strong international collaboration across European institutions and research groups.

• Edge Computing
• Distributed Systems
• Cloud Computing
• +۶ مورد دیگر

Roman Obermaisser is a Professor at the Vienna University of Technology (TU Wien), affiliated with the Cyber-Physical Systems department. His research focuses on real-time systems, system architectures, communication protocols, safety-critical systems, distributed algorithms, and fault-tolerance. He holds a PhD in Computer Science from TU Wien, awarded in 2003 for his work on integrated architectures for control paradigms. His academic contributions span over two decades, with publications in top-tier conferences and journals. Key research themes include time-triggered architectures (TTA), fault containment in embedded systems, and integration of heterogeneous communication protocols like CAN and Ethernet. He has supervised numerous graduate students, contributing to advancements in system-on-chip (SoC) design, transient-resilient architectures, and diagnostic frameworks for real-time systems. Obermaisser’s work emphasizes practical applications in automotive and industrial systems, addressing challenges such as scalability, reliability, and composability. His involvement in projects like GENESYS and DECOS highlights his role in developing cross-domain reference architectures for embedded systems. Recent efforts include evaluating ontology-based reconfiguration and COTS-based Ethernet solutions for safety-critical networks. His articles reflect a focus on real-time communication protocols, fault-tolerant design, and system integration, with applications ranging from automotive networks to smart transducers. Advising over 20 students underscores his commitment to nurturing the next generation of embedded systems researchers.

• Real-Time Systems
• System Architectures
• Communication Protocols
• +۳ مورد دیگر

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
• +۵ مورد دیگر

Manolis G.H. Katevenis is a Professor at the Department of Computer Science, University of Crete, and Deputy Director and Head of the Computer Architecture and VLSI Systems (CARV) Laboratory at the Institute of Computer Science (ICS), Foundation for Research & Technology - Hellas (FORTH). He co-founded the European Research Center on Computer Architecture (EuReCCA) and is a founding partner of the European Network of Excellence on High-Performance and Embedded Architecture and Compilation (HiPEAC). PhD in Computer Science from University of California, Berkeley (1983) Co-founder of EuReCCA (2011) Contributed to RISC architecture (1980-1983), interconnection networks (1985-2011), and parallel computing (1993-2010) His research spans Scalable Multicore Systems , Interconnection Network Architecture , Packet Switch Design , Computer Architecture , and VLSI Systems . He has made foundational contributions to per-flow queueing, backpressure mechanisms, and wormhole IP over ATM, with applications in internet routers, data centers, and supercomputers. His publications focus on high-radix crossbar switches, flow control algorithms, and explicit interprocessor communication. Notable scientific awards include: ACM Doctoral Dissertation Award (1984) David J. Sakrison Memorial Prize (1983) IBM PhD Fellowship (1981-1983) Greek State Fellowship (1973-1978) He has supervised 40 graduate theses and participated in 22 R&D projects totaling €9M, including HiPEAC (coordinator of interconnection networks), SARC (FPGA prototype design), and ENCORE (cache-optimized remote DMA). His work has received over 2000 citations, with an h-index of 23.

• Computer Architecture
• VLSI Systems
• Interconnection Network Architecture
• +۴ مورد دیگر

Associate Professor Vera Hemmelmayr is affiliated with the Institute of Transport Economics and Logistics at the Vienna University of Economics and Business . Her research spans Operations Research , Logistics , Supply Chain Management , and Circular Economy , with a focus on vehicle routing , city logistics , and metaheuristics . She has led major projects like CREATE_AT (circular timber supply chains) and Sustainable Urban Deliveries . Research trends in her recent work include real-time optimization algorithms for railway disruptions, sustainable urban freight solutions , and integrated railcar fleet management . Her publications often bridge transport policy with computational methods , emphasizing green supply chains and smart city logistics . 2025: Preis für innovative Lehre 2017: Best Application Paper Honorable Mentions (IIE Transactions) 2012: Dr.-Maria-Schaumayer-Habilitationsstipendium 2012: WU Visiting Fellow 2005: Prämierung ausgezeichneter Diplomarbeiten She has supervised research projects on topics including two-echelon delivery systems , railway disruption management , and digital transformation in logistics, while contributing to policy frameworks for circular economy in transportation.

• Operations Research
• Logistics
• Supply Chain Management
• +۷ مورد دیگر

Hojjat Adeli is an Academy Professor at The Ohio State University (OSU) with courtesy appointments in the Departments of Neurology, Neuroscience, and Biomedical Informatics. He has held the Abba G. Lichtenstein Professorship in Infrastructure Engineering (2003-2013) and served as Editor-in-Chief of Computer-Aided Civil and Infrastructure Engineering for 25 years. Academy Professor, OSU (2018–present) Professor of Neurology, Neuroscience, and Biomedical Informatics (by courtesy, since 2015-2002) His research interests span interdisciplinary domains at the intersection of engineering and neuroscience, focusing on: Computational neuroscience and neurocomputing Biomedical signal processing (particularly EEG-based diagnostics) Machine learning and computational intelligence applications Smart infrastructure systems and structural engineering Optimization algorithms in civil and biomedical contexts His research trends demonstrate a synergy between: Neural network development for medical diagnostics Wavelet and chaos theory in epilepsy detection Computational intelligence for structural engineering Hybrid models integrating fuzzy logic and genetic algorithms Scientific awards and honors include: Multiple IEEE Fellowships and AAAS Fellow Thomson Reuters Highly Cited Researcher in Engineering and Computer Science Hojjat Adeli Awards for Neural Systems and Innovation in Computing Elections to international academies in Poland, Lithuania, and Spain Scott Award for Engineering Education and Distinguished Member ASCE

• Structural engineering
• Computational neuroscience
• Civil engineering
• +۷ مورد دیگر

Liu Derong is a distinguished academic holding the position of Chair Professor at Southern University of Science and Technology (Shenzhen, China) since 2022. He is also a Full Professor at the University of Illinois at Chicago (UIC) since 2006. His academic journey includes roles as Professor at Guangdong University of Technology (2017–2022) and the Chinese Academy of Sciences' Institute of Automation (2008–2016). He earned his Ph.D. in Electrical Engineering from the University of Notre Dame (1994), M.S. from the Chinese Academy of Sciences (1987), and B.S. from Nanjing University of Science and Technology (1982). His research focuses on neural networks, reinforcement learning, intelligent control, and adaptive dynamic programming. He has authored 19 books and 260+ journal papers, contributing significantly to computational intelligence and control systems. Notable works include Adaptive Dynamic Programming with Applications in Optimal Control (2017) and co-editing volumes like Frontiers of Intelligent Control and Information Processing (2014). Liu Derong has held leadership roles in professional societies, including Editor-in-Chief of Artificial Intelligence Review , Deputy Editor-in-Chief of the IEEE/CAA Journal of Automatica Sinica , and President of the Asia Pacific Neural Network Society (2018). He has organized major conferences such as the IEEE World Congress on Computational Intelligence (2014) and received prestigious awards like the Dennis Gabor Award (2018) and membership in Academia Europaea (2021). His contributions span theoretical advancements and practical applications in control systems, with a focus on optimization, robotics, and energy systems. He has also served on editorial boards of leading journals and as a keynote speaker at 30+ international conferences.

• Neural Networks
• Reinforcement Learning
• Intelligent Control
• +۵ مورد دیگر

Leandros Tassiulas is the John C. Malone Professor of Electrical Engineering at Yale University, with additional appointments in Computer Science. His career spans faculty positions at the University of Thessaly, University of Maryland, University of Ioannina, and Polytechnic University. A Fellow of both IEEE (2007) and ACM (2020), he is renowned for contributions to network control theory, including the max-weight scheduling algorithm and back-pressure network policy. PhD in Electrical Engineering (1991) from the University of Maryland, College Park His research focuses on computer and communication networks , emphasizing mathematical models for complex networks , wireless system architectures , stochastic systems , and energy-efficient network design . Recent work explores quantum networking (Pant et al., 2019) and federated learning in edge environments (Jiang et al., 2022). Key publication trends include stability analysis (earlier works), mobile edge computing (2019), software-defined networking (2021), and smart grid optimization (2012-2013). The list includes monographs on network theory and patents for distributed bandwidth allocation (2011) and directional antenna protocols (2002). Scientific Awards ACM Fellow (2020) for network control contributions IEEE Koji Kobayashi Award (2016) for scheduling/stability analysis IEEE INFOCOM Achievement Award (2007) for resource allocation Bodossaki Foundation Prize (1999) for distributed systems NSF CAREER, ONR Young Investigator, and multiple best paper awards His work has been funded by the NSF, ONR, and IBM. Current projects bridge AI , quantum communication , and next-generation network architectures .

• Wireless Networks
• Machine Learning
• Network Optimization
• +۳ مورد دیگر

Erich Schweighofer serves as Associate Professor at the University of Vienna within the Institute for European, International and Comparative Law, specifically affiliated with the Department of International Law and International Relations. His research activities are centered at the Juridicum building (Schottenbastei 10-16, 1010 Vienna), where he maintains an active office presence with scheduled consultation hours. His scholarly focus spans Legal Informatics , Artificial Intelligence and Law , Data Protection , and Legal Knowledge Representation , with particular emphasis on explainable AI systems for legal contexts and formal methodologies for translating legal norms into computational frameworks. This interdisciplinary work bridges jurisprudence and computer science through projects examining biometric regulation, autonomous vehicle governance, and natural language processing applications in legal domains. Analysis of his 2021-2024 publications reveals consistent thematic progression toward operationalizing legal principles in AI systems, with increasing focus on transparency mechanisms, temporal logic for dynamic regulations, and cross-jurisdictional compliance challenges. His work predominantly appears in the International Legal Informatics Symposium (IRIS) proceedings and JURIX conferences, reflecting deep engagement with the legal informatics community. Professor Schweighofer leads a dedicated research team including project assistants Mag. Jessica Fleisch, Mag. Jonas Pfister, Felix Schmautzer, and Mag. Jakob Zanol, while actively participating in the University of Vienna's Working Group on Legal Informatics (Arbeitsgruppe Rechtsinformatik). His collaborative approach extends to organizing the biennial IRIS symposium, which has established itself as a cornerstone event for European legal informatics scholarship since 1998.

• Legal Informatics
• Artificial Intelligence and Law
• Data Protection and Privacy
• +۵ مورد دیگر

Nelson Nicolas Higuera Ruiz is a PreDoc Researcher at the Vienna University of Technology, affiliated with the Faculty of Informatics' Knowledge-Based Systems research group. His work bridges logic programming and deep learning for explainable AI. Research Focus: Neurosymbolic AI, Visual Question Answering (VQA), Answer Set Programming (ASP), and hybrid reasoning systems Projects: Leads optimization research in the LCS (2017–2025) project, developing neurosymbolic approaches for intelligent systems Key Contributions: Pioneering adaptive large-neighbourhood search algorithms for ASP optimization, modular neurosymbolic architectures, and contrastive explainability frameworks for VQA Collaborations: Active in international workshops and conferences including IJCAI, AAAI, and CLeaR, frequently collaborating with researchers like Thomas Eiter and Johannes Oetsch Publications: Focus on neurosymbolic integration, optimization algorithms, and explainability across AI, logic programming, and computer vision domains

• Neurosymbolic AI
• Answer Set Programming
• Visual Question Answering
• +۳ مورد دیگر