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

Amitabha Bagchiمشاهده پروفایل

استاد

• Data Algorithmics
• Probability and Networks
• Theoretical Computer Science
• +۷ مورد دیگر

Amitabha Bagchi is a Professor in the Department of Computer Science and Engineering at IIT Delhi. His research spans data algorithmics, probability, networks, and theoretical computer science, with applications in distributed systems, social networks, and AI-driven platforms. He has published extensively in leading venues such as SIGMOD, VLDB, ICDE, AAAI, and KDD, often collaborating with students and researchers on problems involving graph algorithms, fairness, and large-scale data analysis. Research Interests: His primary research interests include Data Algorithmics, Probability and Networks, Theoretical Computer Science, Distributed Algorithms, Graph Algorithms, and Machine Learning Theory. He investigates algorithmic foundations for real-world problems such as food delivery optimization, social network analysis, and efficient data structures for streaming and large graphs. Publication Trends: Recent publications focus on fairness in gig economy platforms, efficient solvers for graph Laplacians, generalization in neural networks, and temporal graph querying. His work combines theoretical rigor with practical impact, often involving GPU acceleration, distributed computing, and data-aware algorithm design. Scientific Service: Editor, Algorithms (2020–present) Editor, Journal of Discrete Algorithms , Elsevier (2006–2018) Guest Editor, special issue on Algorithms for Shortest Paths in Dynamic and Evolving Networks , Algorithms (2021) Volume Editor for proceedings of ESA, ATMOS, COCOON, and others Conference Leadership: He has served on numerous program committees and as chair for conferences including ESA (Engineering Track, 2016), ATMOS (2020), and ICALP (2019). His involvement spans algorithmic engineering, transportation optimization, and theoretical computer science forums. Teaching: He currently teaches COL863: Special Topics in Theoretical Computer Science on concentration inequalities and their applications. He has previously taught advanced courses in algorithms and data structures.

• Distributed Systems
• Cryptocurrencies
• Computer Security
• +۷ مورد دیگر

David Mazières is a Professor at Stanford University , affiliated with the School of Engineering and the Department of Computer Science . He serves as a software engineer at the Stellar Development Foundation . His work bridges academic research and industry applications in distributed systems and security. University: Stanford University Academic Rank: Professor Email: dm@scs.stanford.edu Research Interests: David Mazières' research focuses on distributed systems , cryptocurrencies , and computer security . Key areas include consensus protocols (e.g., Stellar ), low-latency scheduling ( Syrup , Shinjuku ), and cryptographic techniques for privacy and security ( SafetyPin , CCFI ). Key Achievements: His notable works include: TCP-ENO (RFC 8547) for secure transport protocols Stellar Consensus Protocol for decentralized finance SOSP 1999 Best Paper for 'Separating key management from file system security' Teaching Contributions: He has taught core and advanced courses at Stanford since 2005, including CS212 (Operating Systems) , CS240h (Functional Systems in Haskell) , and CS251 (Cryptocurrencies and Blockchain Technologies) . Previously taught courses at NYU (2001-2005).

Hyesoon Kimمشاهده پروفایل

استاد

• Computer Architecture
• GPU
• Compilers and Runtime Systems
• +۳ مورد دیگر

Hyesoon Kim is a Professor at the Georgia Institute of Technology , affiliated with the College of Computing and leading the HPArch research group . She co-directs the Center for Research into Novel Computing Hierarchies (CRNCH) . Her research focuses on Computer Architecture , GPU , Compilers and Runtime Systems , and Hardware Security , particularly for heterogeneous systems. Contact : hyesoon@cc.gatech.edu Location : 266 Ferst Drive, KACB 2344, Atlanta, GA Research Trends Her recent work spans RISC-V extensions for security, CUDA optimization on softcore GPUs, memory safety techniques, and energy-efficient deep learning architectures. Articles emphasize heterogeneous computing , GPU performance scaling, and IoT -oriented neural network methods. Open Source Projects She leads development of Macsim (heterogeneous architecture simulator) and Vortex (open-source GPU platform).

Yannis Chronisمشاهده پروفایل

استادیار

• Database Systems
• Hardware-Software Co-design
• Data Processing Efficiency
• +۳ مورد دیگر

Yannis Chronis is an incoming Assistant Professor at the Department of Computer Science , ETH Zurich (starting August 2025), where he will join the ETH Systems Group . Prior to this, he spent 3 years as a Systems Researcher at Google's Systems Research Group in Sunnyvale, USA. He holds a Ph.D. in Computer Science from the University of Wisconsin-Madison (advised by Prof. Jignesh Patel) and a Bachelor's/Master's from the University of Athens, Greece (advised by Prof. Yannis Ioannidis). His research focuses on optimizing databases and data processing for modern hardware through software-hardware co-design. Key areas include database efficiency in memory-centric architectures, learned query optimizers, and cloud resource management. His work is supported by a Facebook Fellowship and has been recognized with the EDBT 2016 Medal for best paper. Teaching: Taught CS 564 - Database Management Systems at UW-Madison (Spring 2022). Service: Served on program committees for SIGMOD, VLDB, CIDR, and others, and chairs the CIDR Proceedings Committee. Key Publications: His recent work includes studies on memory-centric computing for databases, cardinality estimation benchmarks, and adaptive query processing techniques.

Fred B. Schneiderمشاهده پروفایل

استاد

• Trustworthy Systems
• Fault-Tolerant Distributed Systems
• System Security
• +۶ مورد دیگر

Fred B. Schneider is the Samuel B. Eckert Professor of Computer Science at Cornell University , where he has been a faculty member since 1978. His career spans foundational work in trustworthy systems , fault-tolerant distributed systems , and system security . He served as department chair from 2014–2018 and previously earned a B.S. in Engineering from Cornell (1975) and a Ph.D. in Computer Science from Stony Brook University (1978).

Vijay Kumarمشاهده پروفایل

استاد

• Robotics
• Multi-Robot Systems
• Micro Aerial Vehicles
• +۶ مورد دیگر

Vijay Kumar is the Nemirovsky Family Dean of Penn Engineering at the University of Pennsylvania, with faculty appointments in the Departments of Mechanical Engineering, Computer and Information Science, and Electrical and Systems Engineering. He is a leading figure in robotics and computer architecture research. Research Interests include robotics, particularly multi-robot systems and micro aerial vehicles (MAVs), as well as computer architecture innovations for machine learning, GPU acceleration, and datacenter efficiency. His work spans theoretical foundations and practical applications in autonomous systems and hardware optimization. Scientific Awards include: 1991 NSF Presidential Young Investigator Award 1996 Lindback Award for Distinguished Teaching 2012 ASME Mechanisms and Robotics Award 2014 Engelberger Robotics Award 2017 IEEE George Saridis Leadership Award Multiple best paper awards at DARS, ICRA, and RSS conferences Editorial Leadership includes serving as Editor of the ASME Journal of Mechanisms and Robotics and Advisory Board Member of AAAS Science Robotics Journal . His GRASP Lab team developed foundational frameworks for micro UAV testbeds and swarm robotics.

Mithuna S. Thottethodiمشاهده پروفایل

استاد

• Computer Architecture
• Interconnection Networks
• Distributed Systems
• +۷ مورد دیگر

Mithuna S. Thottethodi is a Professor and Interim Associate Head of Teaching and Learning at the Elmore Family School of Electrical and Computer Engineering at Purdue University. He holds a B.Tech. from the Indian Institute of Technology, Kharagpur (1996), and a Ph.D. in Computer Science from Duke University (2002). His research focuses on computer architecture, interconnection networks, distributed systems, and security, with notable work on sparse tensor accelerators and processing-near-memory architectures. His work has been funded by the NSF, AT&T, and SK Hynix. Research interests include security, interconnection networks in multicores, storage performance optimization, and memory hierarchies. Notable contributions span hardware accelerators for machine learning, secure speculative execution, and datacenter network congestion control. He has advised over 20 graduate students, many of whom have joined top tech firms like Google, Microsoft, and Intel. Awards: NSF CAREER Award (2007) Wilfred Hesselberth Teaching Excellence Award (2021) Multiple Eta Kappa Nu Outstanding Professor Awards Teaching includes undergraduate courses like EE 437 (Computer Design) and graduate courses such as ECE 666 (Advanced Computer Architecture). He also advises VIP and EPICS student teams.

Kyle C. Haleمشاهده پروفایل

دانشیار

• Operating Systems
• High-Performance Computing
• Computer Architecture
• +۴ مورد دیگر

Kyle C. Hale is an Associate Professor at Oregon State University's School of Electrical Engineering and Computer Science (College of Engineering). He holds a Ph.D. and M.S. from Northwestern University (2016, 2013) and a B.S. in Computer Science from UT Austin (2010). Prior to joining Oregon State in 2024, he served as an Associate Professor at Illinois Tech in Chicago. His research spans operating systems, high-performance computing (HPC), virtualization, computer architecture, and system security. Current work focuses on specialized system software stacks for emerging computing paradigms like memory disaggregation and parallelism optimization. He leads the HExSA Lab and collaborates with the HiPCastor group. Scientific Awards: NSF CAREER Award (2023-2028) Illinois Tech College of Computing Excellence in Research (2023) Illinois Tech College of Computing Excellence in Teaching (2021) Illinois Tech Department of Computer Science Teacher of the Year (2020) EuroSys '22 Best Artifact Award Recent Research Trends: His publications emphasize compiler techniques for memory-disaggregated systems, optimizing parallel runtimes through hardware-software integration, virtualization at fine granularities, and accelerating machine learning workloads via system-level innovations. Keywords include HPC, virtualization, parallelism, and secure execution contexts. Teaching: Courses taught include Computer Architecture (CS/ECE 472), System Security (CSP 544), Operating Systems (CS 450), and advanced topics in serverless/edge computing. He actively recruits PhD students to the HExSA Lab.

Mehmet Esat Belviranliمشاهده پروفایل

استادیار

• Heterogeneous Architectures
• Runtime Systems
• Performance Modeling
• +۵ مورد دیگر

Mehmet Esat Belviranli is an Assistant Professor in the Computer Science Department at the Colorado School of Mines, where he directs the High Performance Systems and Software Lab (HyperSys). His research focuses on increasing resource utilization in heterogeneous architectures through runtime systems, scheduling algorithms, and performance modeling, with publications in top venues including MICRO, PPoPP, and SC. Education: Ph.D. in Computer Science, University of California, Riverside (2016) M.S. in Computer Science, Bilkent University (2009) B.S. in Computer Science, Bilkent University (2006) Belviranli's research spans heterogeneous architectures, runtime systems, performance modeling, parallel programming, autonomous computing, deep learning acceleration, cyber-physical systems, and edge-cloud platforms. His work develops analytical models and programming abstractions to address resource management, scheduling, and security challenges in diversely heterogeneous systems, with applications in edge computing, autonomous systems, and machine learning acceleration. Recent projects emphasize real-world constraints and security implications. His publication trends reveal increasing focus on edge-cloud resource management (e.g., HARNESS), security vulnerabilities in heterogeneous systems (e.g., MC3), and deep learning acceleration under resource constraints. Key themes include memory contention modeling, scheduling for cyber-physical systems, and concurrent DNN execution, reflecting a shift toward practical deployment in security-sensitive edge environments. Scientific Awards: U.S. Air Force Research Lab Summer Faculty Fellowship Award (2022) U.S. Air Force Research Lab Summer Faculty Fellowship Award (2021) Oak Ridge National Laboratory Significant Event Award (2019) Best Paper Finalist, IEEE HPEC 2018 Outstanding Paper Award, DATE 2024 Belviranli mentors Ph.D. students Ismet Dagli (MLCommons Rising Star 2024, CGO'24 SRC finalist) and Justin Davis (DATE'24 Outstanding Paper Award winner). He has secured $2M+ in funding from NSF, DoE, and SRC, including an NSF-SaTC grant on mobile security (2024), a DoE grant on superconductive systems (2023), and an NSF FuSe grant on graphene nanoribbons (2023), often leading multi-institutional teams from Rochester, Virginia, Arizona, and Minnesota. The HyperSys Lab develops ecosystems for high-performance heterogeneous systems, with recent projects including HARNESS for edge-cloud resource management and MC3 for mobile SoC security. The lab has received equipment donations from Google Coral.ai and Xilinx, and collaborates with national labs on security challenges and next-generation semiconductor technologies.

Gene Coopermanمشاهده پروفایل

استاد

• High-Performance Computing
• Computer Systems
• Transparent Checkpointing
• +۴ مورد دیگر

Gene Cooperman is a Professor at the Khoury College of Computer Sciences at Northeastern University, with an affiliation in the College of Engineering. His research focuses on high-performance computing (HPC), transparent checkpoint-restart systems, and model checking. He leads the High Performance Computing Laboratory, where he explores checkpointing technologies like DMTCP, MANA for MPI, and CRAC for CUDA, aiming to enhance HPC workflows on supercomputers such as NERSC's Perlmutter. His work bridges distributed computing, parallel algorithms, and system software to address challenges in fault tolerance, scalability, and resource management. Cooperman has advised 10 PhD students and co-authored over 125 refereed publications, contributing to projects like Geant4-MultiThreaded and Roomy for disk-based computation. His teaching includes courses on computer systems and HPC seminars. Education: Background in computational algebra and parallel computing, transitioning to HPC systems and checkpointing. Research Themes: Transparent checkpointing, MPI agnostic solutions, CUDA integration, and HPC resource optimization. Recent articles emphasize MPI checkpointing, reversible debugging (FReD), and CUDA support, reflecting trends in distributed and GPU-accelerated systems. His grants include NSF, NERSC/DOE, and MemVerge funding. Cooperman collaborates with institutions like CERN and NERSC, advancing applications in particle physics simulations and supercomputing. Current students include Aayushi Gautam, Jiajun Cao, Rohan Garg, and Twinkle Jain.

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.

Henry F. (Hank) Korthمشاهده پروفایل

استاد

• Database Systems
• Blockchain Systems
• Distributed Systems
• +۷ مورد دیگر

Henry F. (Hank) Korth is a Professor of Computer Science and Engineering at Lehigh University, with a courtesy appointment in the Department of Decision and Technology Analytics in the College of Business. He serves as Director of the Blockchain Lab in the Center for Financial Services and Co-Director of the Computer Science and Business Program. Korth is a Fellow of the ACM and IEEE, and a recipient of the VLDB 10-Year Award and Bell Labs President's Silver Award for contributions to database technologies. PhD in Computer Science from Princeton University MA, MSE in Computer Science from Princeton University BA in Mathematics from Williams College Korth's research spans database systems, blockchain systems, distributed systems, and real-time systems. He has pioneered transaction management in parallel and distributed systems, query processing, and the impact of modern computing architectures on database performance. His recent work focuses on blockchain applications in enterprise databases, including acceleration of zero-knowledge proofs, benchmarking frameworks, central-bank digital currencies, and private-yet-provable accounting systems. His contributions are rooted in both theoretical advancements and practical implementations, such as the QTM™ aggregation engine and the DataBlitz™ main-memory storage manager. Scientific awards include: ACM Fellow IEEE Fellow 10-Year Award at the VLDB Conference Bell Labs President's Silver Award Korth actively supervises research within the Blockchain Lab and is affiliated with the Scalable Software Systems Research Group at Lehigh. His scholarly output reflects a deep engagement with blockchain benchmarking, concurrency control, verifiable databases, and the evolution of database systems in response to technological shifts.

Kunal Agrawalمشاهده پروفایل

استاد

• Parallel Computing
• Algorithms Design
• Runtime Systems
• +۳ مورد دیگر

Kunal Agrawal is a Professor in the Department of Computer Science & Engineering at the McKelvey School of Engineering, Washington University in St. Louis. She holds a PhD from MIT (2009), an MS from the National University of Singapore (2002), and a BE from Mumbai University (2001). Her research focuses on parallel computing, runtime systems for parallel programming, scheduling, transactional memory, and cache-aware/streaming algorithms. She joined WashU in 2009 after working with MIT's Supercomputing Technologies Group. Her 2012 NSF CAREER Award supports developing concurrency platforms for high-throughput parallel programs. Collaborative projects include enhancing atmospheric simulation software (GEOS-Chem) and studying novel computer memory properties. She also contributed to an NSF-funded study on interactive parallel applications. Her lab explores foundational challenges in parallel system design. Lab Website: Link Google Scholar Profile: Link Research emphasizes bridging theoretical guarantees with practical efficiency in parallel systems, addressing scalability and resource management in real-time environments.

Immanuel Trummerمشاهده پروفایل

استاد

• Database Systems
• Query Optimization
• Large Language Models
• +۳ مورد دیگر

Immanuel Trummer is a Professor of Computer Science at Cornell University, specializing in database systems, query optimization, and applications of large language models (LLMs) and quantum computing. He leads research projects such as DB-BERT, UDO, and SkinnerDB, focusing on automated database tuning, adaptive query processing, and leveraging LLMs for code synthesis and system optimization. His research interests span quantum computing for database optimization, cost-efficient LLM utilization, and voice-based data exploration. Key contributions include developing systems like CEDAR for claim verification, CodexDB for LLM-driven code generation, and ThalamusDB for multimodal data querying. Trummer has received prestigious awards, including the NSF CAREER Award (2023-2028) and the Best Demonstration Award at BDA 2020. His work has been funded by NSF, Google, Huawei, and others, supporting projects like quantum-index selection and misinformation detection. He advises graduate students in database systems and teaches advanced courses such as CS 6320 (Advanced Database Systems) and CS 7390 (Seminar in Database Systems). His research lab hosts open-source tools like JoinGym and maintains extensive collaborations in industry and academia.

Abraham Silberschatzمشاهده پروفایل

استاد

• Database Systems
• Operating Systems
• Storage Systems
• +۳ مورد دیگر

Abraham Silberschatz is the Sidney J. Weinberg Professor of Computer Science at Yale University. He previously served as Vice President of the Information Sciences Research Center at Bell Laboratories and held a chaired professorship at the University of Texas at Austin. His research focuses on database systems, operating systems, and network management. Silberschatz has advised over a dozen PhD students, many now in academia and industry. Education: Ph.D., Computer Science, Stony Brook University (SUNY) Research Interests: His work spans database systems, operating systems, storage systems, and network management. Notable contributions include foundational textbooks like Operating System Concepts and Database System Concepts , which have become industry standards. He has also developed innovative systems like DataPlay and contributed to projects such as NetInventory. Publications: His 15+ years of research include influential papers on database architecture, network routing, and distributed systems. Recent work explores leveraging non-volatile memory technologies in systems design. Awards: ACM Karl V. Karlstrom Outstanding Educator Award (1998) IEEE Taylor L. Booth Education Award (2002) VLDB Test of Time Award (2019) Multiple Bell Laboratories President's Awards for innovation Grants & Patents: Recipient of over two dozen grants and over four dozen patents, including foundational IP in multimedia storage and distributed systems. His team's HadoopDB project merged MapReduce and DBMS technologies. Labs/Teams: Collaborates with Prof. Robert Soulé on projects in database systems and networking, focusing on next-gen memory technologies. Active in mentoring graduate students and postdocs in their research group.