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

Fernando Magno Quintão Pereiraمشاهده پروفایل

دانشیار

• Compilers
• Code Generation
• Compiler Optimizations
• +۳ مورد دیگر

Fernando Magno Quintão Pereira is an Associate Professor at the Federal University of Minas Gerais (UFMG), Brazil, specializing in compiler design and program analysis. His academic journey began with a Ph.D. from UCLA in 2008 under Jens Palsberg's supervision, establishing his foundation in compiler research. His research focuses on compilers , with core expertise in code generation , compiler optimizations , and static program analyses . Recent work explores quantum compilation, binary analysis, and security-aware compilation techniques. His publications reveal consistent contributions to major conferences including PLDI, CGO, and SPLASH, with emphasis on practical optimization frameworks and theoretical compiler advancements. Analysis of his 15 most recent publications (2020-2026) shows dominant themes in binary optimization (e.g., AnghaBench), security-aware compilation (e.g., Memory-Safe Elimination of Side Channels), and emerging architecture support (e.g., Quantum Computing Compilation). His work bridges theoretical compiler principles with real-world systems challenges. He actively contributes to the academic community through: Program committees for PLDI (2020-2025), CGO (2021-2026), and SPLASH conferences Leadership roles including CGO Finance Chair (2026) and PLDI Diversity & Inclusion Co-Chair (2023-2024) Organizing JENSFEST 2024 and serving on multiple conference steering committees Pereira maintains an active research group evidenced by continuous publication output and conference leadership, with his personal website ( homepages.dcc.ufmg.br/~fernando/ ) serving as a hub for his academic activities.

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.

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.

• Entity Resolution
• Record Linkage
• Privacy-Preserving Record Linkage
• +۳ مورد دیگر

Dimitrios Karapiperis serves as an Academic Scholar at the School of Science and Technology, International Hellenic University (IHU), specializing in Entity Resolution and Privacy-Preserving Record Linkage. Previously, he held a post-doctoral position at the Hellenic Open University. He earned his PhD from the Hellenic Open University and his MSc from the University of York (UK). His doctoral thesis was featured in the IEEE Intelligent Informatics Bulletin of August 2017, highlighting its significance in the field. Dr. Karapiperis' research centers on developing advanced algorithms for entity resolution, including similarity measures, data structures, and scalable distributed solutions using randomization techniques. His work extends to privacy-preserving methods for record linkage with applications in electronic health records, cryptocurrency analysis, and social media sentiment. He has made significant contributions to efficient record linkage in data streams and spatio-temporal data through innovative blocking techniques and approximation schemes. His recent publications (2020-2022) reveal a consistent focus on scalable and privacy-aware record linkage, with increasing applications in financial technology and affective computing. Collaborations with prominent researchers like V.S. Verykios have resulted in numerous publications in top venues including IEEE Big Data and IEEE TIFS, demonstrating expertise in both theoretical foundations and practical implementations. Scientific Recognition Doctoral thesis featured in IEEE Intelligent Informatics Bulletin (2017) Research Projects University of York: Development of Java servlets for converting VisioXML into GSML within the High Integrity Systems Engineering research group University of Macedonia: Standardization of distance learning systems University of Macedonia: Establishment of a data bank for the fur sector in Kastoria University of Macedonia: System for organizing business processes of the Ministry of Macedonia and Thrace Dr. Karapiperis has collaborated with research teams across multiple institutions, contributing to diverse projects from healthcare data integration to government business process optimization, while maintaining active research in scalable entity resolution methodologies.

Georgios Kokosalakisمشاهده پروفایل

استادیار

• Maritime Systems
• Environmental Protection
• Shipping
• +۶ مورد دیگر

Dr. Georgios Kokosalakis serves as Assistant Professor at the School of Business and Economics, American College of Greece (ACG), and Executive Director of the Center of Excellence in Logistics, Shipping and Transportation (CoELST). He maintains dual academic roles as Senior Research Associate at University of Patras' Civil Engineering Department and Educational Counselor at MIT, while also directing industry ventures through Proteus Marine Ltd. His academic credentials include: Science Doctorate in Civil and Environmental Engineering, MIT (2006) Master of Science in Civil and Environmental Engineering, MIT (2000) Diploma in Civil Engineering (Structural Division), National Technical University of Athens (1998) Dr. Kokosalakis' research centers on Maritime Systems and Environmental Protection, with emphasis on operational efficiency, energy conservation, and emissions control in shipping logistics. His interdisciplinary approach integrates large data analytics, systems modeling, and sensor technology to develop practical solutions for sustainable maritime operations while addressing environmental pollution challenges. Recent publications (2019-2021) reveal dual research trajectories: maritime-focused work on energy efficiency impacts on container ship valuation, regulatory responses in shipping, and pandemic effects on second-hand markets; and civil engineering contributions to water distribution network optimization through probabilistic modeling of minimum night flow and real losses. This cross-disciplinary pattern demonstrates his ability to transfer methodologies between maritime and infrastructure domains. His scientific recognition includes: Schoettler Fellowship Award from MIT (2002-2003) Technical Chamber of Greece Best Thesis Award (1998) Exceptional Student Performance Awards (1995-1997) Active grant funding supports his research through projects with Athens Water Supply Company (2021), Greece's Center for Renewable Energy Sources (2020), and Hellenic Foundation for Research Innovation (2019). His industry experience as a shipowner and Proteus Marine Ltd Director provides practical grounding for academic work, though specific student supervision details aren't documented in available materials. The Center of Excellence in Logistics, Shipping and Transportation (CoELST) functions as his primary research ecosystem, facilitating collaborations between ACG, University of Patras, MIT, and maritime industry partners to advance sustainable transportation solutions through integrated engineering and business perspectives.