Find Academic Supervisors

Yonghwi KwonView profile

Visiting Assistant Professor

• Software Systems Security
• Cyber Forensics
• Software Engineering
• +3 more

Yonghwi Kwon is a Visiting Assistant Professor in the Department of Computer Science at the University of Virginia. His research focuses on software systems security, cyber forensics, and software engineering. He received the CAREER Award for developing dynamic defenses against cyber threats. His work emphasizes securing software from cyber attacks, recovering forensic evidence, and improving software testing and reverse engineering techniques. Key research areas include memory safety mechanisms, automated vulnerability detection in web applications and mobile systems, and forensic analysis of phishing campaigns. He has pioneered frameworks like CMASan for memory allocator-aware sanitization and Racedb for detecting race conditions in database-backed systems. His contributions span cloud security automation, kernel exploitation analysis, and embedded system fuzzing. Notable achievements include the 2025 CAREER Award supporting his dynamic defense research, and impactful publications in areas like Android information leakage detection (DryJIN), Bluetooth protocol fuzzing (BTFuzzer), and autonomous driving bug discovery (Drivefuzz). His work bridges theoretical computer science with practical cybersecurity solutions.

Marat I. LatypovView profile

Assistant Professor

• Materials Science
• Computational Materials Science
• Materials Informatics
• +4 more

Marat I. Latypov serves as Assistant Professor in the Department of Materials Science and Engineering at the University of Arizona's College of Engineering. He is also a member of the Applied Mathematics Graduate Interdisciplinary Program and leads the Materials Informatics Lab. His research spans computational materials science, sustainable alloy design, and machine learning applications for materials development. Dr. Latypov holds a PhD in Materials Science and Engineering from Pohang University of Science and Technology (POSTECH, South Korea, 2014) and a Dipl.-Ing. in Engineering Physics from Ufa State Aviation Technical University (Russia, 2011). His postdoctoral training included appointments at Georgia Tech/CNRS in France and the University of California, Santa Barbara. His research focuses on materials informatics , physics-informed machine learning , and sustainable structural alloys . Key methodologies include graph neural networks for polycrystal mechanics, vision transformers for microstructure representation, and adaptive experimental design for materials optimization. Recent work emphasizes circular economy applications through construction waste recycling and copper mine tailings valorization. Analysis of his publication record reveals strong emphasis on computational microstructure-property linkages (35% of recent work), machine learning for materials design (30%), and sustainable materials processing (25%), with growing integration of large language models for materials knowledge extraction. NSF CAREER Award (2025) : For damage control in recycled aluminum alloys ISTI Distinguished Faculty Scholar (2024) : At Los Alamos National Laboratory Novelis Hackathon First Prize (2021) : Computer vision application Acta Materialia Outstanding Reviewer (2018) Young Researcher Award (2017) : NanoSPD7 Conference Dr. Latypov advises PhD students including Herbold Fellow Zhuocheng Huang and leads projects funded by NSF and the Grantham Foundation. Current initiatives include chalcopyrite leaching optimization for copper mining and graph neural network development for fatigue prediction. His Materials Informatics Lab maintains collaborations with Los Alamos National Laboratory, MIT, and industry partners including Novelis. The lab operates at the intersection of metallurgy , machine learning , and high-performance computing , with capabilities spanning deep learning, Bayesian inference, and cloud-based computational infrastructure. Recent news highlights participation in CODAS-HEP summer school and publication of vision transformer work in Acta Materialia.

Timothy M. JonesView profile

Professor

• Computer Architecture
• Compilers
• Microarchitecture
• +5 more

Timothy M. Jones is a Professor of Computer Architecture and Compilation at the University of Cambridge's Computer Laboratory, serving as Director of the Computer Architecture and Semiconductor Design Centre (CASCADE) and Fellow/Director of Studies at Gonville and Caius College. His research focuses on parallelism extraction in applications to enhance performance and address energy efficiency/reliability challenges in compilers, binary translators, and microarchitectures. Current work includes novel cache prefetching techniques, thread-level parallelism schemes, and advanced core prediction methods. He has an Erdős number of 4 and a Dijkstra number of 4 via collaborative networks. Research interests span computer architecture fundamentals, compiler optimizations, hardware security mechanisms, and fault tolerance strategies. Notable contributions include speculative vectorization, heterogeneous parallel error detection (MEEK/FireGuard), and security tools like MarkUs and MineSweeper. CASCADE oversees interdisciplinary projects addressing future microprocessor/system challenges. Jones supervises PhD students through CASCADE's 2025 intake program. Publications emphasize architectural innovations in memory systems, security, and energy efficiency. Key works include MASCOT (memory dependence prediction), Scalar Vector Runahead (2024), and Decoupled Vector Runahead (2023). His work integrates hardware-software co-design principles to tackle real-world processor bottlenecks.

• computer security
• formal methods
• program logics
• +3 more

Mads Dam is a Professor in Teleinformatics at the School of Computer Science and Communication at Kungliga Tekniska Högskolan (KTH), where he heads the Department of Theoretical Computer Science. His research focuses on computer security, formal methods, and program logics, with particular emphasis on the formal modeling and verification of low-level hardware and software execution platforms for security and application isolation. His educational background includes: PhD in Computer Science from the University of Edinburgh (1990) MSc in Computer Engineering from Aalborg University, Denmark BSc in Information Technology from Aalborg University, Denmark Mads Dam's research interests center on computer security, formal methods, and program logics. His current work focuses on the formal modeling and verification of low-level hardware and software execution platforms such as hypervisors and OS kernels and their underlying hardware. He has made significant contributions to information flow security, verification of microarchitectural systems, and network programming language security. His research bridges theoretical foundations with practical security applications. His recent publications show a strong trend toward verifying low-level systems, with a focus on information flow security for processors, network programming languages (particularly P4), and microarchitectural vulnerabilities. His work combines formal methods with practical security concerns, developing verification techniques that address real-world security challenges in hardware and software systems. The research spans theoretical foundations in temporal and epistemic logics to practical applications in network security and processor verification. His scientific awards and recognition include: Two framework grants from the Swedish Foundation for Strategic Research A junior individual grant from the Swedish Foundation for Strategic Research Project grants and a five-year research fellowship from the Swedish Research Council (VR) Project grants from Ericsson, Microsoft Research, US Air Force, and Vinnova (the Swedish Innovation Agency) Mads Dam has been a principal investigator on numerous research projects and has supervised many graduate students. He has been a partner in several European projects including HATS, S3MS, VerifiCard, LOMAPS, and UaESMC. His research has been supported by substantial grants from major funding bodies, reflecting the significance and impact of his work in computer security and formal methods. He is a founding member of several research centers at KTH, including Access, the CASTOR software research center, and the CDIS center for cyber defense and information security. These centers bring together researchers from multiple disciplines to address complex challenges in cybersecurity and software engineering.

Yihan SunView profile

Assistant Professor

• Parallel Computing
• Algorithms
• Data Structures
• +12 more

Yihan Sun is an Assistant Professor at the University of California, Riverside (UCR) since January 2020. He earned his Ph.D. in Computer Science from Carnegie Mellon University (CMU) , advised by Guy Blelloch , and holds a Bachelor's degree in Computer Science from Tsinghua University . Research Interests: Yihan Sun focuses on the theory and practice of parallel computing , including Parallel algorithms and data structures Write-efficient algorithms for Non-Volatile Memory (NVM) Computational geometry (range trees, Delaunay triangulations) Graph algorithms (SSSP, SCC, cluster-based BFS) Concurrent and persistent data structures Multi-version concurrency control (MVCC) with garbage collection Applications in databases, transactional systems, and computational biology Recent Research Trends: His work on join-based parallel balanced trees has been foundational, supporting four balancing schemes (AVL, red-black, weight-balanced, treaps) and enabling efficient implementations in graph analytics, spatial queries, and dynamic programming. Recent publications focus on output-sensitive algorithms , scalable graph libraries (PASGAL) , and pedagogical approaches to teaching parallel algorithms. Teaching: He teaches CS260 (Parallel Algorithms) at UCR and has served as a guest lecturer for MIT 6.886 (Algorithm Engineering) and CMU 15-859 (Algorithms in the real world) . He also contributed to algorithm education through a tutorial at the ACM Symposium on Principles and Practice of Parallel Programming (PPoPP 2019) . Labs & Collaborations: Yihan is a core contributor to the PAM (Parallel Augmented Maps) library, which has been integrated into systems like Aspen (graph-streaming) and C-trees . He collaborates with teams at CMU-Parlay , PBBS , and Ligra , with his code available on Github for community feedback.

Saman AmarasingheView profile

Professor

• Programming Languages
• Compilers
• Domain-Specific Languages
• +7 more

Professor Saman Amarasinghe is a full Professor in the Department of Electrical Engineering and Computer Science (EECS) at the Massachusetts Institute of Technology (MIT), and Principal Investigator at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). He leads the Commit compiler research group, which focuses on programming languages and compilers that maximize application performance on modern computing platforms. His work spans multiple academic departments and research centers, with strong affiliations to both MIT's School of Engineering and CSAIL. Professor Amarasinghe's research interests center around high-performance domain-specific languages and compiler technology . His work combines language design with sophisticated compilation techniques to deliver unprecedented performance for targeted application domains. His research spans multiple areas including image processing (Halide), sparse tensor algebra (TACO), graph analytics (GraphIt), stream computations (StreamIt), and bioinformatics (Seq). A significant thread throughout his work is the application of machine learning for compiler optimizations, from Meta optimization in 2003 to the OpenTuner autotuner framework. Analysis of Professor Amarasinghe's recent publications reveals a strong focus on sparse computing , compiler vectorization , and domain-specific language implementation . His work consistently bridges theoretical compiler concepts with practical performance gains across diverse application domains. The progression from earlier work on StreamIt and Halide to more recent projects like GraphIt and TACO shows an evolution toward more specialized, high-performance DSLs targeting specific computational patterns. His 2020-2025 publications particularly emphasize sparse tensor operations, GPU acceleration, and machine learning integration with compiler technology. ACM Fellow (2019) Professor Amarasinghe has made significant contributions to academic entrepreneurship and student development. He founded Determina, Inc. (acquired by VMware) based on security research from his MIT lab and co-founded Lanka Internet Services, Ltd., Sri Lanka's first ISP. As faculty director of MIT Global Startup Labs, his programs across 17 countries have helped create over 20 successful startups. His teaching includes the popular Performance Engineering of Software Systems (6.172) course with Professor Charles Leiserson, as well as innovative project-based courses like the Open Source Software Project Lab and Bring Your Own Software Project Lab. His educational approach emphasizes hands-on experience with compiler and language design concepts. Professor Amarasinghe leads the Commit compiler research group at MIT CSAIL, which has produced numerous influential domain-specific languages and compilers including Halide, TACO, Simit, StreamIt, and GraphIt. The lab maintains strong industry connections through projects like OpenTuner and Determina, and collaborates with researchers worldwide on compiler technology. The group's work spans both theoretical compiler research and practical implementation, with a consistent focus on bridging the performance gap between high-level programming abstractions and hardware capabilities.

Ahmed HemaniView profile

Professor

• Computer Engineering
• Embedded Systems
• Hardware Acceleration
• +5 more

Professor Ahmed Hemani is a faculty member at the Division of Electronics and Embedded Systems, KTH Royal Institute of Technology, affiliated with the Digital Futures Faculty. He holds the role of PI for the project 'New Chip Architectures for Industrial Vision' and leads research in reconfigurable computing, memristor-based systems, and hardware acceleration for AI and edge computing. His work bridges theoretical computer science with practical VLSI design and embedded systems development. He actively contributes to cross-disciplinary initiatives at Digital Futures, a joint center with Stockholm University and RISE Research Institutes of Sweden focused on digital innovation. His research emphasizes scalable FPGA/HPC architectures, low-power neuromorphic systems, and optimization techniques for custom silicon solutions. Current projects include a Lego-inspired edge AI framework and memristor-driven MIMO acceleration. Teaching responsibilities span advanced courses in SOC design, digital system verification, and embedded systems. He supervises advanced-level degree projects across computer engineering and ICT innovation specializations, emphasizing hands-on hardware-software co-design methodologies. Recent publications highlight innovations in memristor applications, FPGA-based acceleration, and reconfigurable architectures for neural networks and bioinformatics. His work addresses challenges in dark silicon utilization, energy-efficient computation, and high-performance embedded systems.

• Causal Inference
• Machine Learning
• Econometrics
• +3 more

Michael Knaus is a Junior Professor (Assistant Professor) in the Department of Economics within the Faculty of Economics and Social Sciences at the University of Tübingen, Germany. His office is located at Mohlstraße 36, 4th floor, room 415. He teaches graduate-level courses on causal inference and causal machine learning. Dr. Knaus specializes in the intersection of causal inference and machine learning, with particular expertise in Double Machine Learning methods. His research focuses on developing advanced statistical techniques to estimate treatment effects across various economic contexts including labor markets, finance, education, and health economics. His work bridges theoretical econometrics with practical applications, emphasizing methodological rigor and real-world relevance. His recent publications demonstrate a clear progression toward increasingly sophisticated methods for handling heterogeneous treatment effects and complex causal structures. His research shows strong integration of machine learning algorithms with causal inference frameworks to address challenging policy questions across multiple domains. Double Machine Learning based Program Evaluation under Unconfoundedness (The Econometrics Journal, 2022) Heterogeneous Employment Effects of Job Search Programmes: A Machine Learning Approach (Journal of Human Resources, 2022) How Does Post-Earnings Announcement Sentiment Affect Firms' Dynamics? (Journal of Financial Econometrics, 2024) Effect or Treatment Heterogeneity? Policy Evaluation with Aggregated and Disaggregated Treatments (2021) Dr. Knaus has made significant methodological contributions through his development of the causalDML R package, which implements Double Machine Learning methods for binary and multiple treatment effect estimation. His work has been published in top econometrics and economics journals and has gained recognition in the research community, with his GitHub repository accumulating 36 stars. He frequently collaborates with Michael Lechner, a leading researcher in causal inference and program evaluation. His teaching includes E464 Causal Inference and E463 Causal Machine Learning, both graduate courses that combine theoretical foundations with practical implementation using R. These courses prepare students for advanced research and data science roles requiring sophisticated causal reasoning skills, emphasizing hands-on application of methods to real-world problems.

Aravind MachiryView profile

Assistant Professor

• Software Security
• Embedded Systems
• Program Analysis
• +9 more

Aravind Machiry is an Assistant Professor at Purdue University's Electrical and Computer Engineering Department and a founding member of the Purdue Systems and Software Security (PurS3) Lab . His research focuses on system security, particularly vulnerability detection, prevention, and secure system development using static/dynamic program analysis, fuzzing, type systems, and machine learning. Designing practical solutions for software and embedded system security Recipient of NSF CAREER and Amazon Research awards Active participant in SPLASH 2025 as OOPSLA Review Committee member His recent work includes automated vulnerability detection in embedded software, spatial memory safety enhancements, and security analysis of GitHub workflows. He has received recognition for his research through multiple distinguished paper awards and industry funding. Selected scientific awards include NSF CAREER Award (2024) Amazon Research Award (2022) Test of Time Award at FSE 2023 for DynoDroid Distinguished Paper Award at OOPSLA 2022 for 3c Qualcomm Innovation Fellowship (2025) His research team has developed frameworks like ARGUS for taint analysis of CI/CD workflows and FuzzUEr for UEFI interface fuzzing, discovering hundreds of critical vulnerabilities in open-source projects and thousands of command injection flaws in GitHub repositories.

Erika LealView profile

Assistant Professor

• Cybersecurity
• Hardware-Assisted Security
• Malware Analysis
• +6 more

Dr. Erika Leal is an Assistant Professor in the Department of Computer Science at Baylor University, where she teaches cybersecurity and advises the Cyber@Baylor student organization. She also serves as the Director of Research and Development for the Central Texas Cyber Range, contributing to regional cybersecurity infrastructure and education. Her research focuses on innovative approaches to malware analysis, particularly leveraging hardware performance counters to detect and unpack obfuscated malware. She integrates hardware-assisted techniques with machine learning to improve the detection of packed binaries and enhance software security in high-performance computing environments. Dr. Leal's recent publications demonstrate a consistent focus on hardware-based malware detection, binary analysis, and high-performance computing security, with contributions to top-tier conferences such as USENIX Security and IEEE HOST. Her work bridges low-level system behavior with practical security solutions. She actively contributes to the academic community through service as a Technical Program Committee member for SC23 and SC24, Session Chair at ICISSP 2023, and Diversity Chair for SC22. She also mentors the Baylor Cybersecurity Team in national competitions including CCDC and NCL. Dr. Leal earned her Ph.D. in Computer Science from Tulane University and the University of Texas at Arlington, advised by Dr. Jiang Ming, and holds a Bachelor’s in Computer Science with a minor in Business Administration from Texas Wesleyan University. She currently advises one Ph.D. student, Abanisenioluwa Orojo, and has served as an external reviewer for journals and conferences including ACM Computing Surveys and CCS. Her leadership extends beyond research into developing cybersecurity talent and promoting diversity in computing.

Claire Le GouesView profile

Associate Professor

• Software Engineering
• Programming Languages
• Program Analysis
• +9 more

Claire Le Goues is an Associate Professor in the School of Computer Science at Carnegie Mellon University , affiliated with the Software and Societal Systems Department (formerly Institute for Software Research). She holds a Ph.D. and M.S. in Computer Science from the University of Virginia and a B.A. in Computer Science from Harvard College. Her research focuses on software engineering with emphasis on program analysis , transformation , and search-based repair . She leads the squaresLab group and co-directs the REUSE@CMU summer program. Her work spans automated program improvement (stochastic/formal approaches), software assurance, quality metrics, and systems from open source to robotics. Recent scientific awards include the ACM FSE 2025 Test of Time Award Honorable Mention and the Presidential Early Career Award for Scientists and Engineers (PECASE) . She mentors students in software engineering and actively collaborates on projects like SearchRepair and GenProg , supporting empirical benchmarks such as ManyBugs and IntroClass . She teaches software engineering and program analysis at undergraduate, master’s, and doctoral levels, addressing challenges in scaling modern systems. Her lab focuses on software repair , code transformation , and AI-driven testing .

• Computational Biology
• Genomics
• Cancer Research
• +5 more

Adam Olshen, PhD, MA is a Professor in the Department of Epidemiology & Biostatistics at the University of California, San Francisco School of Medicine. His research program bridges advanced statistical methodology with cancer genomics and clinical applications, focusing on developing computational approaches to analyze complex genomic data and understand cancer biology and patient outcomes. Dr. Olshen's research spans multiple critical areas in computational biology and cancer genomics. He is best known for developing the circular binary segmentation algorithm, a foundational method for analyzing DNA copy number data that has become standard in cancer genomics research. His work consistently applies sophisticated statistical models to address biological questions, particularly in cancer research where he examines tumor biology, treatment response mechanisms, and patient symptomatology. Recent work demonstrates expertise in multi-omic analyses, single-cell sequencing methodologies, and machine learning applications for understanding cancer stem cells, treatment resistance mechanisms, and symptom biology. His research has particular strength in translating complex genomic data into clinically relevant insights. Analysis of Dr. Olshen's recent publications reveals a strong focus on applying cutting-edge computational methods to understand cancer biology at increasingly granular levels. His work spans multiple cancer types including breast cancer, leukemia, prostate cancer, and others, with particular attention to genomic alterations, epigenetic changes, and their relationship to clinical outcomes. A notable trend is the application of advanced computational techniques to analyze single-cell and multi-omic data to uncover novel biological insights about cancer heterogeneity, progression, and symptom biology. His publications frequently appear in high-impact journals across computational biology, oncology, and clinical medicine. Dr. Olshen maintains an active collaborative research program across UCSF, working extensively with clinicians and basic scientists to apply sophisticated statistical methods to complex biological questions. His work has contributed significantly to the development of novel biomarkers, improved understanding of cancer biology, and better methods for analyzing genomic data in clinical contexts. He has been instrumental in numerous studies examining the relationship between genomic alterations and clinical outcomes, as well as the development of novel computational methods for genomic data analysis that have been widely adopted by the research community.

Kevin W. HamlenView profile

Professor

• Cybersecurity
• Software Security
• Formal Methods
• +6 more

Kevin W. Hamlen is the Louis A. Beecherl, Jr. Distinguished Professor in the Department of Computer Science at the University of Texas at Dallas. He serves as Executive Director of UT Dallas' Cyber Security Research and Education Institute. His research focuses on language-based security , binary software hardening , cyberdeception , and formal program verification . He has received multiple grants from agencies like AFOSR, NSF, DARPA, and industry partners including Lockheed Martin and Intel. PhD and MS from Cornell University BS from Carnegie Mellon University His research explores automated approaches to software security through techniques like binary disassembly , control-flow integrity , and honey-patching . He has pioneered methods for malware defense and cloud/web/mobile security . Recent work examines adaptive cyberdeception and GPU-based security frameworks . His publications span binary code manipulation , malware mitigation , and blockchain security . Key awards include the NSF IUCRC Technology Breakthrough Award and two CSAW Best Paper 2nd Prizes . He advises numerous PhD students, many of whom now work at Google, IBM, and Microsoft. His book Autonomous Cyber Deception (Springer, 2019) with Ehab Al-Shaer and Cliff Wang provides comprehensive coverage of adaptive cyberdeception strategies.

• African American Studies
• Black and Caribbean Studies
• History
• +7 more

Marsha J. Tyson Darling is a Professor in the Department of African, Black and Caribbean Studies and the History Department at Adelphi University, where she also serves as Director of the Center for African, Black & Caribbean Studies Programs and Special Assistant to the President for Strategic Initiatives. She holds a Ph.D. from Duke University and has held faculty positions at Georgetown University, Columbia University, and Wellesley College, among others. Ph.D., Duke University (1982) M.A., Duke University (1975) B.A., Vassar College (1973) A.A. w/ Honors, CUNY College of Staten Island (1971) Her research centers on the intersection of race, gender, and biotechnology, with a focus on reproductive justice, civil rights, voter suppression, and the ethical implications of genetic technologies. She explores how marginalized communities, especially women of color, are impacted by emerging biotechnologies and public policies. Her work critically examines consumer-driven eugenics, surrogacy, and the privatization of genetic knowledge. Her recent publications reflect a strong thematic focus on reproductive rights, globalization, and historical justice. She has contributed extensively to edited volumes on Africana Studies, voting rights, and reproductive ethics. Her scholarship spans historical analysis, policy critique, and feminist bioethics. Recipient of Fulbright and Rockefeller Fellowships Named in Diverse Issues in Higher Education’s Top 25 Women in Higher Education (2017) NAACP Excellence in Higher Education Award (2009) Anna and Samuel Pinanski Endowed Award for Excellence in Teaching (1984) She has advised numerous senior theses across multiple institutions and has been a dedicated mentor to students. She has also led curriculum development initiatives, including freshmen seminars on social justice and human rights. Her leadership extends to community outreach, public lectures, and media appearances on civil rights and reproductive justice. She serves on advisory boards and is actively engaged in national conversations on racial healing and transformation.

Elaina HydeView profile

Associate Professor

• Galactic archaeology
• Galaxy formation
• Data science for astrophysics
• +2 more

Elaina Hyde is an Associate Professor in the Department of Physics and Astronomy at York University, serving as Director of the York Allan I. Carswell Observatory. She is affiliated with the Faculty of Science and eligible to supervise graduate students in the Physics and Astronomy program. Her research focuses on galactic archaeology, galaxy formation, and data science for astrophysics, leveraging cloud computing and machine learning. She has contributed to major initiatives like the GALAH survey and studies of the Sagittarius stream. Her work combines observational astronomy with technical leadership in telescope operations and public outreach. Hyde is also a certified Google Cloud Trainer and Engineer, integrating industry-level data science practices into academic and educational contexts. Education & Professional Background : While specific educational details are not listed, her roles indicate advanced expertise in astrophysics and data science. She has held technical and leadership positions in telescope operations and academic observatories. Research Interests : Hyde's work bridges computational and experimental astrophysics, emphasizing: Galactic archaeology via chemical and kinematic analysis of stellar populations Data-driven approaches to galaxy formation modeling Development of automated spectroscopic pipelines (e.g., GALAH survey) Machine learning applications for spectral classification and dimensionality reduction (e.g., t-SNE techniques) Astronomy education through public telescope access and interdisciplinary training Publications Overview : Her recent work focuses on the GALAH survey's chemical and kinematic inventory of the solar neighborhood, Sagittarius stream dynamics, and machine learning-enhanced spectral analysis. Key themes include stellar abundance trends in open clusters, tidal debris identification, and multi-survey data integration with Gaia. Labs & Teams : Leads the York Allan I. Carswell Observatory, fostering observational astronomy research and public engagement. Collaborates with global telescope networks and industry partners in cloud computing.