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

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.

Steven H. H. Dingمشاهده پروفایل

استادیار

• Cybersecurity
• Machine Learning
• Data Mining
• +۷ مورد دیگر

Dr. Steven H. H. Ding is an Assistant Professor at McGill University's School of Information Studies, specializing in cybersecurity, machine learning, and data mining. His research focuses on AI-driven solutions for malware detection, software vulnerability analysis, and reverse engineering. He holds a PhD from McGill University and has been supported by BlackBerry Cylance and DRDC. His work bridges theoretical advancements with practical applications in military systems and avionics cybersecurity. Dr. Ding earned his PhD in 2019 with notable awards including the FRQNT Doctoral Research Scholarship and McGill's Dean’s Graduate Award. His educational background includes degrees from McGill, Concordia University, and the University of Shanghai for Science and Technology. His research interests span cybersecurity domains such as zero-day malware identification, code obfuscation countermeasures, authorship verification for digital forensics, and AI applications in avionics anomaly detection. He actively contributes to open-source tools like the Kam1n0 MapReduce-based assembly clone search system. Recent work emphasizes adversarial machine learning for evasive malware generation, transformer-based anomaly detection in avionics, and automated SBOM generation for firmware analysis. His publications reflect a focus on real-world cybersecurity challenges in both civilian and defense sectors. Dr. Ding leads the L1NNA Lab and collaborates with industry partners on cutting-edge projects. His contributions include novel techniques for phishing detection leveraging large language models and innovative approaches to reverse engineering software composition in JavaScript applications.

• Computer Vision
• Generative Models
• Image-Text Joint Modeling
• +۵ مورد دیگر

Svetlana Lazebnik is a Full Professor and Willett Faculty Scholar in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC), part of the Grainger College of Engineering. She holds a Ph.D. from UIUC (2006) and previously served as an Assistant Professor at the University of North Carolina at Chapel Hill (2007–2011). Her research focuses on computer vision, including generative models for virtual try-on, image stylization, scene understanding, and joint modeling of images and language. She has advised numerous Ph.D. students and postdocs, many of whom now hold prominent academic and industry roles. Education: Ph.D. in Computer Science, UIUC (2006); supervised by Jean Ponce. Research Interests: Her work spans generative adversarial networks (GANs), diffusion models, virtual try-on systems (e.g., Dressing-in-Order, Street Try-On), exemplar-based stylization, and large-scale photo analysis. She has pioneered spatial pyramid matching and contributed to binary code learning for image retrieval. Key Awards: NSF CAREER Award (2008), Microsoft Research Faculty Fellow (2009), Sloan Research Fellow (2013), IEEE Fellow (2021), and the Longuet-Higgins Prize (2016) for her CVPR 2006 paper. Teaching: Recent courses include CS 444 (Deep Learning for Computer Vision), CS 543 (Computer Vision), and a Ph.D. Job Search Seminar. She has also taught at UNC Chapel Hill. Grants & Funding: Supported by NSF, Amazon, AWS, Microsoft, Sloan Foundation, Google, ARO, and Adobe. Notable grants include CCF 2348624 and IIS 1718221. Labs/Groups: Leader in the Illinois CS Vision Group, contributing to collaborative projects on embodied AI, multi-agent systems, and visual-semantic reasoning.

Lorenzo Cavallaroمشاهده پروفایل

استاد

• Trustworthy AI for Systems Security
• Adversarial Machine Learning
• Malware Detection
• +۶ مورد دیگر

Lorenzo Cavallaro is a Full Professor of Computer Science at University College London (UCL), specializing in Trustworthy AI for Systems Security. His research focuses on developing learning-based methods that are robust against adversaries by understanding the interplay between program analysis, representations, and machine learning models. His research interests span multiple critical areas in cybersecurity, including adversarial machine learning, malware detection, program analysis, and security evaluation. Cavallaro's work particularly emphasizes the challenges of concept drift in security systems and the development of robust defenses against evolving threats. His research has significant implications for Android security, binary analysis, and memory safety in embedded systems. Analysis of his recent publications (2024-2025) reveals a strong focus on addressing fundamental challenges in ML-based security systems. His work spans malware detection systems that maintain reliability under distribution shifts, adversarial attacks in the problem space, context-driven approaches using LLMs for security applications, and temporal invariance in malware detection. A recurring theme is the critical examination of whether ML-based security systems are truly robust and reliable in real-world scenarios. Cavallaro serves in significant editorial and advisory roles including the NDSS Steering Group (2023-2026), Associate Editor for Computer & Security and ACM TOPS, and Scientific Advisory Board for SERICS. He has been actively involved in program committees for top security conferences including IEEE S&P, USENIX Security, CCS, and NDSS from 2021-2025. He teaches Malware (COMP0060; 2022—ongoing), Research in Information Security (COMP0057; 2021—23), and Computer Security 2 (COMP0055; 2021—ongoing) at UCL, contributing to the next generation of security researchers and practitioners.

• Malware Analysis
• Symbolic Execution
• Machine Learning
• +۳ مورد دیگر

Charles-Henry Bertrand Van Ouytsel is a Research Assistant and Visiting Lecturer at Université catholique de Louvain , affiliated with the Louvain Polytechnic School (EPL) and the Computer Engineering Center (INGI) . His work focuses on malware analysis , symbolic execution , and machine learning for cybersecurity applications. Research Areas : Packing detection, intrusion detection systems, side-channel security, and adversarial machine learning. Teaching : Involved in courses like Secured systems engineering (LINFO2144) and Software engineering and programming systems seminar (LINFO2359) . His recent publications emphasize malware obfuscation techniques and security evaluation frameworks . Collaborations with Axel Legay and others highlight his contributions to tool development (e.g., Packing-Box , SEMA ). No scientific awards are explicitly mentioned.

Shuvendu K. Lahiriمشاهده پروفایل

پژوهشگر

• Formal Verification
• Smart Contracts
• Program Synthesis
• +۵ مورد دیگر

Shuvendu K. Lahiri is a researcher at Microsoft Research, focusing on formal verification, program synthesis, and software testing. His work bridges artificial intelligence with formal methods, particularly in blockchain security and automated code generation. 2025 : Published LLM-Vectorizer (verified loop vectorizer) and neural synthesis for SMT-assisted proof-oriented programming 2024 : Explored LLM-based test-driven code generation and natural precondition inference 2023 : Developed resource management specifications and contributed to test generation with pre-trained models 2022 : Advanced Solidity type systems and merge conflict resolution using language models His research combines large language models with formal verification tools to improve software correctness. He actively contributes to conferences like ICSE, PLDI, and ISSTA as author and committee member.

Rasmus Paghمشاهده پروفایل

استاد

• Algorithms
• Data Structures
• Big Data
• +۷ مورد دیگر

Rasmus Pagh is a Professor at the Department of Computer Science, University of Copenhagen, specializing in algorithms and complexity. His career includes a 2002 PhD from Aarhus University under Peter Bro Miltersen and a tenure at IT University of Copenhagen until 2020. He leads theoretical research with practical applications in big data, databases, and modern computer architecture parallelism. His research interests span algorithms, data structures, and privacy-preserving computing. Recent work includes the ERC-funded project on Scalable Similarity Search and contributions to the BARC center for basic algorithms research. He has collaborated with Google Research (2019-2020) and focuses on theoretical foundations with real-world impact. Key research trends in his 2023-2024 publications include privacy-preserving data analysis probabilistic data structures distributed secure computation noise-robust coding hashing efficiency continual privacy mechanisms Scientific recognition includes 2024 ACM Fellowship ERC grant leadership multiple top-tier conference publications

Alexandru G. Bardasمشاهده پروفایل

دانشیار

• Cybersecurity
• Systems Security
• Moving Target Defenses
• +۹ مورد دیگر

Alexandru G. Bardas is an Associate Professor at the University of Kansas in the Department of Electrical Engineering & Computer Science (EECS) and the Institute for Information Sciences (I2S) . He received his PhD from Kansas State University under advisors Xinming (Simon) Ou and Scott A. DeLoach. His research focuses on cybersecurity from a systems perspective , including moving target defenses, security operations center (SOC) metrics, DevOps security, power grid cybersecurity, and defensive technologies for political activists. He explores UDP-based DDoS detection, DNS traffic analysis, and the intersection of AI with cybersecurity, emphasizing foundational knowledge over tool-specific training. Key research areas: Cybersecurity, Systems Security, Moving Target Defenses, SOC Metrics, DevOps Security Recent publications in ACSAC 2024 , USENIX Security 2024/2023 , and IEEE Security & Privacy 2022 Dr. Bardas has received significant recognition including: NSF CAREER Award (2022) for SOC automation Bellows Scholar (2021) at KU NSA SoS Honorable Mention (2023) He actively advises students across disciplines, with graduates now at Sandia National Laboratories , Blue Cross Blue Shield , and Pacific Northwest National Laboratory . Dr. Bardas participates in NSF grant reviews , serves on program committees for SOUPS and MILCOM , and leads outreach initiatives like the GenCyber Summer Camp .

• Visualization
• Computer Graphics
• Flow Visualization
• +۳ مورد دیگر

Tino Weinkauf is a Professor of Visualization and Head of the Division of Computational Science and Technology at KTH Royal Institute of Technology in Stockholm. His work bridges computer science and applied mathematics, with a focus on visualization and topological data analysis. He leads research in visualizing complex data from fields like fluid dynamics, neurobiology, and human-computer interaction. Education: Ph.D. in Computer Science (not explicitly stated in provided texts, but inferred from career trajectory). Research interests include flow visualization, topological methods for data analysis, and interactive visualization techniques. He develops tools like the TopoInVis Toolkit (TTK) and contributes to infrastructure such as the Swedish Research Infrastructure for Visualization Support (InfraVis). His work emphasizes applications in turbulence modeling, biomedical imaging, and user-centered design. Teaching: Responsible for courses such as Advanced Topics in Visualization and Computer Graphics , Information Visualization , and Introduction to Visualization and Computer Graphics . Supervises degree projects in Computer Science and Engineering across specializations like Machine Learning and Interactive Media Technology. Publications focus on topological data analysis, flow segmentation, and algorithm optimization. Notable projects include binary segmentation of turbulent flows and interactive reward tuning systems for preference elicitation. Labs/Teams: Leads the Division of Computational Science and Technology at KTH, fostering interdisciplinary research in computational methods and visualization technologies.

• Ergodic Theory
• Dynamical Systems
• Number Theory
• +۳ مورد دیگر

Dr. Karma Dajani is an Associate Professor at the Mathematical Institute of Utrecht University, specializing in Ergodic Theory, Dynamical Systems, and Number Theory . Her research bridges mathematical modeling with symbolic dynamics, beta-expansions, and fractal geometry.

Sang Kil Chaمشاهده پروفایل

دانشیار

• Software Security
• Software Engineering
• Program Analysis
• +۳ مورد دیگر

Sang Kil Cha is an Associate Professor at KAIST's Graduate School of Information Security and School of Computing, where he also serves as Director of the Cyber Security Research Center (CSRC). His research focuses at the intersection of computer security and software engineering, with emphasis on building and evaluating systems that analyze programs. Dr. Cha received his B.S. from Korea University, and both his M.S. and Ph.D. from Carnegie Mellon University (CMU). His educational background forms the foundation for his experimental approach to computer science research. His primary research interests include software security, software engineering, program analysis, binary code analysis, and fuzzing. Dr. Cha's work centers on developing practical security tools and methodologies that bridge theoretical concepts with real-world applications, particularly in program analysis and vulnerability detection. His research has significant implications for improving software reliability and security through advanced analysis techniques. Dr. Cha's publication record shows a strong focus on fuzzing techniques, binary analysis, and program understanding, with recent work expanding into blockchain security and decompilation. His research consistently appears in top-tier security and software engineering conferences including IEEE S&P, USENIX Security, and CCS. ACM Distinguished Paper Award (2024, 2022, 2014) USENIX Distinguished Paper Award (2023) IEEE Best Paper Award (2021) NDSS Best Paper Award (2019) As Director of CSRC and leader of SoftSec Lab at KAIST, Dr. Cha oversees multiple research projects focused on practical security solutions. His lab develops tools like B2R2 (a binary analysis framework) and OFuzz (a fuzzing platform), which have gained recognition in the security community. Dr. Cha actively contributes to the research community through program committee roles at major conferences including PLDI, ICSE, and ISSTA.

Jean-Yves Marionمشاهده پروفایل

استاد

• Computer Security
• Cybersecurity
• Malware Analysis
• +۴ مورد دیگر

Jean-Yves Marion is a Professor at the University of Lorraine and director of LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications) since 2013. He is a Senior Member of the Institut Universitaire de France (IUF) with appointments in both 2015 and 2025. He teaches at the École Nationale Supérieure des Mines de Nancy (ENSMN) and serves as a scientific advisor for the Cyber Campus. His educational background includes a PhD in Computer Science from the University of Paris 7 (1991), followed by post-doctoral research at Indiana University (1992-1993), and Habilitation to Direct Research (2000). He served as a lecturer at the University of Nancy 2 from 1995-2002 before becoming a professor at the University of Lorraine in 2002. Marion specializes in computer security with a focus on distinguishing malicious code from ordinary software through morphological analysis techniques. His research involves extracting the internal structure of code as if giving it an 'X-ray' to identify signatures of malicious behavior. He works extensively with the High Security Laboratory which maintains a collection of 6 million computer viruses for research purposes. His publications demonstrate a consistent focus on binary code analysis, malware detection, and implicit computational complexity. His work bridges theoretical computer science concepts like Kleene's recursion theorem with practical cybersecurity applications. Senior Member of the Institut Universitaire de France (2015) Senior Member of the Institut Universitaire de France (2025) As director of LORIA, Marion leads research teams working on cybersecurity challenges. His approach to malware analysis, which examines the 'skeleton' of code rather than surface features, represents an innovative methodology in the field. He has presented his work internationally at venues including the International Symposium on Foundations & Practice of Security (FPS 2016) and the International Workshop on Logic and Computational Complexity in Kyoto.

Baishakhi Rayمشاهده پروفایل

دانشیار

• Software Engineering
• Security
• Artificial Intelligence
• +۳ مورد دیگر

Baishakhi Ray is an Associate Professor of Computer Science at Columbia University, working at the intersection of AI, Software Engineering, and Security. She received her Ph.D. from the University of Texas, Austin, and has established herself as a leading researcher in applying artificial intelligence to software engineering challenges. Her educational background includes a Ph.D. from the University of Texas, Austin, which provided the foundation for her research career at the forefront of AI and software engineering. Dr. Ray's research focuses on leveraging artificial intelligence to solve fundamental challenges in software engineering and security. Her work spans multiple areas including code generation with large language models, vulnerability detection, software testing, and program analysis. She has pioneered approaches that combine deep learning with traditional software engineering techniques to create more robust, secure, and efficient software development processes. Her research has practical implications for improving code quality, enhancing software security, and accelerating development cycles through AI assistance. Her recent work demonstrates a strong emphasis on semantic-aware code generation, execution reasoning, and addressing hallucinations in code language models. She has also made significant contributions to evaluating the functionality and security of AI-generated code, identifying critical challenges in the practical adoption of AI for software development. Dr. Ray has received numerous prestigious awards recognizing her contributions to the field: IEEE TCSE Rising Star NSF CAREER award IBM faculty award VMware Faculty award Distinguished Paper awards at FSE'17, ASE'22, and ISSTA'23 ICSME Most Influential Paper award Publications featured in CACM Research Highlights As an Amazon Visiting Academic and active participant in major software engineering conferences, Dr. Ray has established herself as a thought leader in AI for software engineering. Her research has been widely covered in trade media, indicating its relevance and impact on industry practices. She has mentored numerous students through their research and has been instrumental in shaping the next generation of researchers in this interdisciplinary field. Her work demonstrates a consistent focus on bridging theoretical advances with practical applications, ensuring that her research has tangible benefits for the software development community. The trajectory of her publications shows an evolving research agenda that has successfully adapted to the rapidly changing landscape of AI and its applications to software engineering.

Steven Dingمشاهده پروفایل

استادیار مدعو

• Artificial Intelligence
• Data Analytics
• Security
• +۴ مورد دیگر

Steven Ding is an Adjunct Assistant Professor and Lab Director at the School of Computing, Queen's University , leading the L1NNA Artificial Intelligence and Security Lab. His research focuses on the intersection of machine learning, data mining, and cybersecurity with applications in malware analysis, reverse engineering, and authorship attribution. Education: PhD in Information Studies (McGill University, 2019), M.A.Sc. in Information Systems Security (Concordia University), B.S. in Information Systems (University of the Fraser Valley), B.S. in Computer Science (University of Shanghai for Science & Technology) Research Interests: His work integrates artificial intelligence and security systems to develop solutions for malware phenotype decomposition, neural malware analysis, binary provenance, and explainable AI in cybersecurity. He explores data analytics for assembly code evolution and authorship analysis using machine learning and differential privacy . Publication Trends: His peer-reviewed work (IEEE Transactions, ACM conferences) emphasizes binary code analysis , neural networks , and cybersecurity , with a focus on static malware characterization , authorship attribution , and cross-architecture code similarity . Scientific Awards: FRQNT Doctoral Research Scholarship (2017-2018) Dean’s Graduate Award at McGill University (4 years, 2014-2018) NSERC Alliance Grant (2021-2024) Best Poster Award, SERENE-RISC Research Showcase (2016) Second Prize, Hex-Rays Software Plug-in Contest (2015) ACM SIGKDD Student Travel Award (2016) Advising & Grants: Dr. Ding has supervised numerous Ph.D. and Master’s students (e.g., Li Tao Li, Mark M. Adams) and secured significant funding from BlackBerry Cylance , DRDC , and NSERC , including a 1.24M CAD NSERC Alliance Grant (50%) and 1.5M CAD DRDC Contract (50%). Labs & Teams: The L1NNA lab collaborates with DRDC Canada, NVIDIA, and IEEE Security & Privacy, focusing on AI-driven security tools (e.g., Kam1n0 assembly clone search engine) and neural malware analysis . The lab is located in Goodwin Hall, Queen's University, and emphasizes practical software development and industrial partnerships .

Kristopher Micinskiمشاهده پروفایل

استادیار

• Programming Languages
• Static Analysis
• Formal Methods
• +۴ مورد دیگر

Kristopher Micinski is an Assistant Professor in the Electrical Engineering and Computer Science Department at Syracuse University. His research focuses on scalable program analysis, static analysis, and formal methods applied to computer security and privacy. He holds a PhD in Computer Science from the University of Maryland and a BS in Computer Engineering from Michigan State University. Education: PhD, Computer Science, University of Maryland at College Park BS, Computer Engineering, Michigan State University Research Interests: His work bridges theory and application of program analyses, emphasizing scalable static analysis frameworks, Datalog optimization for distributed systems, and security applications. Recent efforts include GPU-accelerated Datalog engines and large-scale malware analysis pipelines like Assemblage. Grants & Projects: NSF PPoSS Large: $1M grant for declarative analytics DARPA V-SPELLS: $400K for legacy software optimization Assemblage: $350K DoD grant for malware classification Teaching: He teaches undergraduate and graduate courses on programming languages (CIS352) and formal methods (CIS700), with materials publicly available on YouTube.