جست‌وجوی استاد و پژوهشگر

• Multicore Computing
• Virtualization
• Cloud Computing
• +۴ مورد دیگر

Xiaoning Ding is an Associate Professor in the Department of Computer Science at New Jersey Institute of Technology (NJIT). His research focuses on virtualization, multicore computing, cloud infrastructure optimization, and mobile systems. He leads projects addressing challenges in nested virtualization, memory management, and cache conflicts in distributed and cloud environments. Key research interests include optimizing task scheduling in cloud VMs, reducing TLB misses through huge page strategies, and mitigating interference in multi-tenant GPU clouds. His work on page placement mechanisms and dynamic page coalescing aims to enhance virtualized cloud performance. Ding has received federal funding, including an NSF grant for virtualization research in heterogeneous memory hierarchies (2016–2019). His research outputs span over 74 publications, with notable contributions in EuroSys, IEEE Transactions, and conferences like PACT. Media coverage highlights his studies on cloud computing and collaborative mobile systems, such as parking assignment algorithms. Beyond technical contributions, Ding advises students in interdisciplinary projects, exemplified by collaborations with Applied Math majors on cloud computing challenges.

Andrew Martinمشاهده پروفایل

استاد

• Systems Security
• Trusted Computing
• Cybersecurity
• +۱۲ مورد دیگر

Professor Andrew Martin is a leading academic in Systems Security at the Department of Computer Science, University of Oxford, and a Governing Body Fellow at Kellogg College. His research focuses on trusted computing, cybersecurity, and secure distributed systems, with applications in cloud computing, IoT, and smart grids. He has been instrumental in advancing secure architectures using hardware-based trust mechanisms such as Intel SGX and Trusted Platform Modules. Research Interests: His work spans Systems Security , Trusted Computing , Confidential Computing , Secure Multi-Party Computation , and Privacy in Distributed Systems . He investigates how hardware-enforced security can mitigate risks in large-scale environments, particularly where privacy and trust are paramount. Publication Trends: His recent publications reveal a strong focus on Trusted Execution Environments (TEEs), remote attestation, and secure cloud architectures. He critically examines the feasibility of using hardware enclaves for both defensive and offensive security, emphasizing architectural soundness and real-world applicability. Scientific Awards: No specific awards mentioned in the provided text. Advising and Grants: Professor Martin has supervised numerous PhD and Master’s students in cybersecurity and systems research. His projects include CRANE , Trustworthy Logging , webinos , TCLOUDS , and Secure Networking by Design (SNbD) . He has secured funding for research in trusted computing and secure distributed systems, contributing to both theoretical foundations and practical implementations. Labs and Teams: He leads a research group focused on systems security and trusted computing, collaborating with industry and academic partners on large-scale security challenges. His team works on developing secure middleware, analyzing vulnerabilities in consumer devices, and designing privacy-preserving protocols for smart infrastructure.

Jia Raoمشاهده پروفایل

دانشیار

• Operating Systems
• Distributed Systems
• Parallel Computing
• +۱۳ مورد دیگر

Dr. Jia Rao is an Associate Professor in the Department of Computer Science and Engineering at the University of Texas at Arlington, College of Engineering. He previously served as an Assistant Professor at the University of Colorado, Colorado Springs from 2012 to 2016. His research spans operating systems, distributed and parallel computing, cloud computing, virtualization, and machine learning. Education: Ph.D., Computer Engineering, Wayne State University, 2011 M.S., Computer Science, Wuhan University, 2006 B.S., Computer Science, Wuhan University, 2004 Dr. Rao's research focuses on building adaptive, scalable, and efficient computer systems for cloud and data center environments. His interests include resource management, performance modeling, adaptive scheduling, and quality-of-service (QoS) guarantees in virtualized and containerized systems. He combines machine learning and feedback control techniques with low-level system design to improve efficiency, fairness, and predictability in heterogeneous and multi-tenant environments. An analysis of his recent publications reveals a strong trend toward memory and resource management innovations in cloud-native systems. His work explores tiered memory architectures, secure container deployment, preemptive multitasking for deep learning, and efficient packet processing in container networks. These efforts reflect a consistent focus on optimizing system-level performance, security, and scalability in modern data centers. Scientific Awards: NSF CAREER Award (2019) Best Paper Award, APSys (2016) Best Paper Award, ICAC (2013) Best Paper Nomination, HPCA (2013) Best Paper Nomination, HPDC (2013) Best Paper Award, Middleware (2021) Researcher of the Year, UCCS (2014) Dr. Rao actively advises students and serves on dissertation and thesis committees for numerous Ph.D. and Master’s candidates. He leads federally funded research projects supported by the National Science Foundation, including a major CAREER grant on virtualized architectures and collaborative big data initiatives. His research has been sponsored by NSF, IEEE, and Intel Corporation, reflecting strong industry and academic collaboration. He leads and contributes to major research labs and teams focused on cloud systems, operating systems, and performance optimization. His team has produced high-impact work in top-tier venues such as OSDI, SOSP, ATC, EuroSys, and ICDCS. Current and future work includes next-generation memory architectures using CXL, intelligent resource provisioning, and resilient container networking.

• Formal Methods
• Software Verification
• Concurrent Systems
• +۶ مورد دیگر

Thomas Henzinger is a Professor at the Institute of Science and Technology Austria (ISTA), where he leads the Henzinger Thomas Group focused on improving software reliability through mathematical methods. He previously served as ISTA's President (2009–2022) and held academic positions at EPFL, Max Planck Institute, UC Berkeley, and Cornell University. Education: Dipl.-Ing. in Computer Science (Johannes Kepler University, Austria), M.S. in Computer and Information Sciences (University of Delaware), PhD in Computer Science (Stanford University), and Honorary Doctorates from Fourier University (France) and Masaryk University (Czech Republic). The group's research spans concurrent systems , embedded systems , quantitative model checking , runtime monitoring , and trustworthy AI . They develop tools like HyTech and VAMOS, emphasizing predictability, robustness, and fairness in safety-critical software. Recent publications highlight trends in quantitative automata , fairness in AI , quantum algorithms , and automata theory , reflecting interdisciplinary applications from cyber-physical systems to neural networks. Collaborative projects include SPyCoDe (security foundations) and VAMOS (software monitoring). Honors & Awards: 2024 Fellow of the Royal Society 2020 Member, US National Academy of Sciences 2015 Royal Society Milner Award 2012 Wittgenstein Award 2006 ACM and IEEE Fellow 1995 NSF CAREER and ONR Young Investigator Awards Henzinger advises current and former PhD students including Mahyar Karimi, Pavol Kebis, and Mathias Lechner. His grants include ERC Advanced Grants (QUAREM, VAMOS) and FWF funding (Wittgenstein Award, NFN RISE). Labs & Teams: He leads the Henzinger Thomas Group at ISTA, collaborating with FORSYTE (TU Wien) and contributing to EU-funded initiatives. The group integrates postdocs, PhD students, and interns in formal methods and system verification.

Bruce Stephenمشاهده پروفایل

مدرس ارشد

• Data-Driven Methods
• Power Systems
• Smart Grids
• +۱۲ مورد دیگر

Bruce Stephen is a Senior Lecturer and Strathclyde Chancellor's Fellow in the Department of Electronic and Electrical Engineering at the University of Strathclyde, where he has been since 1999. His work lies at the intersection of data science and power systems engineering, with a strong focus on real-world industrial applications. His educational background includes a BSc in Aeronautical Engineering from the University of Glasgow (1997), an MSc from the University of Strathclyde (1998), and a PhD in Electronic and Electrical Engineering (2005) from the University of Strathclyde. Dr. Stephen's research centers on data-driven methodologies for solving complex engineering challenges in power systems, particularly under conditions of limited data or domain knowledge. His applications span the entire energy value chain—from generation (nuclear, wind, solar) to transmission, distribution, and end-use. He develops software solutions for condition assessment, anomaly detection, and predictive modeling to support asset management and future grid planning. Notably, he co-founded Silent Herdsman Ltd, a spin-out company applying intelligent systems to precision livestock farming. His recent publications highlight a strong trend toward advanced machine learning techniques such as transfer learning, surrogate modeling, and synthetic data generation (e.g., using CTGANs) to improve reliability and decision-making in power systems. These works emphasize explainability, uncertainty quantification, and scalability, particularly in renewable-rich and data-scarce environments. Dr. Stephen is currently the Principal Investigator on the EPSRC-funded Analytical Middleware for Informed Distribution Networks (AMIDiNe) project, aiming to identify barriers to Net Zero through improved data modeling of unmonitored networks. He has also contributed to major projects including EU FP7 ORIGIN, EPSRC APAtSCHE, AGILE, and Transactive Energy Supply Arrangements. He actively advises students and collaborates on interdisciplinary research. His professional activities include organizing the QFF Quarterly Forecasting Forum (2018) and delivering invited talks at industry workshops. He has supervised datasets and research involving structural health monitoring and industrial diagnostics. His work supports UN Sustainable Development Goals related to affordable and clean energy, industry innovation, and climate action.

Amr Rizkمشاهده پروفایل

استاد

• Networking
• Communication Systems
• Network Calculus
• +۵ مورد دیگر

Professor Amr Rizk is the Director of the Networks and Communication Systems (NCS) Lab at the University of Duisburg-Essen, where he has been serving as Professor since April 2021. Previously, he was Assistant Professor at Ulm University (2019-2021) and completed his habilitation at TU Darmstadt in 2019. His academic journey includes research positions at prestigious institutions including University of Massachusetts Amherst, University of Warwick, and TU Darmstadt where he was an Athene Young Investigator. Professor Rizk's research spans multiple aspects of networking and communication systems with a particular focus on network performance analysis, stochastic modeling, and practical implementations. His work bridges theoretical foundations with real-world applications, especially in content delivery, video streaming, and network protocols. He has made significant contributions to network calculus, quality of experience optimization, and novel approaches to congestion control and caching mechanisms. His publication record demonstrates consistent high-impact contributions across top networking conferences and journals. Recent work shows a growing emphasis on programmable data planes, AI/ML applications in networking, and advanced techniques for network measurement and performance prediction. His research group at Duisburg-Essen maintains strong connections with both academic and industrial partners in the networking ecosystem. Best Paper Award at ACM MMSys Conference (2023) Distinguished TPC Member for IEEE INFOCOM (2020, 2022) Best Paper Award at ACM/USENIX Middleware Conference (2017) Athene Young Investigator Award, TU Darmstadt (2017) Professor Rizk serves as Associate Editor for Elsevier Computer Communications and has extensive experience with research funding bodies as a reviewer. His leadership extends to conference organization, including roles as PC Co-Chair for IEEE MIPR (2023) and Steering Committee member for Workshop on Network Calculus (2022). He maintains active participation in numerous top networking conferences as Technical Program Committee member, reflecting his standing within the international networking research community.

Matt J. Rutherfordمشاهده پروفایل

دانشیار

• Autonomous Systems
• Embedded Systems
• Software Engineering
• +۳ مورد دیگر

Matt J. Rutherford is an Associate Professor in the Department of Computer Science at the University of Denver, with a joint appointment in the Department of Electrical and Computer Engineering. He is Deputy Director of the Unmanned Systems Research Institute and a faculty fellow of Project X-ITE. His research focuses on autonomous systems, embedded systems, and software engineering, with extensive contributions to UAV navigation, control systems, and robotics. Rutherford holds a Ph.D. in Computer Science from the University of Colorado Boulder (2006), an MS (2001), and a BS in Civil Engineering from Princeton University (1996). His work emphasizes practical applications of software engineering principles in distributed and embedded systems. Notable projects include radar-based collision avoidance for UAVs, self-leveling landing platforms, and studies on electric vehicle charging impacts on power grids. Rutherford's research bridges theoretical computer science with real-world engineering challenges, particularly in unmanned systems and robotic autonomy. Key publications explore UAV flight control using neural networks, ground/ceiling effects in rotorcraft, and GPU-based real-time pose estimation. His contributions to model-driven systems and distributed testbed automation highlight long-term engagement with software reliability and scalable experimentation frameworks. Rutherford collaborates widely, including with institutions like the University of South Carolina and Politecnico di Torino. His interdisciplinary approach integrates robotics, aerospace engineering, and software engineering to advance autonomous system capabilities.

• Embedded Systems
• Software Verification and Validation
• Model Checking
• +۵ مورد دیگر

Stefan Kowalewski serves as Professor of Embedded Software at RWTH Aachen University, leading the Chair of Embedded Software (Informatik 11) within the Department of Computer Science. His research spans critical domains including medical cyber-physical systems, automotive software, and industrial automation, with over 150 publications demonstrating sustained scholarly impact. Professor Kowalewski's work focuses on three interconnected research pillars: Embedded Systems Verification: Pioneering model checking techniques for PLC code, particularly addressing state space challenges in GRAFCET-based specifications Medical Cyber-Physical Systems: Developing safety-critical software for mechanical ventilation, extracorporeal membrane oxygenation, and ARDS diagnosis systems with strong clinical collaborations Automotive Software: Creating verification frameworks and safety architectures for automated vehicles through projects like UNICARagil Recent publications reveal an increasing integration of AI techniques with traditional verification methods, particularly for medical applications involving neonatal care and critical respiratory support. His 2024-2025 work shows particular emphasis on timing isolation in vehicle communication systems, middleware performance evaluation, and robust AI models for medical diagnosis. Professor Kowalewski maintains active collaborations with RWTH Aachen University Hospital's medical departments and automotive industry partners. His laboratory operates specialized facilities including the Cyber-Physical Mobility Lab for vehicle research and in-vivo testing setups for medical device validation. He has supervised numerous doctoral candidates, with recent students focusing on topics like ARDS classification algorithms, GRAFCET verification techniques, and safety architectures for software-defined vehicles. His educational contributions include developing remote teaching platforms for cyber-physical systems education.

Silvia Bonomiمشاهده پروفایل

دانشیار

• Cybersecurity
• Distributed Systems
• Blockchain
• +۸ مورد دیگر

Dr. Silvia Bonomi serves as an Associate Professor in the Department of Computer, Control and Management Engineering at Sapienza University of Rome, where she has held academic positions since 2006. Her career progression includes Research Fellow (2010-2011), Tenure Track Assistant Professor (2016-2019), and current Associate Professor appointment since 2019. She maintains her office in Room B114 and is actively engaged in research and teaching within the university's engineering faculty. Her educational background includes: PhD in Computer Engineering, Sapienza University of Rome and Institut de Formation Supérieure en Informatique et Communication (IFSIC/IRISA), Rennes, France (completed under advisors Prof. Roberto Baldoni and Prof. Michel Raynal) Dr. Bonomi's research critically examines dynamic distributed systems where entities autonomously join and leave networks, with applications spanning VANETs, airborne networks, social networks, and distributed cloud services. She pioneers work in Byzantine fault tolerance for mobile environments, blockchain security with emphasis on smart contract vulnerability analysis, and resilient cybersecurity frameworks integrating human factors. Her investigations into publish-subscribe systems focus on quality-of-service enhancements, while her peer-to-peer systems research addresses fundamental connectivity challenges in large-scale decentralized environments. This interdisciplinary approach bridges theoretical distributed computing with practical cybersecurity applications. Analysis of her 15 most recent publications (2021-2024) reveals dominant trends in blockchain security (particularly smart contract vulnerability taxonomies and analysis tool efficacy) and fault-tolerant distributed systems (reliable communication under Byzantine faults in dynamic networks). Her work increasingly integrates human factors into cybersecurity models and develops visual analytics for business-centric risk assessment. Publications span top venues including IEEE CSR, OPODIS, SAFECOMP, and journals like Computers & Security, demonstrating consistent contributions to both theoretical foundations and practical cybersecurity implementations.

Matt Garrattمشاهده پروفایل

استاد

• Robotics
• Swarm Robotics
• Unmanned Aerial Vehicles
• +۵ مورد دیگر

Professor Matt Garratt is a faculty member at the University of New South Wales (UNSW Canberra), School of Engineering and IT, serving as AI theme lead for the Defence Trailblazer Universities initiative with over $200 million in funding. His primary research focuses on sensing, guidance, and control for autonomous systems within robotics and unmanned aerial vehicles. Garratt's research spans robotics, swarm intelligence, and autonomous systems with emphasis on bio-inspired navigation techniques and adaptive flight control. His work addresses critical challenges including terrain following using vision systems, landing UAVs on moving platforms, and developing self-organizing swarms. He integrates artificial intelligence, computer vision, and machine learning to advance unmanned systems capabilities in complex environments. Analysis of his recent publications reveals strong trends in bio-inspired UAV navigation (particularly honeybee behavior modeling) and swarm robotics applications. His work increasingly incorporates deep learning for perception tasks while addressing real-world challenges like gas plume detection and adversarial robustness in 3D vision systems. The research demonstrates consistent progression toward practical implementation of autonomous systems in dynamic environments. Professor Garratt has secured over $7.7 million in external research funding as Chief Investigator on 33 grants. He actively mentors graduate students with scholarships available for Masters and PhD research in robotics and AI, focusing on: UAV path planning and adaptive control systems Swarm robotics collective motion optimization Bio-inspired autonomous navigation techniques Computer vision for robotic perception He co-founded the UNSW Canberra AIR (AI and Robotics) Group (AIR Lab), which drives research in trusted autonomy, swarm intelligence, and AI integration for defense applications. The lab develops practical solutions for autonomous systems operating in complex, real-world environments while maintaining ethical AI frameworks.

Shivam Saxenaمشاهده پروفایل

استادیار

• Smart Grids
• Energy Systems
• Distributed Control

Shivam Saxena is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of New Brunswick, located in Head Hall D65, Fredericton. His research focuses on smart grid technologies, including distributed energy resource integration, blockchain applications for energy trading, electric vehicle-grid interactions, and resilient microgrid design. This work addresses decarbonization challenges through technological and market innovations. Publications demonstrate a strong emphasis on real-world implementation, with field-tested solutions for V2X integration, blockchain-based transactive energy, and distributed control systems. Recent work explores novel applications in agricultural energy management and trust mechanisms for decentralized systems.

Arpan Gujaratiمشاهده پروفایل

عضو هیئت علمی

• Real-Time Systems
• Distributed Systems
• Cyber-Physical Systems
• +۷ مورد دیگر

Arpan Gujarati is a Sessional Lecturer in the Department of Computer Science at the University of British Columbia (UBC), affiliated with the Systopia Lab. He teaches graduate and undergraduate courses such as CPSC 538G (Distributed Systems), CPSC 416 (Operating Systems), and CPEN 432 (Real-Time System Design). He holds a PhD from the Max Planck Institute for Software Systems and TU Kaiserslautern, where he was supervised by Björn B. Brandenburg. PhD: Max Planck Institute for Software Systems & TU Kaiserslautern (2020) Undergraduate: Birla Institute of Technology and Science (BITS Pilani) Postdoctoral Researcher: MPI-SWS Research Associate: UBC Software Development Engineer: Citrix R&D, India His research focuses on real-time and distributed systems, with applications in cyber-physical systems, fault tolerance, and machine learning reliability. He investigates scheduling algorithms, reliability analysis, and the integration of learning-enabled components into safety-critical systems. His work combines theoretical analysis with practical system implementations, often involving real-world testbeds and open-source tools. His recent publications span top-tier venues including RTSS, OSDI, ECRTS, DSN, and Middleware, with a strong emphasis on performance predictability, resilience of ML systems, and real-time communication. His work frequently addresses challenges in timing guarantees, fault tolerance, and system reliability in both cloud and embedded environments. SIGBED Paul Caspi Memorial Dissertation Award Best Paper Award at RTSS 2022 Distinguished Artifact Award at OSDI 2020 Best Student Paper Award at Middleware 2017 Outstanding Paper Award at RTCSA 2025 He advises several PhD students and undergraduate researchers at UBC, including Heng Zhao, Aida Aminian, Zainab Saeed Wattoo, and Philip Schowitz. He has led multiple research projects involving robotic arms, NVIDIA Holoscan, FreeRTOS, and distributed key-value stores. His lab work emphasizes reproducibility, open datasets, and practical system building. He has served on program committees for RTSS, RTAS, ECRTS, and Middleware, and contributes to journals such as Real-Time Systems and JSys.

Hoda Hassanمشاهده پروفایل

دانشیار

• Computer Networks
• Mobile Ad Hoc Networks (MANETs)
• Artificial Intelligence
• +۱ مورد دیگر

Hoda Hassan is an Associate Professor in the Department of Information Sciences and Technology at George Mason University. Her work bridges theoretical and applied domains in computer networks, Mobile Ad Hoc Networks (MANETs), and the convergence of Artificial Intelligence (AI) and the Internet of Things (IoT). Education : PhD in Computer Engineering from Virginia Tech (2010), MSc and BSc in Computer Science from the American University in Cairo (2005, 1992). Research Interests focus on designing intelligent and secure network systems. She has developed innovative frameworks, including a BLE computer-aided design toolkit for MANETs, which was commercialized by Skymind Malaysia. Her work spans AI integration in IoT, anomaly detection, cloud computing models, and network architecture evolution. Academic Leadership includes pioneering roles in founding The Knowledge Hub (TKH) Universities in Egypt and leading the Computing and Computer Science Program at Coventry University's UK offshore branch (2019–2022). Her research has been supported by a significant 2 million Egyptian Pound grant from ITAC Egypt (2015–2017).

Alysson Neves Bessaniمشاهده پروفایل

دانشیار

• Distributed Systems
• Dependability
• Fault Tolerance
• +۵ مورد دیگر

Alysson Neves Bessani is an Associate Professor at the Informatics Department of Faculdade de Ciências da Universidade de Lisboa, Portugal, and a member of the LaSIGE research group. His work focuses on distributed systems, Byzantine fault tolerance, and cybersecurity, with significant contributions to blockchain consensus and intrusion-tolerant architectures. Academic Rank: Associate Professor University: Universidade de Lisboa School: Faculdade de Ciências Department: Informatics Department Research Groups: LaSIGE, Navigators Research Interests span distributed systems design, Byzantine fault tolerance, adaptive consensus protocols, and secure multi-cloud storage. His work bridges theoretical foundations with practical implementations like the BFT-SMaRt library and the Vawlt startup. Scientific Awards include multiple Test-of-Time Awards (DSN'24, DSN'21), IBM Faculty Award (2017), and Best Student Paper at Middleware'19. He has advised numerous PhD and Master’s students, contributing to advancements in fault-tolerant systems. Publications (15 most recent) reveal trends in Byzantine consensus optimization, blockchain integration, and AI-driven threat detection. His interdisciplinary work combines distributed computing with genomics and IoT security, reflecting a broad impact across computer science.

Stefan Schulteمشاهده پروفایل

استاد

• Data Engineering
• Blockchain Technologies
• Internet of Things (IoT)
• +۴ مورد دیگر

Prof. Dr.-Ing. Stefan Schulte is a Full Professor at Hamburg University of Technology, leading the Institute for Data Engineering and the Christian Doppler Laboratory Blockchain Technologies for the Internet of Things (CDL-BOT). He holds a diploma in Economics and a Bachelor's in Computer Science from the University of Oldenburg, followed by a Master's in Information Technology (with Merit) from the University of Newcastle. After completing his PhD at TU Darmstadt in 2010, he held roles as Postdoctoral Researcher at TU Wien, Assistant Professor (tenure-track), and eventually Associate Professor before joining TU Hamburg in 2021. His research focuses on data engineering, blockchain technologies applied to IoT, elastic computing, and quality-of-service (QoS) aspects in smart systems. Notable contributions include work on fog computing, federated learning, and cross-blockchain interoperability. He has published over 140 papers in top-tier venues like IEEE Transactions on Services Computing and ACM Computing Surveys. Key awards include Best Paper Awards at the IEEE International Conference on Blockchain (2020) and the European Conference on Service-Oriented and Cloud Computing (2023). Prof. Schulte chairs major conferences such as the IEEE International Conference on Fog and Edge Computing (ICFEC 2025) and serves on editorial boards for journals like IEEE Transactions on Services Computing. He leads CDL-BOT, a lab exploring blockchain applications in IoT and manufacturing. His industrial collaborations include projects like SIMPLI-CITY (smart mobility) and CREMA (cloud-based manufacturing). Current research emphasizes blockchain interoperability, federated learning frameworks, and edge-AI systems. He actively reviews proposals for the German Research Foundation, EU programs, and industry initiatives.