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

Mohammad Hamdaqaمشاهده پروفایل

دانشیار

• Software Engineering
• Model-Based Software Engineering
• Cloud Computing
• +۷ مورد دیگر

Mohammad Hamdaqa is an Associate Professor in the Department of Computer Engineering and Software Engineering at Polytechnique Montréal, where he leads the Laboratory of Software and Emerging Technologies. His academic journey includes a Ph.D. in Electrical and Computer Engineering from the University of Waterloo (2016), a Master's in Electrical and Computer Engineering from Concordia University, an MBA from the New York Institute of Technology, and a Bachelor's in Computer Engineering from Jordan University of Science and Technology. His research focuses on the intersection of software engineering and emerging technologies, particularly examining how software engineering approaches can be adapted for complex new platforms like cloud computing and blockchain. His work spans model-driven software engineering, cloud application architecture, smart contract development, and infrastructure as code. He investigates both how traditional software engineering practices can evolve to address the challenges of modern distributed systems and how emerging technologies can transform software development processes themselves. Analysis of his recent publications reveals a strong emphasis on blockchain technologies (particularly smart contracts), cloud-native applications, and the application of AI to software engineering tasks. His work shows a consistent thread of empirical research combined with practical tool development, with increasing focus on sustainability aspects of software systems in recent years. Much of his research bridges theoretical foundations with practical implementation concerns. Professor Hamdaqa serves as a thesis supervisor for multiple graduate students, with recent completed Master's theses focusing on smart contract auditing, prompt engineering for OCL generation, model-driven epidemiology, and security practices in infrastructure as code. He actively recruits students for research projects in his laboratory. He is a member of both the IEEE Computer Society and the Association for Computing Machinery (ACM), has served on program committees for major software engineering conferences, and is on the editorial board of Service Transaction on Internet of Thing. His laboratory, the Laboratory of Software and Emerging Technologies, serves as the hub for his research activities in blockchain, cloud computing, and model-driven engineering.

Zhendong Suمشاهده پروفایل

استاد

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

Zhendong Su is a full professor in the Department of Computer Science at ETH Zurich since August 2018. Previously, he held a full professorship at UC Davis from 2003 until June 2019. He earned his Ph.D. in Computer Science from UC Berkeley and dual Bachelor’s degrees in Computer Science and Mathematics from UT Austin in 1995. Affiliations: ETH Zurich: Full Professor (since 2018) UC Davis: Full Professor and Chancellor’s Fellow (2003–2019) IEEE Fellow, ACM Fellow, and Member of Academia Europaea His research focuses on programming languages, compilers, software engineering, computer security, and education technologies . Key contributions include compiler validation (e.g., Project Yin-Yang for SMT solvers and DBMS testing), testing tools like SQLancer, and educational innovations such as the Algot visual programming language. Recent work emphasizes secure AI (e.g., CipherSteal for TEE-shielded models) and compiler reliability (e.g., Artemis/Apollo for JIT validation). He has pioneered techniques like metamorphic testing and equivalence modulo inputs (EMI) for compiler validation, uncovering thousands of bugs in GCC/LLVM and SMT solvers. Awards: ICSE MIP Award (2022), ACM SIGSOFT Impact Paper (2018), NSF CAREER Award, and multiple industrial awards. His students have won IEEE TCSE Rising Star and SIGSOFT Impact Paper awards, securing roles at top universities and companies like Google and NVIDIA. Service: Steering committee member of ISSTA and ESEC/FSE, ACM Distinguished Speaker, and Associate Editor for ACM TOSEM. Program chaired ISSTA 2012 and co-chaired FSE 2016. Labs/Teams: Leads research groups on compiler validation, secure AI, and education technologies. Projects include Yin-Yang (SMT testing), SQLancer (DBMS fuzzing), and Algot (visual programming for education).

• Cybersecurity
• Network Protocols
• Cloud Computing
• +۷ مورد دیگر

Damir Regvart is a lecturer at Algebra University of Applied Sciences , specializing in Cybersecurity , Network Protocols , and Cloud Computing . With a background in Electrical Engineering and a Master's in Electrical Engineering from the Faculty of Electrical Engineering and Computing in Zagreb (2002), he focuses on advanced network security protocols, Zero-touch technologies, and cloud infrastructure. Research Highlights : Zero Trust Architecture, Honeypot Deception Strategies, Machine Learning in Threat Detection, Microsoft Azure Security, and Infrastructure as Code hardening. Key Projects : Pan-European and national initiatives in network automation, cloud forensics, and IoT security. Recent Publications (2024-2025) explore cutting-edge topics like AI-driven security testing, forensic capabilities in cloud environments, and the intersection of SDN and cybersecurity. His work addresses vulnerabilities in cryptographic systems and the legal implications of digital signatures. Technology Focus : Zero-touch provisioning, Microsoft Sentinel automation, and RedFish/vSphere API integration.

• Cybersecurity Awareness
• Security and Usability Alignment
• Requirements Engineering
• +۹ مورد دیگر

Maria Pinto-Albuquerque is an Assistant Professor at Iscte - University Institute of Lisbon, affiliated with the Department of Information Science and Technology (ISTA) and ISTAR-Iscte Research Center. Her work bridges software engineering, cybersecurity, and human-centered computing, with a strong focus on security awareness and education. PhD in Computer Science, University of Lancaster, UK Master’s in Computer Science, Faculty of Sciences, University of Lisbon Bachelor’s in Applied Mathematics and Computing, Instituto Superior Técnico Her research explores the intersection between people and computer systems, particularly in cybersecurity awareness , security-usability alignment , and requirements engineering . She develops tools such as serious games and interactive platforms to improve secure system development practices among engineers and stakeholders. Her recent publications (2021–2024) highlight a consistent focus on cloud security training , secure coding education , and the use of gamification—including board games and digital challenges—to raise awareness in industry settings. Topics like AI-generated code (e.g., ChatGPT), low-code vulnerabilities, and hybrid work security are also emerging in her recent work. UK National Innovation in Cyber Award 2020 (for 'Decisions and Disruptions' game) Member of IEEE, British Computer Society, Iscte Alumni, Lancaster University Alumni Maria actively collaborates with international institutions such as the University of Bristol (UK), UniBW Munich (Germany), and Siemens Technology. She contributes to curriculum development and workforce training in secure software engineering, advising on pedagogical strategies and conducting industry-focused research. Her work includes designing and assessing cybersecurity challenges and automated training platforms. She leads and contributes to research in cybersecurity games, developer awareness, and secure cloud deployments, often in collaboration with teams across Europe. Her lab-based and field research integrates human factors into technical security solutions.

Jolan PHILIPPEمشاهده پروفایل

مدرس

• Distributed Systems
• Infrastructure as Code (IaC)
• Model Driven Engineering
• +۵ مورد دیگر

Jolan PHILIPPE is a Lecturer at University of Orléans affiliated with LMV research laboratory, and currently holds a postdoctoral position at Université de Rennes in the DiverSE team under the supervision of Olivier Barais. His research focuses on Infrastructure as Code (IaC) and distributed systems reconfiguration, with particular emphasis on formal methods and model-driven approaches. His primary research interests include: Distributed Systems and Cloud Computing Infrastructure as Code (IaC) and DevOps Model Driven Engineering Formal Methods and Verification Parallel and Distributed Programming Algorithmic Skeletons Dr. PHILIPPE's work demonstrates a strong trajectory from foundational research in parallel programming models (particularly through his work on PySke) to applied research in distributed system reconfiguration. His recent publications show increasing focus on formal approaches to infrastructure management, with significant contributions to languages like Concerto-D and frameworks like Ballet for cross-DevOps reconfiguration. His research bridges theoretical computer science (formal methods, verification) with practical cloud infrastructure concerns. He is actively supervising two PhD candidates: Haitam El Hayani (Taranis project, 2024-2027) - Extending Infrastructure as Code (IaC) languages, focusing on enhancing capabilities and integration with modern cloud deployment practices Olivia Proust (For-Coala project, 2025-2028) - Towards formally verified configuration management languages Dr. PHILIPPE is deeply involved in research coordination: Coordinator of the "Défi GDR GPL" (challenge) ADDYCT (ADaptation DYnamique et ConTinue) for 2026-2030 One of the leaders of the GDR GPL's GT SyLA (Groupe de Travail - Système Logiciel Adaptable) since February 2025 Helped organize the VELVET (Verification and Software Engineering for DevOps and Reconfiguration) days in Nantes, December 2023 His service to the academic community includes: Program Committee Member for DebConf 2025, ICCS 2025, LowCode@MODELS 2025 Publicity Chair and Program Committee Member for UCC 2025 and BDCAT 2025 Reviewer for journals (COLA, SoSyM) and multiple international conferences

• Software Engineering
• Software Security
• Machine Learning for Code
• +۲ مورد دیگر

Qing Liao is a Researcher at Harbin Institute of Technology, specializing in software engineering with a focus on security, machine learning applications for code, and automation. His work bridges theoretical and practical challenges in modern software systems. Research Interests: Qing's research spans several interconnected areas: Software Security : Vulnerability detection, patch analysis, and configuration security. Machine Learning for Code : Application of ML models (e.g., transformers, graph networks) to code understanding, generation, and API recommendation. Program Analysis : Techniques for static analysis, browser fuzzing, and performance tuning. Automation : Tools for IaC generation, UI-to-code transformation, and configuration optimization. Publication Trends (2022–2026): His recent publications emphasize security (7/11 papers), particularly vulnerability detection using graph learning and static analysis. A secondary focus is ML-driven code automation (4/11 papers), including knowledge distillation, API generation, and UI-to-code systems. Work consistently targets real-world applicability, evidenced by industry-track publications at ASE/ICSE.

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

Jacques Klein is Full Professor of Software Engineering and Mobile Security at the University of Luxembourg. His research bridges software engineering principles with security challenges in modern computing environments. Research focuses on software security, mobile systems analysis, and increasingly on large language model applications for program analysis. Recent work examines Android ecosystem security, infrastructure-as-code vulnerabilities, and AI-enhanced program repair techniques. Klein's 2025 publications demonstrate strong emphasis on LLM capabilities for automated compliance checking, malware detection, and program understanding. The research combines empirical software engineering with AI methodologies to address security and maintenance challenges.

Akond Rahmanمشاهده پروفایل

استادیار

• Cybersecurity
• DevOps
• Software Engineering
• +۳ مورد دیگر

Akond Rahman is an Assistant Professor in the Department of Computer Science and Software Engineering at Auburn University. His research focuses on Cybersecurity, DevOps, and Software Engineering, with particular emphasis on securing infrastructure as code, container orchestration, and leveraging AI in software development. He has received multiple National Science Foundation (NSF) grants, including a three-year $553,295 grant to study software resilience in container orchestration. He actively contributes to cybersecurity education through hands-on labware modules and has been recognized for his work in quantum computing applications for malware detection. Education: Ph.D. Computer Science, North Carolina State University M.S. Computer Science and Engineering, University of Connecticut B.S. Computer Science and Engineering, Bangladesh University of Engineering and Technology Research Interests: Cybersecurity in DevOps pipelines Secure configuration management Quantum computing for malware classification Generative AI in software development Infrastructure as Code vulnerabilities His work has been featured in prominent venues like the International Conference on Software Engineering, and he collaborates with industry to bridge academic research and practical security solutions. Awards/Grants: NSF Grant: Resilient Operations for Deployment Units Used in Container Orchestration Principal Investigator on multi-institution cyber workforce development program Advising & Labs: Leads research in the Center for Artificial Intelligence and Cybersecurity Engineering at Auburn, focusing on practical implementations of secure DevOps practices and quantum-enhanced security tools.

Pascal Weisenburgerمشاهده پروفایل

پژوهشگر

• Programming Languages
• Multitier Programming
• Tierless Programming
• +۱۲ مورد دیگر

Pascal Weisenburger is a researcher at the School of Computer Science , University of St. Gallen. His work focuses on programming languages for distributed systems , emphasizing multitier programming, reactive paradigms, and type-driven placement reasoning. Research Themes : Multitier programming languages, CRDTs, dynamic placement type systems, reactive microservices, compiler correctness, and domain-specific scheduling. Recent Articles : Explored E-graphs for disequality reasoning (POPL 2025), array type duality in functional languages (ECOOP 2024), and formal verification of CRDTs (PLDI 2023). Committee Roles : Participated in program/steering committees for ECOOP, SPLASH, APLAS, and IEEE BigData conferences. Key Contributions : Developed the ScalaLoci language for multitier systems, proposed Propel for algebraic property verification, and introduced Dyno for static reasoning in dynamic placement scenarios.

Mohamed Wiem Mkaouerمشاهده پروفایل

دانشیار

• Software Engineering
• Refactoring
• Artificial Intelligence
• +۷ مورد دیگر

Mohamed Wiem Mkaouer is an Associate Professor of Software Engineering in the Golisano College of Computing and Information Sciences at Rochester Institute of Technology (RIT). He serves as the principal investigator of the SMILE (Software Maintenance and Intelligent Evolution) Research Lab, which focuses on designing intelligent algorithms to tackle software engineering problems. Dr. Mkaouer has published over 130 peer-reviewed papers in top venues including TSE, TOSEM, EMSE, ICSE, FSE, CHI, and ASE, and has secured $1.5 million in externally funded projects as PI/Co-PI. PhD in Computer and Information Science, 2016, University of Michigan MS in Computer Science, 2010, University of Geneva (Switzerland) BS in Computer Science, 2007, University of Tunis (Tunisia) Dr. Mkaouer's research spans the intersection of Software Engineering and Artificial Intelligence, with particular focus on software quality assurance, systems refactoring, and the application of search-based techniques. His work increasingly explores the integration of large language models in software development processes, examining how AI tools like ChatGPT impact developer workflows, code quality, and refactoring practices. His research often employs empirical methods, mining software repositories, and conducting large-scale studies of developer behavior. Analysis of Dr. Mkaouer's recent publications reveals a strong trend toward investigating AI-assisted software development, particularly focusing on how developers interact with large language models for code refactoring and quality improvement. His work bridges traditional software engineering concerns with emerging AI capabilities, examining both infrastructure-as-code quality and mobile application development challenges. His research methodology typically combines empirical studies of developer practices with the development of intelligent tools to support software maintenance. Recipient of 5 best-paper/presentation awards RIT GCCIS Best Emerging Researcher Award (2020) Dr. Mkaouer actively mentors a diverse group of students at multiple levels, from undergraduate to PhD candidates, through the SMILE Research Lab. His externally funded projects demonstrate the practical relevance of his research to industry needs. He also contributes significantly to the software engineering community through service on program committees for major conferences including ASE, ICSE, and ICSME, where he frequently serves in leadership roles for tracks related to software maintenance, refactoring, and AI in software engineering. The SMILE Research Lab, under Dr. Mkaouer's leadership, maintains strong industry connections and collaborates with researchers worldwide. The lab's work has practical implications for improving software quality, reducing technical debt, and enhancing developer productivity through intelligent tooling and evidence-based practices.

Vasilios Andrikopoulosمشاهده پروفایل

دانشیار

• Cloud Computing
• Software Architecture
• Sustainable Systems
• +۳ مورد دیگر

Prof. Vasilios Andrikopoulos is an Associate Professor at the University of Groningen’s Faculty of Science and Engineering, within the Software Engineering department of the Bernoulli Institute. His research focuses on Cloud-based applications, sustainable software systems, and infrastructure as code. He leads the SEARCH group, specializing in software architecture, cloud computing, and systems engineering. Research Interests: - Cloud-native systems and energy efficiency - Sustainable software engineering practices - Infrastructure cost optimization - Systems-of-systems architecture Recent work emphasizes green computing, including lifecycle management for sustainable business processes and energy-efficient cloud-native systems. His team collaborates on projects like cost-aware IaC patterns and serverless data processing frameworks. Labs/Teams: Member of the SEARCH group, which develops methodologies for cloud application engineering and systems-of-systems integration.

• Computer Science
• Software Engineering
• Databases
• +۴ مورد دیگر

Mark Bonicillo is a part-time lecturer in Computer Science at Northeastern University’s Seattle campus while maintaining a parallel full-time career in software engineering. Currently a Software Engineer II at Microsoft Azure Synapse, he leverages extensive industry experience to teach graduate-level courses in databases, object-oriented programming, and software development. Education Master of Science in Computer Science, Northeastern University (2015–2017) Master of Business Administration, University of Washington Foster School of Business (2012–2014) Bachelor of Arts in Philosophy, Seattle University (1999–2003) Research & Teaching Interests Mark’s interests bridge practical software engineering and foundational computer-science education. He focuses on cloud infrastructure, infrastructure-as-code (IaC), DevOps automation, databases, and AI-assisted development workflows. These themes feed directly into the graduate courses he teaches and the industrial projects he leads. Publication Trends His single 2024 publication introduces HyperNetX , an open-source Python library for modelling complex network data as hypergraphs. The work reflects his broader commitment to scalable software systems, data structures, and open-source tooling. Industry Contributions & Mentoring Beyond the classroom, Mark mentors software-engineering interns and has delivered numerous technical talks on cloud architecture, CI/CD best practices, and AI-driven development. His mentorship produced an AI-based prediction tool for the Public Employment Service of Manitoba.

Rudolf Eigenmannمشاهده پروفایل

استاد

• Optimizing Compilers
• High-Performance Computing
• Parallel Programming Methodologies
• +۳ مورد دیگر

Rudolf Eigenmann is a Distinguished Professor at the University of Delaware, where he leads research in optimizing compilers, parallel programming methodologies, and high-performance computing. Previously, he served as a Professor at Purdue University and Program Director at the National Science Foundation’s Office of Advanced Cyberinfrastructure (2013–2017). He holds a Ph.D. in Electrical Engineering/Computer Science from ETH Zurich, Switzerland. Research Focus: His work centers on compiler optimization, parallelization techniques, and cyberinfrastructure design. Notable projects include the iCetus parallel programming assistant, the Portal for High-Precision Atomic Data and Computation, and advancements in automatic and interactive parallelization using the Cetus compiler infrastructure. Awards & Recognition: IEEE Fellow (202?) NSF CAREER Award (1997) Best Student Paper Award (ACM International Conference on Supercomputing, 2010) IEEE Distinguished Visitor (2003–2005) Professional Contributions: Dr. Eigenmann has advised national initiatives like the Xpert Network (exchanging best practices for computational research) and served on advisory boards for XSEDE, MolSSI, and IACS. His recent publications explore AI-driven code optimization, compiler infrastructure, and high-precision computational tools. Labs & Projects: Key projects include the Portal for Atomic Data (supporting precision computation in physics) and the iCetus tool, which semi-automates parallel programming tasks. His work bridges theoretical compiler research with practical high-performance applications.

Abel Yeboah-Oforiمشاهده پروفایل

دانشیار

• Cyber Security
• Digital Forensics
• Cloud Computing Security
• +۷ مورد دیگر

Dr. Abel Yeboah-Ofori is an Associate Professor in Cyber Security at the University of West London's School of Computing and Engineering. He holds a PhD in Cyber Security and has over 11 years of teaching experience at universities such as the University of East London. His expertise spans Cyber Security, Digital Forensics, and Computer Science, with a focus on cryptographic algorithms, cloud security, blockchain, and AI-driven threat detection. He is a certified Cyber Security Practitioner and Prince 2 Project Management Practitioner, and has contributed to high-level initiatives like the Commonwealth Cybercrime Initiative and the Global Cyber Security Capacity Centre's Maturity Assessment Program. Abel's research interests include enhancing cyber resilience in supply chains, mitigating social engineering attacks in emerging technologies like the Metaverse, and securing IoT devices for vulnerable populations. He actively participates in international workshops on cybercrime prevention, child online protection, and public sector fraud reduction. His work bridges academic research with practical applications, emphasizing ethical considerations in digital forensics and compliance frameworks in multi-cloud environments. He teaches a range of programs, including BSc/MSc Cyber Security, Digital and Technology Solutions, and Industrial IoT. His advisory roles include contributions to national cyber security policy development with the Ministry of Communications and the Council of Europe. While no specific scientific awards are listed, his involvement in global initiatives underscores his impactful contributions to the field. Abel’s research trends prioritize predictive analytics for cyber threats, blockchain security, and AI integration in cybersecurity. He explores the intersection of technology and human factors, particularly in contexts like accessibility and emerging economies. His publications highlight the need for adaptive security measures in evolving digital landscapes and the socio-technical dimensions of cybercrime.

Mark Santolucitoمشاهده پروفایل

استادیار

• Program Synthesis
• Computer Music
• DevOps
• +۴ مورد دیگر

Mark Santolucito is an Assistant Professor of Computer Science at Barnard College, Columbia University. He holds a PhD in Computer Science from Yale University, where his research focused on program synthesis and computer music. His current work explores program synthesis techniques to enhance programmer productivity, particularly in lowering barriers to entry for underrepresented groups and optimizing workflows for advanced developers. He leads the Barnard PL (Programming Languages) Labs, which develops tools like TSL (Temporal Stream Logic) for synthesizing reactive systems and analyzing infrastructure-as-code (IaC). His research intersects formal methods with creative applications in music and live coding, emphasizing accessibility and usability. Education: PhD in Computer Science (Yale University), focusing on program synthesis and computer music. Research interests include program synthesis, temporal logic specifications, infrastructure configuration analysis, and music technology. He emphasizes human-centered design in his work, aiming to make programming more accessible through tools like TSL and interactive synthesis environments. Projects include TSL Move Cube, Block-based Editor for Temporal Logic, and Spiral Analysis for medical software migration. Notable contributions include developing TSL synthesis pipelines, optimizing Arduino configurations, and exploring static analysis for cost prediction in cloud deployments. His work bridges theoretical foundations with practical applications in both software engineering and creative computing. Labs/Teams: Leads Barnard PL Labs, collaborating on projects like TSL Synthesis Engine and Static Analysis for IaC. Active in workshops such as SEConfig and FMCAD.