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

Chengmo Yangمشاهده پروفایل

استاد

• Embedded Systems
• Design Automation
• Computer Architecture
• +۶ مورد دیگر

Dr. Chengmo Yang is a Professor in the Department of Electrical and Computer Engineering at the University of Delaware, with a joint appointment. She received her PhD and MSc in Computer Science from the University of California, San Diego, and a BSc in Microelectronics from Peking University, China. PhD, University of California, San Diego MSc, University of California, San Diego BSc, Peking University, China Her research focuses on enhancing security, reliability, non-volatility, and energy efficiency in embedded systems, cyber-physical systems (CPS), and Internet-of-Things (IoT). She leads the Computer Architecture, Reliability, and Security (CARES) group and has authored over 70 peer-reviewed publications. Recent publications emphasize neural network accelerators, non-volatile memory (NVM) optimization, and security frameworks for embedded systems. Her work explores fault tolerance, wear leveling, and side-channel attack mitigation in NVM-based FPGAs, STT-RAM, and SSDs. National Science Foundation Career Award (2013) University of Delaware Mid-Career Faculty Excellence in Scholarship Award (2020) Best paper award at ICESS (2019) Three best paper nominations at DAC, DATE, and GLSVLSI (2019) Dr. Yang serves as Associate Editor for IEEE TCAD and ACM TODAES. She is the Diversity & Inclusion Representative for IEEE CEDA and has organized numerous conferences including Technical Program Chair for CODES-ISSS 2022. Her lab has hosted current and former students like Fanruo Meng (PhD candidate), Fateme Hosseini (Qualcomm), and Patrick Cronin (Intel), focusing on graduate-level research in hardware security and reliability.

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.

Brandon M. Luciaمشاهده پروفایل

استاد

• Computer Architecture
• Computer Systems
• Programming Languages
• +۷ مورد دیگر

Brandon M. Lucia is the Kavčić-Moura Professor of Electrical and Computer Engineering at Carnegie Mellon University and CEO/co-founder of Efficient Computer Company. He leads the Abstract research group and focuses his work on the intersection of computer architecture, systems, and programming languages. Education: Ph.D. in Computer Science and Engineering, University of Washington (2013) — advised by Luis Ceze Research Focus: Brandon's research is broadly centered on intermittent computing , edge computing , and energy-efficient architectures . Two major thrusts define his current work: Intermittent Computing: Making battery-free, energy-harvesting devices programmable and reliable despite frequent power failures. Applications include medical implants, space systems, and large-scale sensing. Orbital Edge Computing: Designing nanosatellite constellations that perform on-orbit data processing, enabling low-latency, high-resolution sensing in space-constrained environments. Scientific Awards: NSF CAREER Award (2017) IEEE TCCA Young Computer Architect Award (2019) Sloan Foundation Fellowship (2021) ASPLOS 2020 Best Paper Award OOPSLA 2015 Distinguished Paper & Artifact Awards IEEE Micro Top Picks (2016, 2018 Honorable Mention) Advising & Grants: Brandon actively advises a strong cohort of Ph.D. students including Zhuo Cheng, Bradley Denby, Souradip Ghosh, Harsh Desai, Kiwan Maeng, Emily Ruppel, and others. His group is funded by the NSF (CAREER and SHF grants), the Sloan Foundation, and industry partnerships. Labs & Teams: He directs the Abstract research group at CMU ECE, which hosts interdisciplinary projects spanning hardware design, compiler construction, and system software for ultra-low-power and space-borne computing platforms.

Michael Carbinمشاهده پروفایل

استادیار

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +۴ مورد دیگر

Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .

Osbert Bastaniمشاهده پروفایل

دانشیار

• Machine Learning
• Neurosymbolic AI
• Program Synthesis
• +۱۰ مورد دیگر

Osbert Bastani is an Associate Professor at the Department of Computer and Information Science, University of Pennsylvania, leading the trustml@Penn research group. He is affiliated with the ASSET , PRECISE , and PRiML centers, and the PLClub research group. His research focuses on Trustworthy Neurosymbolic Systems , Synthesizing Neurosymbolic Programs , and Machine Learning for Programmer Productivity , with applications in verification, fairness, and human-AI collaboration. He received the NSF CAREER Award in 2023. His recent publications (2024-2025) emphasize AI Safety , LLM Robustness , and Algorithmic Fairness , including work on adversarial robustness, conformal prediction, and program synthesis. Students he has advised include Sagnik Anupam, Stephen Mell, Jason Ma, Shuo Li, and others. Awards: NSF CAREER Award (2023)

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).

• Software Verification
• Formal Methods
• Programming Languages
• +۵ مورد دیگر

Jenna Wise DiVincenzo is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering at Purdue University. She specializes in research areas such as software verification, formal methods, and programming languages, with a focus on gradual verification techniques that combine static and dynamic analysis. Her work emphasizes usability and scalability in verification tools, and she has contributed to projects like Gradual C0 and gradual null-pointer analysis. Dr. DiVincenzo earned her PhD in Software Engineering from Carnegie Mellon University (2023) and a BS in Mathematics and Computer Science from Youngstown State University (2017). She has interned at IBM Research, MIT Lincoln Laboratory, and the Software Engineering Research and Empirical Studies Lab at YSU. Her awards include the Google PhD Fellowship, NSF GRFP Fellowship, and 2022 Rising Star in EECS. Her research projects span theoretical advancements in gradual verification, empirical studies on usability, and practical tool development. She advises PhD students (e.g., Craig Liu, Conrad Zimmerman) and collaborates on initiatives like gradual verification for Rust and educational tools to teach verification concepts. Her work also explores leveraging large language models for specification generation and enhancing verification tool soundness through formal proofs.

• History of Childhood and conceptions of childhood in Japan
• Japanese Rules of Etiquette
• Early Modern Japanese lifestyles and value orientations as reflected in Japanese guidebook literature
• +۳ مورد دیگر

Michael Kinski serves as Professor of Japanese History of Thought and Japanology at Goethe University Frankfurt within the Faculty of Languages and Cultural Studies, concurrently leading the Institute for East Asian Philologies as Acting Director since 2013. His academic trajectory spans prestigious German institutions including Humboldt University Berlin (1998-2009) and Tuebingen University (1991-1998), with prior research engagement at Japanese universities including Tokyo University and Ritsumeikan. He completed his doctoral studies at Tuebingen University in 1991 following an M.A. at Bochum University (1987), with formative research periods in Japan at Nagoya University, Tokyo University, and Ritsumeikan University. His scholarly foundation centers on Japanese intellectual history, particularly the Edo period. Kinski's research program systematically examines Japanese societal structures through interconnected domains: Historical conceptions of childhood and developmental frameworks Formalized etiquette systems as cultural expression Material culture studies focusing on food practices and consumption Scientific knowledge transmission via Rangaku (Dutch Studies) Social value systems reflected in travel literature Intellectual history of Early Modern Japan No scientific awards were documented in source materials. Information regarding student supervision, research grants, laboratory facilities, or collaborative teams was not provided in the available texts.

Christoph Kochمشاهده پروفایل

استاد

• Database systems
• Database theory
• Programming languages
• +۲ مورد دیگر

Christoph Koch is a Full Professor in the School of Computer and Communication Sciences at EPFL (Ecole Polytechnique Federale de Lausanne) , Switzerland. He has held academic positions at Cornell University (2007-2010, 2006), Saarland University (2005-2007), and TU Vienna (2001-2005). His research focuses on database systems, logic, programming languages, and data management.

Ana Klimovicمشاهده پروفایل

استادیار

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

Ana Klimovic is an Assistant Professor at the Department of Computer Science, ETH Zürich, and Deputy Head of the Institute for Computing Platforms. She leads the Efficient Architectures and Systems Lab (EASL) and focuses on optimizing cloud computing performance and resource efficiency. Education: Ph.D. in Electrical Engineering (Stanford University), M.S. in Electrical Engineering (Stanford), B.A.Sc. in Engineering Science (University of Toronto) Previous Roles: Research Scientist at Google Brain Her research spans cloud computing, operating systems, distributed systems, and their intersection with machine learning. Key areas include cloud-native programming models, elastic storage, GPU sharing, and data pipeline optimization. The 2025-2024 articles highlight trends in serverless computing, large language model (LLM) serving, GPU optimization, and data-centric ML systems. Themes include elasticity, resource multiplexing, heterogeneous computing, and infrastructure for AI/ML workloads. Scientific Awards: Microsoft Research PhD Fellowship, Stanford Graduate Fellowship She has led research projects on ephemeral storage, distributed training automation, and cost-efficient ML preprocessing, with grants from Microsoft Research and Stanford.

Jeff Alstottمشاهده پروفایل

استاد

• Artificial Intelligence
• Cybersecurity
• Complex Networks
• +۴ مورد دیگر

Jeff Alstott is a Professor of Policy Analysis at the RAND School of Public Policy, serving as the Director of RAND's Center for Technology and Security Policy (TASP) . He holds a concurrent role as a Senior Information Scientist at RAND and directs a program on technology forecasting and improving R&D investment returns at the National Science Foundation. Previously, he held leadership roles in the U.S. government, including the White House as Director for Technology and National Security at the National Security Council and Assistant Director for Technology Competition and Risks at the Office of Science and Technology Policy. Prior to that, he was a program manager at IARPA, focusing on AI, biosecurity, and science forecasting, and has held academic and research positions at MIT, Singapore University of Technology and Design, the World Bank, and the University of Chicago. Education : Doctorate in complex networks from the University of Cambridge; MBA and bachelor's degrees from Indiana University. Alstott's research spans artificial intelligence , technology forecasting , complex networks , and science and technology policy . His recent publications focus on AI security , existential risk from advanced technologies , and collaborative frameworks for AI safety , reflecting his expertise in balancing technological innovation with national and global security. He has contributed to understanding AI model weight protection , cybersecurity challenges , and policy implications of emerging technologies . Alstott has received recognition for his work, including being part of an award-winning team on technology counterintelligence . His policy recommendations and technical research have informed federal strategies for responding to advanced technologies , emphasizing the need for proactive governance and cross-sector collaboration.

Annette Schellenberg-Laglerمشاهده پروفایل

استاد

• Old Testament Studies
• Biblical Archaeology
• Wisdom Literature
• +۴ مورد دیگر

Annette Schellenberg-Lagler serves as Professor of Old Testament Studies at the University of Vienna's Faculty of Protestant Theology, where she concurrently holds leadership roles as Vice Dean, Director of Studies, and Deputy Head of the Institute for Old Testament Studies and Biblical Archaeology. Her academic career spans over two decades with significant contributions to biblical scholarship since joining Vienna in 2015 after positions at the University of Zurich and San Francisco Theological Seminary. Her educational foundation includes Protestant Theology studies at the University of Zurich (1991-1998), followed by doctoral completion in 2002 and habilitation in 2011 at the same institution. Key developmental phases include Swiss National Science Foundation research in Los Angeles (2003-2005) and tenure-track professorship in California (2007-2015). Schellenberg-Lagler's research centers on Prehistory (Genesis 1-11), Priestly literature, Wisdom literature, and the Song of Songs, with specialized focus on Old Testament Anthropology and theological controversies within ancient Near Eastern contexts. Her work consistently bridges textual analysis with anthropological and epistemological frameworks, particularly examining human cognition in wisdom texts and sensory dimensions in biblical poetry. Current projects include a Song of Songs commentary for Eerdmans' Illuminations series. Recent publications reveal evolving scholarly trajectories toward negative theology in Hebrew Bible studies and interdisciplinary epistemology, while maintaining deep engagement with Wisdom literature. Her editorial leadership as Editor-in-Chief of Vetus Testamentum since 2020 significantly shapes contemporary Old Testament scholarship. She actively mentors students through STEOP-Mentoring programs and doctoral seminars, building on early-career support from Swiss National Science Foundation and Zurich Young Talents scholarships. Her academic service extends to steering committees for the Society of Biblical Literature's 'Wisdom in Israelite Traditions' group and the Working Group on Old Testament Reception (AKRAT). As a core member of Vienna's Research Center 'Religion and Transformation in Contemporary Society' (RaT), she collaborates across multiple networks including the 'Epistemology in ancient Israel' consortium. Her institutional leadership drives curriculum development for Evangelical Theology programs while maintaining active participation in European scholarly societies like EABS and SBL.

Nasir Memonمشاهده پروفایل

استاد

• Digital Forensics
• Biometrics
• Authentication
• +۶ مورد دیگر

Nasir Memon is a Professor of Computer Science and Engineering at the New York University Tandon School of Engineering and concurrently serves as the Dean of Engineering at NYU Shanghai. He has been a faculty member at NYU Tandon since September 1998. Memon is a co-founder of NYU's Center for Cyber Security (CCS) and NYU Abu Dhabi, and the founder of key initiatives such as the OSIRIS Lab, CyberSecurity Awareness Week (CSAW), the NYU Tandon Bridge program, and the Cyber Fellows program. His work focuses on advancing cybersecurity education and addressing systemic biases in AI-driven systems. Education: Ph.D., Computer Science, University of Nebraska Master of Science, Mathematics, Birla Institute of Technology and Science (BITS), Pilani Bachelor of Engineering, Chemical Engineering, BITS, Pilani Research Interests: Media Forensics and Authentication Biometric Security and Privacy Data Compression and Privacy-Preserving Techniques Network Security and Incident Response AI Ethics and Fairness in Machine Learning Cybersecurity Education and Workforce Development Awards and Honors: IEEE Fellow (2010) SPIE Fellow (2014) Jacobs Excellence in Education Award (2002) NSF CAREER Award (1997) Advising and Grants: Advises Ph.D. students like Anubhav Jain and Govind Mittal, and mentors Master’s students such as Rishit Dholakia. Recipient of NSF grants and funding from NYU Abu Dhabi and Indiana University Bloomington for projects like computational tools for fact-checking and AI-driven bias mitigation. Labs and Teams: Directs the OSIRIS Lab, a leading research group in cybersecurity and AI. Leads initiatives at the NYU Center for Cybersecurity (CCS) and collaborates with NYU Abu Dhabi’s Center for Cyber Security.

Gail E. Kaiserمشاهده پروفایل

استاد

• Software Engineering
• Static and Dynamic Program Analysis
• Software Testing
• +۷ مورد دیگر

Gail E. Kaiser is a Professor of Computer Science and the Director of the Programming Systems Laboratory (PSL) in the Computer Science Department at Columbia University. She has been with Columbia University since 1985, becoming a full Professor in 1998. Prof. Kaiser's research spans software engineering, program analysis, software testing, and software security, with recent focus on addressing challenges in AI/ML systems testing and security. Prof. Kaiser received her PhD in Computer Science from Carnegie Mellon University in 1985 and her ScB in Computer Science and Engineering from MIT in 1979. Her dissertation at CMU was titled "Semantics for Structure Editing Environments" under advisor Nico Habermann, and at MIT she completed "Automatic Extension of an Augmented Transition Network Grammar for Morse Code Conversations" under advisor Al Vezza. Prof. Kaiser's research interests primarily focus on software engineering following a systems building approach, with recent emphasis on static and dynamic program analysis techniques to improve software reliability and security. Since 2005, she has investigated testing "non-testable" programs, particularly in machine learning, data mining, and scientific computing applications where traditional testing oracles are insufficient. She has developed novel techniques and tools for detecting bugs and verifying repairs in complex systems. Concurrently, she has worked on collaboration environments for computational scientists, creating knowledge sharing and domain-aware environments to support scientific workflows. Prof. Kaiser's recent publications demonstrate a strong focus on the intersection of software engineering and artificial intelligence. Her work addresses critical challenges in testing AI systems, code understanding through deep learning, vulnerability detection, and educational tools for computational thinking. There's a clear evolution from traditional software engineering topics toward AI/ML applications, with particular emphasis on metamorphic testing for non-testable systems, code similarity analysis, and educational applications. Prof. Kaiser has received numerous prestigious awards throughout her career: Distinguished Journal Award (10 Years) from 18th IEEE International Conference on Software Testing, Verification and Validation (ICST), April 2025 Best Research Paper Award at 24th IEEE International Conference on Source Code Analysis & Manipulation (SCAM), October 2024 Distinguished Reviewer Awards for ASE 2024 and FSE 2024 ACM SIGSOFT Distinguished Paper Award for "CONCORD: Clone-aware Contrastive Learning for Source Code", July 2023 Best Student Paper Award at ICCE 2021 Multiple ACM SIGSOFT Distinguished Paper Awards dating back to 2014 Presidential Young Investigator in Software Engineering and Software Systems from NSF (1988-1993) Prof. Kaiser has chaired Columbia's doctoral program since 1997 and served on editorial boards including IEEE Internet Computing and as a founding associate editor of ACM Transactions on Software Engineering and Methodology. Her lab has been continuously funded by major agencies including NSF, NIH, DARPA, ONR, NASA, and numerous companies. Current grants include significant NSF funding for secure containers architecture, learning semantics of code for software assurance, and finding semantic security bugs. As Director of the Programming Systems Laboratory (PSL), Prof. Kaiser leads research in software systems, program analysis, and software testing. The lab has developed numerous tools and techniques for software reliability and security, with recent focus on challenges in AI/ML systems. Her work bridges theoretical foundations with practical applications, often resulting in deployable tools that address real-world software engineering challenges.

Laura Eloمشاهده پروفایل

استاد

• Computational Biomedicine
• Medical Bioinformatics
• Data Science
• +۷ مورد دیگر

Laura Elo serves as Professor of Computational Medicine and Head of the Medical Bioinformatics Centre at the University of Turku, Finland. She concurrently holds the position of Research Director at Turku Bioscience Centre and acts as InFLAMES Flagship Contact, driving interdisciplinary biomedical research initiatives. Her academic foundation includes a PhD in Applied Mathematics (2007) and Adjunct Professorship in Biomathematics (2011), establishing her quantitative expertise before transitioning into biomedical applications. Her research program focuses on transforming molecular and clinical datasets through statistical modeling and advanced machine learning . Key thrusts include robust computational tools for proteome/epigenome analysis, AI-driven digital health diagnostics, and computational systems immunology for immune-mediated diseases. This work directly addresses challenges in reproducibility and scalability of high-throughput biotechnology data. Analysis of her recent publications reveals dominant themes in type 1 diabetes biomarker discovery , multi-omics integration , and immune system modeling , with strong emphasis on clinical translation through collaborations with experimental and medical teams. Her scientific recognition includes: JDRF Career Development Award Professor Elo actively trains MSc/PhD students and postdoctoral fellows while leading major research initiatives including ERC grants. Her teaching portfolio spans Bioinformatics Journal Club, AI in Diagnostics, and Systems Biology courses. The Elo Lab (https://elolab.utu.fi) operates as a hub for computational biomedicine, developing open-source tools like CellRomeR while maintaining close ties with Turku Bioscience Centre's experimental facilities for validating computational predictions in immunology and metabolic disease contexts.