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

Daniel Dominic Kaplan Sleatorمشاهده پروفایل

استاد

• Algorithms
• Data Structures
• Theoretical Computer Science
• +۵ مورد دیگر

Daniel Dominic Kaplan Sleator is a Professor of Computer Science at Carnegie Mellon University's School of Computer Science. He maintains an office in the Gates-Hillman Center (7205 Gates-Hillman) and teaches various courses in algorithms and theoretical computer science. Professor Sleator's research spans several areas of theoretical computer science and algorithms. His primary interests include: Algorithms and Data Structures Amortized Analysis and Competitive Analysis Persistent and Self-Adjusting Data Structures Computational Geometry and Combinatorial Optimization Combinatorial Game Theory and Mathematical Games Music Analysis using Computational Methods His extensive publication record shows a consistent focus on efficient data structures and algorithms. Over the years, his work has evolved from foundational data structures like splay trees and skew heaps to applications in diverse areas such as music analysis and combinatorial games. A notable trend in his work is the development of self-adjusting data structures that achieve excellent amortized performance without maintaining explicit structural constraints. His papers on splay trees, skew heaps, and persistent data structures have become classics in the field. Professor Sleator has made significant contributions across multiple domains of computer science. His work on competitive algorithms for paging and list update problems has been particularly influential, establishing fundamental results in online algorithms. His research extends beyond traditional computer science into interdisciplinary areas like computational music theory, demonstrating the broad applicability of algorithmic thinking. He teaches a variety of courses including Algorithms 15-451/651, Competition Programming 15-295, and specialized topics like mathematical games.

• Databases
• Data Mining
• Machine Learning
• +۳ مورد دیگر

Ming-Syan Chen is a distinguished academic holding dual roles as a Distinguished Research Fellow and Director of the Research Center for Information Technology Innovation (CITI) at Academia Sinica, Taiwan, and a Distinguished Professor jointly appointed across multiple departments at National Taiwan University (NTU), including Electrical Engineering (EE), Computer Science and Information Engineering (CSIE), and the Graduate Institute of Communication Engineering (GICE). His career spans academia and industry, with prior roles as a research staff member at IBM Watson Research Center and leadership positions in Taiwan's technology sector. Education: He earned a B.S. in Electrical Engineering from National Taiwan University, followed by M.S. and Ph.D. degrees in Computer, Information, and Control Engineering from the University of Michigan, Ann Arbor. Research Interests: Chen's work focuses on databases, data mining, machine learning, multimedia networking, and cloud computing. He has authored over 350 papers and holds numerous patents, contributing to foundational advancements in query processing, data management, and networked systems. Award Highlights: Recipient of ACM and IEEE Fellowships, National Chair Professorship (lifetime honor), Teco Award, Pan Wen Yuan Distinguished Research Award, and IBM's Outstanding Innovation Award. His contributions span research, teaching, and technology commercialization. Leadership & Service: Former Dean of NTU's College of Electrical Engineering and Computer Science, CEO of Taiwan's Networked Communication Program, and Editor-in-Chief of the International Journal of Electrical Engineering. He has chaired international conferences and served on editorial boards of journals like IEEE TKDE and VLDB. Labs & Teams: Leads the Network Database Laboratory and collaborates on national initiatives in information and communication technologies. His research groups focus on data science, distributed systems, and social network analysis.

Clyde Kruskalمشاهده پروفایل

دانشیار

• Parallel Computing
• Algorithms
• Computer Architecture
• +۳ مورد دیگر

Clyde Kruskal is an Associate Professor in the Department of Computer Science at the University of Maryland, College Park. His research focuses on parallel architectures, models, and algorithms. He earned a Ph.D. from New York University in 1981 and a bachelor’s degree from Brandeis University in 1976. His work includes foundational contributions to parallel computing, such as the read–modify–write concept in distributed systems. Kruskal’s research spans topics like interconnection networks, synchronization mechanisms, and algorithm design for parallel systems. Education: Bachelor’s Degree: Brandeis University, 1976 Master’s Degree: New York University (Courant Institute), 1978 Ph.D.: New York University (Courant Institute), 1981 Research Interests: Parallel computing architectures, parallel algorithms design, multiprocessor synchronization, interconnection networks, and computational geometry problems like graph coloring and visibility analysis. His work emphasizes theoretical foundations and practical implementations in parallel systems. Notable Contributions: Kruskal co-authored the book Problems With A Point: Exploring Math And Computer Science (2019), and his research includes foundational papers on parallel prefix operations, sparse matrix algorithms, and synchronization protocols. His publications span over three decades, reflecting sustained contributions to parallel computing theory and practice. Advising & Outreach: He has mentored students through programs like the Summer Combinatorial Algorithms REU at UMD, fostering undergraduate research in algorithm design and parallel computing.

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

Marco Caccamo is a Professor at the Technical University of Munich (TUM) , holding the Chair of Cyber-Physical Systems in Production Engineering within the Faculty of Mechanical Engineering. He is also a Principal Investigator and Professor at the Department of Computer Science, with courtesy appointments in Electrical and Computer Engineering, Coordinated Science Lab (CSL), and Aerospace Engineering at the University of Illinois at Urbana-Champaign (UIUC). His research spans Embedded Systems , Real-Time Systems , and Cyber-Physical Systems (CPS) , focusing on resource management, reinforcement learning architectures, and 6D pose recognition for robotics. University of Pisa (B.Sc., 1997) Scuola Superiore Sant'Anna (Ph.D., 2002) Research highlights include predictable resource management on heterogeneous platforms, security frameworks for AI-based controllers , and UAV testbed development . His work integrates deep learning and real-time constraints in industrial applications like avionics, farming, and automotive systems. His 15 most recent publications emphasize cache optimization , memory bandwidth regulation , and reinforcement learning for CPS , with a focus on multi-core processors and DNN inference . Awards include the IEEE Fellow (2018), Alexander von Humboldt Professorship (2018), and multiple Best Paper Awards at RTSS, RTNS, and RTAS. NSF CAREER Award (2003) IEEE Fellow (2018) Alexander von Humboldt Professorship (2018) Best Paper Awards (RTSS 2024, RTNS 2023, ECRTS 2019) He has advised numerous Ph.D. students and postdocs, with a track record in UAV development and industrial collaborations . His lab, the Real-Time and Embedded System Laboratory , focuses on real-time OS and predictable computing .

Albert Chengمشاهده پروفایل

استاد

• Real-Time Systems
• Cyber-Physical Systems
• Internet of Things (IoT)
• +۳ مورد دیگر

Professor Albert Cheng is a faculty member in the Department of Computer Science at the University of Houston. His research focuses on real-time systems, cyber-physical systems, smart cities, and embedded systems with societal impacts. He has authored over 270 publications and a textbook on real-time systems. Cheng holds roles as an Associate Editor for the IEEE Transactions on Knowledge and Data Engineering and ACM Computing Surveys. His research interests span real-time scheduling, machine learning applications, and systems optimization. Recent work includes vehicular traffic modeling for epidemiological risk reduction, quantum computing response time analysis, and satellite mission planning. Awards include Fulbright Specialist, Distinguished ACM membership, and IEEE Senior Member status. Cheng’s articles demonstrate expertise in real-time scheduling algorithms, cyber-physical systems development, and smart city infrastructure. His contributions bridge theoretical computer science with practical implementations in transportation, healthcare, and aerospace domains. Ongoing efforts include fault-tolerant systems, energy-efficient scheduling, and CPS education initiatives. Awards: Fulbright Specialist, ACM Distinguished Member, IEEE Senior Member, Institute of Physics Fellow Labs/Teams: Hewlett Packard Enterprise Data Science Institute (HPE DSI), Research Computing Data Core (RCDC)

Rachid Guerraouiمشاهده پروفایل

استاد

• Distributed Computing
• Concurrent Computing
• Byzantine Fault Tolerance
• +۷ مورد دیگر

Rachid Guerraoui is a Full Professor at the École polytechnique fédérale de Lausanne (EPFL) where he leads the Distributed Computing Laboratory (DCL) within the School of Computer and Communication Sciences. He holds appointments in multiple departments including IC-SSC and IC-SIN for teaching, and serves on the IC Academic Evaluation Committee. A Moroccan/Swiss/French researcher, Guerraoui has previously been affiliated with Commissariat à l'Energie Atomique in Saclay, Hewlett-Packard Labs in Palo Alto, the Massachusetts Institute of Technology in Boston, and Collège de France in Paris. Guerraoui's research focuses on distributed and concurrent computing across various scales, from multiprocessors to wide-area networks. His work spans Byzantine fault tolerance, distributed machine learning, blockchain technologies, transactional memory, and consensus algorithms. His recent publications reveal a strong emphasis on Byzantine-resistant machine learning, decentralized learning systems, and the theoretical foundations of distributed consensus. The research demonstrates significant contributions to making distributed systems more robust, efficient, and secure against adversarial conditions. Guerraoui has received numerous prestigious awards including ACM Fellow (2012), Professor at College de France (2018), Nygaard-Dahl Award (2024), and Barroso Award (2025). His work has earned multiple best paper awards at top conferences including DISC, ICDCS, IPDPS, and ACM Middleware. He serves as Associate Editor of the Journal of the ACM (2010-2025) and has chaired program committees for major conferences such as PODC, DISC, and Middleware. As an educator, Guerraoui supervises numerous doctoral students and has mentored many successful researchers who now work at leading institutions and companies including Meta, Oracle Labs, Chainlink Labs, and Protocol Labs. He teaches courses on Distributed Algorithms and Concurrent Algorithms at EPFL, emphasizing both theoretical foundations and practical implementations. His educational initiatives include Wandida, a library of scientific e-synopses, and Zettabytes, projects aimed at making computer science accessible to broader audiences.

Elina Rönnbergمشاهده پروفایل

استاد

• Discrete Optimisation
• Mathematical Optimisation
• Scheduling
• +۱۸ مورد دیگر

Elina Rönnberg is a Professor and Deputy Head of Department at the Department of Mathematics, Linköping University, where she leads research in discrete optimisation and intelligent decision-making. Her work bridges theoretical method development and real-world applications in sectors such as healthcare, aviation, mining, and transportation. She is actively involved in the Wallenberg AI, Autonomous Systems and Software Program (WASP) and has collaborated with industry leaders like Saab and Scania. Her research focuses on advanced optimisation techniques including Dantzig-Wolfe decomposition, Lagrangian relaxation, column generation, branch-and-price, and logic-based Benders decomposition. She also explores hybrid methods combining mathematical programming with constraint programming and machine learning. Applications span nurse rostering, electric vehicle routing, aircraft arrival scheduling, and underground mine planning. Recent publications highlight a strong trend toward integrating AI and machine learning—particularly graph neural networks—with classical optimisation frameworks to accelerate solution methods. Her work emphasizes practical impact, robustness, and scalability in solving complex scheduling and resource allocation problems. Nurse Rostering with Strategic Planning of Skills for Sick-Leave Robustness (2024) Pricing for the EVRPTW with Piecewise Linear Charging (2024) Speeding Up Logic-Based Benders Decomposition with Graph Neural Networks (2024) Elina supervises several PhD students and has co-supervised doctoral research at international institutions including Makarere University (Uganda) and the University of Exeter (UK). She has contributed to applied projects through student theses in collaboration with Scania and Saab, focusing on electric vehicle routing and search-and-rescue optimisation. She previously served as a Specialist in Optimisation at Saab Aeronautics (2014–2020) and co-founded Schemagi, a scheduling tool aimed at improving quality in healthcare. She teaches courses such as Introduction to Optimization (TAOP07) and Project - Applied Mathematics (TATA62). Her research group, 'Mathematics and algorithms for intelligent decision-making,' operates within the Division of Applied Mathematics (TIMA) at the Department of Mathematics. The team develops decision support tools that enhance efficiency and sustainability in complex systems, particularly under the growing demands of electrification and digitalisation in transport and logistics.

• Model-based Systems Engineering
• Safety-Critical Systems
• Systems Engineering
• +۳ مورد دیگر

Dr. Siyuan Ji is a Reader in Model-based Systems Engineering (MBSE) at Loughborough University, serving as Deputy Head of the Manufacturing, Systems & Management Academic Community and Deputy Director of the Doctoral Training Centre in MBSE. He previously held a Senior Lecturer position in Systems Engineering at the University of York, where he led the MSc Programme in Safety-Critical Systems Engineering. His academic journey includes a PhD and MSc in Physics from the University of Nottingham, followed by research roles in model-based systems engineering at Loughborough University. His research focuses on advancing model-based techniques for systems engineering, particularly in safety-critical systems, formal methods, and complex system design. He has contributed to areas such as hazard management (e.g., BSafeML framework), response time analysis in real-time systems, and model synchronization for requirements engineering. His work bridges theoretical foundations with practical applications in automotive systems, embedded software, and educational technology. Dr. Ji holds the title of Fellow of the Higher Education Academy and has published extensively on topics ranging from quantum technology reporting to conversational tutoring systems. His research emphasizes interdisciplinary collaboration, evident in projects like the EPSRC-funded analysis of vehicles as complex systems. He actively contributes to both academic and industrial advancements in systems engineering methodologies and education innovation. His professional roles include managing doctoral training programs, overseeing academic communities, and advancing systems engineering education. Collaborations span industry partnerships and international academic networks, reflecting his commitment to impactful research and training the next generation of systems engineers.

James H. Andersonمشاهده پروفایل

استاد

• Real-time systems
• Distributed computing
• Concurrent algorithms
• +۳ مورد دیگر

James H. Anderson is the Kenan Distinguished Professor and Department Chair in the Department of Computer Science at the University of North Carolina at Chapel Hill, where he has been a faculty member since 1993. A leading researcher in real-time systems and distributed computing, he previously served at the University of Maryland (1990-1993). His educational background includes: B.S. in Computer Science from Michigan State University (1982) M.S. in Computer Science from Purdue University (1983) Ph.D. in Computer Sciences from the University of Texas at Austin (1990) Anderson's research focuses on real-time systems, distributed and concurrent algorithms, multicore computing, and operating systems. His work addresses fundamental challenges in scheduling, resource management, and reliability in time-critical environments, with recent emphasis on GPU acceleration for AI workloads and heterogeneous platforms. He investigates novel approaches to budget enforcement, processing graph scheduling, and timing predictability in complex systems. Analysis of his recent publications reveals a strong trend toward applying real-time scheduling principles to GPU and heterogeneous computing architectures. Key research thrusts include enabling predictable AI acceleration, managing timing uncertainties in autonomous systems, and developing composable resource partitioning techniques for safety-critical applications. His distinguished honors include: U.S. Army Research Office Young Investigator Award (1995) Alfred P. Sloan Research Fellowship (1996) Seven Computer Science Student Association Teaching Awards (1995-2019) Fellowships from IEEE (2012), ACM (2013), AAAS (2020), and AAIA (2022) IEEE TCRTS Outstanding Technical Achievement and Leadership Award (2018) Anderson actively mentors through the TOPICS Club, a reading group for undergraduate students that he co-leads with Cynthia Sturton and Danielle Szafir. His professional leadership includes chairing IEEE TCRTS (2016-2017) and ACM SIGBED (2019-2021), plus service as program/general chair for major conferences including RTSS, PODC, ECRTS, and RTAS. He directs ongoing research initiatives in real-time systems through collaborative projects and the TOPICS Club, which provides undergraduates with hands-on research experience in cutting-edge computer science topics.

• Embedded Systems
• Computer Engineering
• Electronics
• +۶ مورد دیگر

Prof. Akash Kumar is a Professor at the Chair of Embedded Systems at Ruhr University Bochum, Germany. He previously held professorships at TU Dresden (2015–2024) and the National University of Singapore (NUS; 2011–2015). His research focuses on design automation of embedded systems, reliability optimization, and approximate computing, with a strong emphasis on FPGA and emerging technologies. He leads projects such as Lean-MICS (DFG-funded) and SecuREFET-II, addressing cross-layer reliability and secure circuits. Education: PhD in Multimedia Multiprocessor Systems from Eindhoven University of Technology (TUe) and NUS (2005–2009), Master of Technological Design (Embedded Systems) from NUS (2003–2004), and B.Eng (Computer Engineering) from NUS (1999–2002, First Class Honours). Research interests span embedded systems, reconfigurable architectures, and hardware-software co-design. His work includes optimizing energy efficiency, fault tolerance, and cross-layer approximation techniques. Recent publications highlight advancements in FPGA-based accelerators, machine learning optimizations, and mixed-criticality systems. Active in grants and leadership, Kumar is Principal Investigator on multiple DFG and industry-funded projects, emphasizing collaborative research in distributed computing and approximate architectures. His contributions bridge theory and practice, with applications in edge AI, IoT, and cybersecurity.

Sonia Lopez Alarconمشاهده پروفایل

دانشیار

• Quantum Computing
• Computer Architecture
• Heterogeneous Computing
• +۲ مورد دیگر

Sonia Lopez Alarcon is an Associate Professor in the Department of Computer Engineering at the Kate Gleason College of Engineering, Rochester Institute of Technology (RIT). She has been a faculty member since 2009, teaching core courses like Computer Organization and developing quantum computing curricula including the new CMPE-257 undergraduate course and CMPE-757 graduate course. Her research bridges computer architecture and quantum computing with emphasis on practical quantum circuit implementation. Her educational background includes a Bachelor of Physics and Master's in Device Physics from the University Complutense of Madrid (2002), followed by a PhD in Computer Engineering (2009) where she researched cache hierarchy in simultaneous multithreaded architectures. During her studies, she gained industry experience at Lucent Technologies and Fundetel working on integrated circuit design. Dr. Lopez Alarcon's primary research focuses on Quantum Computing and heterogeneous hardware solutions, specifically quantum circuit compilation processes, scalability challenges, and error resilience techniques. She investigates how to translate theoretical quantum algorithms into executable circuits while managing noise and resource constraints, with applications in optimization problems and physics simulations. Her work connects computer engineering principles to emerging quantum technologies. Analysis of her publication timeline shows a strategic shift from traditional computer architecture (2015-2018 cache/HLS research for GPU/heterogeneous systems) to quantum computing (2019-2021). Recent work explores quantum algorithms for combinatorial optimization (Grover's), quantum simulation of physical systems, and machine learning applications, reflecting her adaptation to the rapidly evolving quantum landscape while maintaining her architectural expertise. Her teaching excellence has been recognized through multiple awards: Kate Gleason College of Engineering Exemplary Performance in Teaching Award (2016, 2017, 2020) Computer Engineering Most Effective Teacher Award (2016) She actively mentors graduate students including Mark Danza (MS Computer Engineering candidate 2025), with whom she collaborated on quantum machine learning research featured in Quantum Zeitgeist (May 2025). She contributes to RIT's quantum information science minor launched in 2022, developing curriculum and supervising student research in this emerging field. Dr. Lopez Alarcon leads quantum computing research efforts within RIT's Department of Computer Engineering, collaborating with colleagues like Cory Merkel on quantum algorithm applications. Her work is supported through her personal research website and integration into university-wide quantum initiatives, positioning her at the forefront of academic quantum computing education and research.

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

مدرس

• Computer Architecture
• Digital Hardware
• Real-time Systems
• +۳ مورد دیگر

Andrew Morton, PhD, PEng, is a Continuing Lecturer in the Department of Electrical and Computer Engineering at the University of Waterloo. He holds a BSc in Computer Science (Guelph, 1993), MSc in Computer Science (Guelph, 1996), and a PhD in Computer Engineering (Waterloo, 2005). Education: BSc (Guelph, 1993) Major: Computer Science, Minor: Chemistry MSc (Guelph, 1996) Computer Science PhD (Waterloo, 2005) Computer Engineering His research focuses on the software/hardware boundary, including embedded systems, hardware acceleration, and real-time operating systems. Key areas include FPGA placement, real-time scheduling, and system-on-chip design. Teaching responsibilities span courses such as CS 137 (Programming Principles), CS 450 (Computer Architecture), and ECE 252 (Systems Programming and Concurrency). He has advised multiple students on topics including MPSoC scheduling and dynamically reconfigurable systems.

Giorgio C. Buttazzoمشاهده پروفایل

استاد

• Real-Time Systems
• Heterogeneous Computing
• Robotics
• +۴ مورد دیگر

Giorgio C. Buttazzo is a Full Professor of Computer Engineering at the Scuola Superiore Sant'Anna in Pisa, Italy, and founder/director of the RETIS Lab. His career includes roles at the University of Pavia and co-founding Evidence s.r.l. (a real-time embedded systems company). He holds an IEEE Fellowship (2012) and the IEEE TC RTS Outstanding Technical Contributions Award (2013). Education: Electronic Engineering (University of Pisa, 1985), Master in Computer Science (University of Pennsylvania, 1987), PhD in Computer Engineering (Scuola Superiore Sant'Anna, 1991). Affiliations: TeCIP Institute, RETIS Lab, and leadership roles in IEEE Technical Committees. Research focuses on real-time systems, robotics, and AI integration. He has authored 10 books, over 300 papers, and pioneered frameworks like the ERIKA/SHARK kernels. Current projects include RETICULATE, OPERAND, and NANCY (5G networks). Teaching includes Real-Time Systems, Neural Networks, and Jazz Guitar Improvisation. Advised over 150 master and PhD students. Active in conferences like ECRTS, RTSS, and RTAS.

Iain John Bateمشاهده پروفایل

مدرس

• Scheduling and Timing Analysis
• Real-Time Systems
• Systems Engineering
• +۴ مورد دیگر

Iain Bate is a Lecturer in Real-Time Systems and Head of the Department of Computer Science at the University of York. His research focuses on scheduling and timing analysis, systems engineering with optimization of design trade-offs, design assurance, component-based engineering, and managing emergent behavior, particularly in critical systems. University of York, Department of Computer Science Research areas: Real-Time Systems, Mixed-Criticality Scheduling, Multi-Core Architecture Departmental Roles: Head of Department, Research Group Lead (Real-Time Systems) His recent research explores cache-aware scheduling, fault tolerance, and resource stress management in multi-core environments. He has contributed to journals like Microprocessors and Microsystems as an editor and collaborated on projects funded by EPSRC and industry partners such as Rolls Royce. He actively supervises PhD students and leads research initiatives related to wireless sensor networks, task allocation, and system certification for critical applications.

Pontus Ekbergمشاهده پروفایل

دانشیار

• Algorithms
• Real-Time Scheduling Theory
• Computational Complexity
• +۳ مورد دیگر

Pontus Ekberg is an Associate Professor at Uppsala University's Department of Information Technology. His email address is pontus.ekberg@it.uu.se , and he can be reached at +46 18 471 73 41. He is affiliated with the Division of Computer Systems and holds the academic merit 'Docent' in real-time scheduling theory. Ekberg's research focuses on algorithms and computational problems in real-time scheduling theory. His work addresses NP-hardness in scheduling, fixed-priority algorithms, and formal verification of task feasibility. Current projects include applying pseudo-polynomial time analysis, combating butterfly attacks, and integrating deep learning for schedulability verification in safety-critical systems. His recent publications span topics like pseudo-polynomial time analysis (2025), optimistic period predictions (2024), and explainability in real-time schedulability (2023). He collaborates frequently with Sanjoy Baruah and others on uniprocessor and multiprocessor scheduling models. Although no formal awards are listed, his contributions to real-time scheduling theory are evident through 15+ publications in top conferences like RTSS and ECRTS.