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

Tianyi Zhangمشاهده پروفایل

استادیار

• Artificial Intelligence
• Machine Learning
• Natural Language Processing
• +۴ مورد دیگر

Tianyi Zhang is a Tenure-Track Assistant Professor in the Department of Computer Science at Purdue University, part of the College of Science. He leads the Human-Centered Software Systems Lab, focusing on AI-driven systems that synergize human expertise with machine intelligence to enhance programming productivity and software reliability. Prior to Purdue, he was a Postdoctoral Fellow at Harvard University under Dr. Elena Glassman and earned his Ph.D. from UCLA (2019) and B.Sc. from Huazhong University of Science and Technology (2013). Education: Ph.D. in Computer Science, University of California, Los Angeles (2019) Bachelor's in Computer Science, Huazhong University of Science and Technology (2013) Research Interests: His work spans Software Engineering, Human-Computer Interaction, and AI. Key areas include program synthesis, interactive debugging tools, autonomous driving system testing, and mitigating biases in AI models. He develops systems like Interpretable Program Synthesis and SQLucid to bridge human and machine intelligence. Recent Trends in Publications: Recent work emphasizes human-in-the-loop AI, including mixed-initiative systems for data wrangling (Dango), interactive program repair, and bias analysis in text representations (STILE). He also explores challenges in autonomous driving testing and LLM-based code generation errors. Awards & Grants: NSF Career Award (2024) Amazon Research Award Showalter Trust Research Award for pre-diabetes research $1.5M NSF grant for software supply chain security Best Paper Honorable Mentions at CHI and VAHC Advising & Teams: Supervises 12+ PhD/Master's students and 30+ research interns. Notable advisees include Bonan Kou (API misuse studies) and Yuan Tian (text-to-SQL systems). Collaborates with Harvard Medical School on healthcare data analysis. Labs & Initiatives: Directs Purdue's Human-Centered Software Systems Lab. Co-founded the Societal Impact Fellows program. Active in open-source projects like Examplore for API usage visualization and JShrink for Java debloating.

• Software Engineering
• Computer Systems
• Software Security
• +۱۱ مورد دیگر

Cristian Cadar is a Professor in the Department of Computing at Imperial College London, leading the Software Reliability Group . His research focuses on improving software reliability and security through practical techniques in software engineering, computer systems, and program analysis. Education: Ph.D. in Computer Science, Stanford University M.Eng. in Computer Science, MIT B.S. in Computer Science and Mathematics, MIT His research interests center on software engineering and software security , particularly symbolic execution , dynamic symbolic execution (DSE) , and multi-version execution . Current work explores techniques for scalability, constraint solving, and runtime security in software systems. Key trends in his recent articles include optimizing symbolic execution for testing, addressing path explosion in constraint-based test generation, and advancing multi-version execution for dynamic software updates. His publications also cover program analysis , automated testing , and formal methods for software reliability. Awarded prestigious honors such as the Humboldt Research Award (2024) , ERC Consolidator Grant (2018) , and IEEE New Directions Award (2022) . Other accolades include the BCS Roger Needham Award (2019) and SIGOPS Hall of Fame (2018) . Cadar supervises PhD and postdoctoral researchers in software reliability and security. His group has secured grants from the ERC and EPSRC , including a Consolidator Grant (2018) and Early-Career Fellowship (2013) . He actively contributes to conference organizing committees and editorial boards. The Software Reliability Group at Imperial College, led by Cadar, specializes in techniques like KLEE and EXE for automated testing. Their work has been adopted by industry partners such as Fujitsu, IBM, and Microsoft, particularly in runtime security tools like WIT .

Xugui Zhouمشاهده پروفایل

استادیار

• Cyber-Physical Systems
• Security
• Dependability
• +۷ مورد دیگر

Xugui Zhou is an Assistant Professor jointly appointed in the Department of Electrical and Computer Engineering and the Department of Computer Science at Louisiana State University (LSU). He holds a Ph.D. in Electrical and Computer Engineering from the University of Virginia (2024), where he worked under Prof. Homa Alemzadeh. Prior to his Ph.D., he earned an M.Eng in Control Science and Engineering and a B.Eng in Automation from Shandong University. Before joining UVA, he was a Senior Engineer at NR Research Institute, State Grid of China. His research focuses on the intersection of system dependability, security, and control theory, with applications in autonomous systems and healthcare. Key interests include engineering resilient autonomous vehicles, mitigating adversarial attacks on cyber-physical systems (CPS), and enhancing safety through formal methods and machine learning. He leads a research lab with openings for Ph.D. students and interns. Zhou is actively involved in academic service, serving on program committees for DSN'26, AsiaCCS'26, and ICCPS'25, among others. He also chairs workshops like DSML'25 and organizes conferences such as ICCPS'24. His recent awards include the UVA Engineering Endowed Graduate Fellowship (2023) and selection as a Rising Star in Cyber-Physical Systems (2023). His teaching includes courses like AI-Driven Autonomous Driving Systems and ML for CPS Security at LSU. He has extensive experience in teaching and research supervision, emphasizing hands-on projects and interdisciplinary collaboration.

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.

Henry Hoffmannمشاهده پروفایل

استاد

• Self-aware & Adaptive Computing
• Computer Systems
• Computer Architecture
• +۶ مورد دیگر

Henry Hoffmann is a Professor and Liew Family Chair in the Department of Computer Science at the University of Chicago. His research focuses on self-aware computing systems that adapt to meet goals like power efficiency, performance, and security. He leads the SEEC project and has contributed to advancements in computer architecture, embedded systems, and quantum computing. Hoffmann received the PECASE (2019), DOE Early Career Award (2015), and was inducted into the Samsung Hall of Fame for discovering vulnerabilities in SmartTVs. He holds a PhD from MIT (2013) and has co-founded Config Dynamics (2019). His work bridges control theory, machine learning, and traditional computer systems to create adaptive solutions for modern computing challenges. Education: PhD in Electrical Engineering and Computer Science from MIT (2013), SM (2003), and B.S. (1999) with highest honors from UNC Chapel Hill. Professional experience includes roles at Tilera Corporation and MIT Lincoln Laboratory. Research Interests: Self-aware systems, adaptive resource management, quantum computing optimization, and cybersecurity. His SEEC framework enables systems to autonomously adapt to constraints like energy and performance. Recent work explores applying adaptive techniques to AI/ML models for energy-efficient inference and security. Awards: Over $19M in research funding, 100+ publications, and leadership roles in NSF Expedition EPiQC (quantum computing). Named Chair of UChicago CS Department (2023-2024). Labs/Teams: Systems Group, EPiQC (quantum computing), and CERES (unstoppable computing systems). Current students include Jerry Ding and Ryien Hosseini. Notable alumni include Yi Ding (now faculty at Purdue) and Nikita Mishra.

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.

Jing Liمشاهده پروفایل

دانشیار

• Computer Architecture
• Compiler Design
• Distributed Systems
• +۷ مورد دیگر

Dr. Jing Li is an Associate Professor and Eduardo D. Glandt Faculty Fellow at the University of Pennsylvania , holding dual appointments in the Electrical and Systems Engineering and Computer and Information Science departments. As co-director of the CyberSavvy nationwide security research center and director of the Penn Computational Intelligence Lab (PennCIL) , she pioneers innovations in non-von Neumann computing paradigms. Her research spans post-CMOS technologies, in-memory computing, and hardware-software co-design for security and AI applications. PhD in Computer Engineering, Purdue University (2009) BSc in Electrical Engineering, Shanghai Jiaotong University (2004) Research Focus: Dr. Li's work addresses fundamental challenges in computer systems across the stack. Key areas include: In-Memory Computing: Liquid Silicon architecture combining RRAM with silicon CMOS through monolithic 3D integration Security Engineering: Transforming computer security from "Art" to formal "Engineering" discipline within CyberSavvy Virtualization: Cloud FPGA abstraction layers decoupling compilation from runtime resource management Graph Analytics: Degree-aware optimization techniques for massive-scale graph processing Deep Learning Systems: Roofline model extensions for FPGA-based CNN acceleration Scientific Impact: Awarded DARPA Young Faculty Award , NSF CAREER Award , and IBM CEO Milestone Award , her team has achieved world records in energy-efficient computing (ENIAD supercomputer). With 46 U.S. patents and over 80 publications, she leads ecosystem development for emerging computing architectures through initiatives like the open-source MEG simulation platform . Community Leadership: Dr. Li serves on program committees for flagship conferences ( ISCA , FPGA Symposium ), chairs the International Memory Workshop , and contributes to the MLsys conference's inaugural committee. She actively mentors through multiple PhD openings and industry collaborations.

Endadul Hoqueمشاهده پروفایل

استادیار

• Computer Networks Security
• IoT Systems Security
• Vulnerability Detection
• +۳ مورد دیگر

Endadul Hoque is an Assistant Professor in the Department of Electrical Engineering and Computer Science at Syracuse University (SU), leading the SYNE Lab. Previously, he held a similar position at Florida International University (FIU). He earned his Ph.D. in Computer Science from Purdue University in 2015, with postdoctoral research at Northeastern University. His research focuses on cybersecurity, particularly in automated vulnerability detection, network/system security, and IoT defense mechanisms. He draws on program analysis, formal verification, and fuzz testing. Key honors include the NSF CAREER Award (2024) and a Google Research Scholar Award (2022). His work has been published in top venues like ACM CCS, NDSS, and IEEE S&P. He actively seeks students for PhD/MSc positions in security, IoT, and program analysis. His grants include NSF funding for IoT policy enforcement and context-sensitive fuzzing. Education Ph.D., Computer Science, Purdue University, 2015 M.S., Computer Science, Marquette University, 2010 B.S., Computer Science and Engineering, Bangladesh University of Engineering and Technology, 2008 Research Interests Dr. Hoque’s work spans secure network systems, IoT security, vulnerability detection, and automated reasoning methods like SMT solving and symbolic execution. Recent innovations include VetIoT (runtime IoT defense validation) and LLM-driven security tools like iConPAL. He emphasizes practical defenses and user-centric security solutions, such as the SeQR enterprise Wi-Fi configurator. Awards NSF CAREER Award (2024) Google Research Scholar Award (2022) NDSS Distinguished Paper (2018) Grants & Service He leads NSF-funded projects on IoT policy enforcement and context-sensitive fuzzing. Served on program committees for S&P, SecDev, and DSN. Teaches courses on systems security and operating systems at SU and FIU. Lab/Team SYNE Lab at Syracuse University focuses on securing networked systems through automated analysis, runtime verification, and resilient protocols.

• Edge Computing
• Fog Computing
• Distributed Systems
• +۵ مورد دیگر

Umakishore Ramachandran is a Professor in the School of Computer Science within the College of Computing at Georgia Institute of Technology. His research spans edge computing, distributed systems, and real-time video analytics, with significant contributions to fog computing infrastructure, mobile systems, and sensor networks. Over a prolific 38-year career, he has authored 142 publications with major contributions in 2022-2025. His research interests focus on bridging the gap between cloud and edge computing, with pioneering work in video analytics systems like EVA and MicroEdge. He investigates resource optimization for latency-sensitive applications, developing novel approaches for load shedding, data management, and container runtime efficiency at the network edge. His work addresses fundamental challenges in distributed camera networks, autonomous vehicle systems, and real-time stream processing. Ramachandran's recent publications reveal a strong emphasis on practical edge computing solutions, with 75% of his 2021-2025 work focusing on video analytics and infrastructure optimization. His research shows increasing collaboration with industry partners while maintaining academic rigor, with publications appearing in top venues like SIGMOD, Middleware, and DEBS. The work consistently addresses real-world constraints of resource-constrained edge environments. Ramachandran has mentored numerous researchers who have become principal investigators on edge computing projects, with notable collaborators including Harshit Gupta, Enrique Saurez, and Zhuangdi Xu appearing as first authors on multiple papers. His work has received significant grant support for projects related to mobile fog computing and distributed video analytics. He leads research in the Edge Computing Laboratory at Georgia Tech, focusing on the development of practical frameworks for real-world deployment of edge infrastructure. Current projects include eCAV for connected autonomous vehicles and MicroEdge for multi-tenant camera processing systems.

• High-Performance Computing
• Reconfigurable Computing
• FPGA Acceleration
• +۷ مورد دیگر

Carlos Alvarez Martinez is a faculty member at the Universitat Politècnica de Catalunya (UPC), affiliated with the Department of Computer Architecture at the Barcelona School of Informatics (FIB). He is a key member of the Programming Models (PM) research group and collaborates closely with the Barcelona Supercomputing Center (BSC). His research focuses on high-performance computing, FPGA acceleration, task-based programming models like OmpSs, and hardware-software co-design for heterogeneous systems. His research interests center on advancing parallel computing through innovative programming models and hardware acceleration. He investigates efficient task scheduling, resource management in multicore and FPGA-based systems, and runtime support for dataflow models. His work enables high-performance execution of complex applications in domains such as scientific computing and cyber-physical systems. He actively contributes to European initiatives like TEXTAROSSA and AXIOM, aiming to develop next-generation exascale supercomputing technologies. The trend in his recent publications shows a strong focus on leveraging FPGAs for HPC, optimizing SpMV operations, improving task scheduling with hardware support, and developing frameworks for multi-FPGA clusters. His work consistently bridges theoretical models with practical implementations, emphasizing performance, scalability, and energy efficiency in heterogeneous computing environments. Scientific Awards: Premi UPC al Compromís Social 2019 Premi Disseny per al Reciclatge 2013 Alvarez Martinez has advised or collaborated with several doctoral students, including Jaume Bosch, Xubin Tan, and Fahimeh Yazdanpanah. He has been involved in numerous competitive R&D projects, often related to high-performance computing and parallel programming models. His work includes significant contributions to educational innovation, particularly in active learning methodologies and formative assessment using interactive systems. He leads and participates in research labs and teams focused on programming models and computer architecture, notably the PM group at UPC/BSC. These teams develop runtime systems, compilers, and hardware accelerators to push the boundaries of parallel computing efficiency and programmability.

• Reliability Engineering
• Hardware Security
• Low-Power Design
• +۴ مورد دیگر

Dr. Saqib Khursheed is an Assistant Professor in the Department of Electrical Engineering and Electronics at the University of Liverpool, UK. He holds a PhD in Electronics and Electrical Engineering from the University of Southampton (2010), where he later worked as a Senior Research Fellow on EPSRC-funded projects. His research focuses on reliability, testability, and hardware security of low-power/high-performance systems and 3D integrated circuits. He has served in leadership roles at major conferences such as IEEE DFT (General Co-Chair 2018) and ETS (Program Co-Chair 2017). Dr. Khursheed is a Senior Member of IEEE and Fellow of the Higher Education Academy. His professional activities include roles as Guest Editor for IEEE Design & Test (2016) and IET Computers & Digital Techniques (2018). He currently chairs the Examinations Officer committee in his department and serves on multiple university-level committees (Senate Progress, Quality Assurance). He has organized workshops like the Friday Workshop on 3D Integration (2012-2015) and reviews for top-tier journals/conferences in his field. Dr. Khursheed’s funded projects include the eFutures Sandpit Award (2018) for secure microelectronics design. His teaching responsibilities include coordinating modules like Advanced Low Power Computer Architecture (ELEC470) and Digital Electronics & Microprocessor Systems (ELEC211). His research has led to innovations in hardware security (e.g., PCB Trojan detection via machine learning), age estimation of ICs, and fault tolerance in 3D ICs.

Kenneth Rossمشاهده پروفایل

استاد

• Database Systems
• Query Processing
• Query Language Design
• +۷ مورد دیگر

Kenneth Ross is a Professor in the Computer Science Department at Columbia University in New York City. His primary appointment is within the Department of Computer Science, with affiliations including the Foundations of Data Science Committee. His work bridges theoretical database research and practical system implementation. His research focuses on database systems with particular expertise in query processing, query language design, data warehousing, and architecture-sensitive database system design. Additional research spans computational biology, especially analysis of large genomic data sets. Current projects include Linear Algebra Operators in Databases for machine learning workloads and Repeats and Somatic Mutation analysis in genomics. His work consistently addresses the intersection of hardware capabilities and database system design. Ross leads the Database Research Lab at Columbia, which has produced significant work on query optimization, GPU database processing, and hardware-conscious database systems. His recent publications demonstrate strong focus on adapting database systems to modern hardware including GPUs, SIMD processors, and persistent memory. His scientific recognition includes: Packard Foundation Fellowship Sloan Foundation Fellowship NSF Young Investigator Award Distinguished Faculty Teaching Award (2008) Ross actively advises undergraduate engineering students (juniors with last names P-Z) and has taught foundational courses including Introduction to Databases and Programming and Problem Solving for over two decades. His teaching portfolio shows consistent engagement with both theoretical concepts and practical implementation challenges in computer science education.

Cyrille Arthoمشاهده پروفایل

دانشیار

• Software Engineering
• Formal Methods
• Cybersecurity
• +۵ مورد دیگر

Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH

Chang Louمشاهده پروفایل

استادیار

• Distributed Systems
• Operating Systems
• Cloud Computing
• +۴ مورد دیگر

Chang Lou is an Assistant Professor in the Department of Computer Science at the University of Virginia. His research focuses on distributed systems, operating systems, and cloud computing, emphasizing runtime assurance and failure detection. He leads LiftLab, a reading group exploring cutting-edge system research. Education : Ph.D., Computer Science, Johns Hopkins University (2023); B.S., Computer Science, Shanghai Jiao Tong University (2016). Research : Develops techniques to improve system reliability, including silent failure detection, memory leak mitigation, and formal verification. His work has been deployed at Microsoft Azure and recognized with awards like NSDI Best Paper (2020). Teaching : Offers courses like CS4740 (Cloud Computing) and CS6501 (Cloud System Reliability). Awards : NSF CAREER Award (2024), ACM SIGOPS Dissertation Honorable Mention (2023), Google Cloud Grant (2023). Service : Serves on program committees for NSDI, EuroSys, and SOSP. Co-organizes workshops like SIGCOMM Formal Methods x Networks.

David Basinمشاهده پروفایل

استاد

• Information Security
• Formal Methods
• Cryptography
• +۳ مورد دیگر

David Basin is a Full Professor at the Department of Computer Science, ETH Zurich, and heads the Information Security Group. He has held academic positions since 2003, including roles at the University of Freiburg (1997–2002) and the Max-Planck-Institut für Informatik (1992–1997). His research focuses on Information Security, including methods and tools for secure systems, formal verification, and cryptographic protocols. He is Editor-in-Chief of the ACM Transactions on Privacy and Security and Springer's Information Security and Cryptography book series. Basin founded the Zurich Information Security Center (ZISC) in 2003 and led it until 2011. Education: B.Sc. in Mathematics (Reed College, 1984), Ph.D. (Cornell University, 1989), and Habilitation (University of Saarbrücken, 1996). Research interests span formal methods for security protocol verification, privacy-preserving systems, and cryptographic implementations. He has contributed to foundational work on security protocols, including the Tamarin verification framework. His work addresses real-world systems like payment protocols (EMV), DNS security, and database isolation guarantees. Awards: ACM Fellow (2018) for contributions to Information Security and Formal Methods, IEEE Fellow. He has organized numerous conferences, including IEEE S&P, Euro S&P, and ACM CCS. Labs/Teams: Leads the Information Security Group at ETH Zurich and co-founded Anapaya Systems, a startup focused on network security solutions. His team develops tools like VeriMon (formally verified monitoring) and Tamarin for protocol analysis.