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

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

دانشیار

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

Baishakhi Ray is an Associate Professor of Computer Science at Columbia University's School of Engineering and Applied Science. Her work focuses on 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 software engineering with AI applications. Dr. Ray's educational background includes a Ph.D. from the University of Texas, Austin. Her academic journey has led to a prominent position at Columbia University where she continues to advance research in software engineering. Dr. Ray's research spans several critical areas at the intersection of software engineering and artificial intelligence. Her work explores how machine learning techniques can improve software development processes, enhance security practices, and address challenges in program analysis. She has made significant contributions to understanding how large language models can be effectively applied to code generation, vulnerability detection, and software testing. Her research has practical implications for improving software reliability and security in real-world applications, particularly in safety-critical domains like autonomous systems. Analysis of Dr. Ray's recent publications reveals a clear trajectory toward leveraging AI for practical software engineering challenges. Her work has evolved from foundational program analysis techniques to cutting-edge applications of large language models in code understanding and generation. A notable trend is her focus on making AI-assisted software development more reliable, secure, and energy-efficient. Her research increasingly addresses the practical limitations of current AI approaches while developing novel methodologies to overcome them. IEEE TCSE Rising Star Award NSF CAREER Award IBM Faculty Award VMWare Faculty Award ICSME Most Influential Paper Award (2023) FSE'17 Distinguished Paper ASE'22 Distinguished Paper ISSTA'23 Distinguished Paper CACM Research Highlights Dr. Ray actively mentors graduate students and has built a productive research group focused on AI-driven software engineering solutions. Her research has been supported by prestigious grants including the NSF CAREER award. She has successfully guided numerous students through their research projects, with several of her advisees making significant contributions to publications in top-tier conferences. Dr. Ray also serves as an Amazon Visiting Academic, bridging academia and industry to address real-world software engineering challenges. Through her leadership in various research projects and collaborations, Dr. Ray has established a dynamic research environment that combines theoretical rigor with practical applications. Her work often involves interdisciplinary collaboration across computer science subfields, particularly connecting software engineering with security and AI research communities.

Koushik Senمشاهده پروفایل

استاد

• Software Engineering
• Programming Languages
• Formal Methods
• +۳ مورد دیگر

Koushik Sen is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His academic career spans major contributions to software engineering and programming languages research through active participation in premier conferences including PLDI, ICSE, and ISSTA. His research focuses on Software Engineering , Programming Languages , and Formal Methods , with particular emphasis on developing software tools that enhance programmer productivity and software quality. Key research thrusts include automated test generation , symbolic execution , fuzzing techniques , and program synthesis . His work bridges theoretical foundations with practical tool development for real-world software verification challenges. Analysis of his publication record reveals consistent contributions to automated testing methodologies, with recent work integrating machine learning (particularly large language models) into traditional program analysis techniques. His research shows strong continuity in improving software reliability through innovative input generation and vulnerability detection approaches. As an active academic leader, he has served as General Chair for MAPL (2020), Program Chair for ISSTA (2017), and committee member for numerous top-tier conferences including PLDI, ICSE, and SPLASH across multiple years. His academic advising manifests through collaborative publications with students on topics like test corpus expansion (Bonsai Fuzzing), visualization synthesis (VizSmith), and smart contract auditing (ItyFuzz), though specific student names aren't listed in the source material. His research has been supported through conference participations and likely associated grants given his extensive publication record.

Ilya Sergeyمشاهده پروفایل

دانشیار

• Programming Languages
• Concurrency
• Type Theory
• +۷ مورد دیگر

Ilya Sergey is an Associate Professor at the National University of Singapore (NUS) School of Computing, with previous faculty appointments at University College London (2015-2018). His academic career spans multiple prestigious institutions including IMDEA Software Institute (postdoctoral position) and KU Leuven (PhD). His educational background includes a PhD in Computer Science from KU Leuven (2012), an MSc in Mathematics and Computer Science from Saint Petersburg State University (2008), and professional experience as a software engineer at JetBrains prior to academia. Sergey's research focuses on the intersection of programming language theory and practical software verification, with particular emphasis on concurrent systems , smart contracts , and program synthesis . His work bridges theoretical foundations in type theory and separation logic with practical applications in blockchain technology and Rust programming. He has developed novel techniques for verifying heap-manipulating programs, analyzing commutativity in distributed transactions, and synthesizing correct-by-construction code. Analysis of his recent publications reveals a clear trajectory toward practical verification of blockchain systems and concurrent data structures, with increasing focus on Rust programming language applications. His work demonstrates consistent innovation in mechanized reasoning techniques while maintaining relevance to real-world software challenges, particularly in the domains of smart contracts and distributed systems. Sergey maintains an active research group at NUS, as evidenced by his social media references to lab traditions and student collaborations. He frequently participates in major programming languages conferences as both author and committee member, serving in leadership roles including General Chair for ICFP 2025. His research lab follows distinctive traditions, including location-based Mattermost status updates when traveling. Sergey is deeply engaged with the programming languages community through conference organization, mentoring activities, and outreach initiatives such as nature walks for conference attendees.

Maria Halkidiمشاهده پروفایل

دانشیار

• Data Mining
• Machine Learning
• Recommender Systems
• +۶ مورد دیگر

Maria Halkidi is an Associate Professor in the Department of Digital Systems at the University of Piraeus, Greece, where she conducts cutting-edge research in data mining and machine learning with over two decades of academic experience. Her educational background includes: Bachelor's degree in Informatics from the University of Piraeus (1997) Master's degree from Athens University of Economics and Business (1999) Ph.D. from Athens University of Economics and Business (2003) Dr. Halkidi's research focuses on fundamental and applied aspects of data mining, particularly recommender systems, graph data mining, cluster validity assessment, and distributed data mining. Her work bridges theoretical frameworks with practical implementations in sensor networks, social media, and real-time analytics, contributing significantly to algorithmic development in these domains. Analysis of her recent publications reveals a strong trajectory toward fairness and diversity optimization in recommender systems, alongside innovative approaches to graph clustering quality assessment and scalable sentiment analysis. Her research consistently addresses real-world challenges in dynamic data environments, with increasing emphasis on multi-stakeholder optimization and privacy-aware recommendation frameworks. Scientific awards: No specific awards or honors were documented in the provided materials. Dr. Halkidi has participated extensively in National and European-funded research projects, including a prestigious Marie-Curie fellowship at the University of California, Riverside. She serves on program committees for major international conferences in data mining and machine learning, demonstrating active community engagement. While specific graduate students aren't listed in the source materials, her professorial role indicates ongoing mentorship of Master's and Ph.D. candidates. She maintains active research affiliations with the Network oriented systems & services lab and the DataStories research group at the University of Piraeus, where she collaborates on interdisciplinary projects involving big data analytics, social network analysis, and distributed systems.

Apostolos Ampatzoglouمشاهده پروفایل

دانشیار

• Technical Debt
• Reverse Engineering
• Software Maintainability
• +۵ مورد دیگر

Apostolos Ampatzoglou serves as Associate Professor in the Department of Applied Informatics at the University of Macedonia, where he leads research in software engineering with particular emphasis on technical debt management and software quality. Previously, he held an Assistant Professor position at the University of Groningen (2013-2016) and maintains active collaborations across European research initiatives. His academic credentials include a PhD in Software Engineering from Aristotle University of Thessaloniki (2013), MSc in Computer Systems from the University of Macedonia (2005), and BSc in Informatics from the Technological Education Institute of Thessaloniki (2003). Dr. Ampatzoglou's research program centers on technical debt quantification, reverse engineering, and software maintainability. He pioneered financial models for technical debt management and developed metrics for assessing ripple effects in software systems. His work bridges theoretical foundations with industrial applications through projects like SDK4ED and SmartCLIDE, focusing on energy-efficient development and cloud service engineering. Current investigations explore machine learning applications for vulnerability prediction and technical debt prioritization. His extensive publication record reveals strong trends in applying AI to software quality assurance, with recent work emphasizing transformer models for vulnerability detection and explainable AI for technical debt identification. He actively investigates energy-aware development practices and service-oriented architecture patterns in cloud environments. Notable recognitions include: Top-7 reviewer for Journal of Systems and Software (2022) Best paper awards at IGSCC'21, ICSR'18, and EASE'17 18th most active Consolidated Researcher in Software Engineering (2013-2020) 3rd most active Early Stage Researcher (2010-2017) Multiple personal research grants from National Scholarships Association He has successfully supervised PhD candidates including Dr. Areti Ampatzoglou (Best PhD Thesis Award, University of Groningen) and Dr. Elvira-Maria Arvanitou (VERSEN Institute award). His research is funded through major European projects such as SDK4ED, SmartCLIDE, and SKILLAB, with recent grants exceeding €2M in total funding. Current work focuses on FAIR data implementation and skills gap analysis in European labor markets. As leader of the Software Engineering Lab at the University of Macedonia, he directs a 15+ member team working on technical debt management tools, cloud development environments, and XR applications for warehouse management. The lab maintains strong industry partnerships with technology clusters in Thessaloniki and participates in the Eclipse Foundation ecosystem.