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

• Space Systems Engineering
• Computer Architecture
• Embedded Systems
• +۵ مورد دیگر

Pablo Parra Espada is an Associate Professor at the Department of Automática, University of Alcalá (Spain), affiliated with the Space Research Group (SRG-UAH). He holds a PhD from the University of Alcalá (2012) titled Integración de tecnologías de desarrollo y análisis basadas en componentes bajo un enfoque multi-plataforma , supervised by Dr. Sebastián Sánchez Prieto and Dr. Óscar Rodríguez Polo. His research focuses on space systems engineering , particularly in RISC-V processor design , embedded systems , and model-driven engineering . Key areas include hardware-software co-design for satellite systems, real-time computing, and fault-tolerant architectures. He has contributed to the Solar Orbiter mission through work on the Energetic Particle Detector (EPD) and its on-board software validation. His recent work emphasizes virtualization techniques for LEON processors, FPGA-based digital beamforming , and spaceborne phased array systems . He also explores model-driven approaches for automated configuration of ground support equipment. His interdisciplinary contributions bridge computer architecture with aerospace applications. Prof. Parra Espada has published extensively on topics such as hardware performance monitoring, memory management units for satellites, and system-level verification of space software. His work combines rigorous engineering methodologies with cutting-edge technologies to address challenges in space instrumentation and embedded systems.

• Engineering Education
• Remote Experimentation
• Design for Debug & Test
• +۳ مورد دیگر

Gustavo Alves is an Adjunct Professor at the Department of Electrical Engineering , School of Engineering , Polytechnic Institute of Porto , Portugal. He holds a PhD in Computers and Electrical Engineering from the University of Porto (1999) and has authored over 250 publications, including books, journal articles, and conference papers. His research focuses on engineering education , remote experimentation (weblabs), and design for debug & test , with significant contributions to global initiatives like the Global Online Laboratory Consortium (GOLC) and the Portuguese Society for Engineering Education (SPEE) , where he serves as President. Dr. Alves has led 19 national and international research projects and co-edited books on remote labs. His editorial roles include Associated Editor for IEEE Transactions on Learning Technologies and guest editorships for journals like iJOE , iJEP , and Computers in Human Behavior . He has chaired major conferences such as REV2014 , TEEM2015 , and EDUCON2020 , emphasizing the role of technology in bridging educational gaps and fostering diversity in STEM. His recent publications (2017-2019) analyze the effectiveness of remote labs in enhancing experimental skills, contextualizing mathematics in engineering education, and promoting sustainable laboratory practices. These works highlight trends in technology-enhanced learning , gender perspectives in engineering curricula , and collaborative education models . Despite his extensive involvement in conferences and projects, he has not yet supervised PhD students. Email: gca@isep.ipp.pt Phone: +351 228340532 Affiliations: IEEE Senior Member, President of SPEE, Vice-President of GOLC, member of OE and VISIR-SIG

• Software Quality
• Quantum Computing
• Information Systems
• +۵ مورد دیگر

Mario Piattini is a Full Professor at the School of Computer Science of the University of Castilla-La Mancha (UCLM) in Spain, where he has served since 2002. He is the founder of the Alarcos research group and has held leadership roles including Director of the Mixed Center for Software Research and Development UCLM-Indra and Director of the Institute of Technologies and Information Systems (ITSI) at UCLM. He has also served as an associate professor at Universidad Complutense and Universidad Carlos III de Madrid. His educational background includes a PhD and degree in Computer Science from Universidad Politécnica de Madrid, a Psychology degree from UNED, and a Doctor Honoris Causa from Universidad de La Plata (Argentina). He holds multiple master's degrees in IT Audit, Human Resources Management, and Project Management, along with professional certifications including CISA, CISM, CRISC, CGEIT, PMP, and data governance certifications from DAMA. Professor Piattini is a leading expert in software quality, information systems, and security, with a recent strong focus on quantum computing and quantum software engineering. His research spans software engineering methodologies, data quality, AI systems, and the emerging field of quantum software development. He has been recognized as one of the top 15 scholars in systems and software engineering (2004-2008) and among the most active software engineering researchers (2010-2017). His recent publications reveal a significant shift toward quantum computing, with numerous articles on quantum software engineering, quantum-classical hybrid systems, quantum testing frameworks, and quantum software architecture. His work bridges theoretical foundations with practical engineering approaches for the emerging quantum computing paradigm. His scientific recognition includes multiple prestigious awards: Premio Nacional a la Trayectoria Profesional del Ingeniero Informático Premio Gabriel Alonso Herrera from JCCM for research trajectory Premio Grace Hooper from COIICLM Premio Aritmel from SCIE Premio FIUM from Universidad de Murcia Premio a la Trayectoria Profesional de ISACA Madrid As an academic leader, Piattini has founded several spinoff companies including Cronos Ibérica (now Alten), Kybele Consulting, Lucentia Lab, DQTeam, AQCLab (the first ENAC-accredited laboratory for software product quality and data evaluation), and I2SC. He serves as secretary of CTN71/SC7 and is a member of various ISO/IEC and UNE standardization committees, contributing significantly to software quality standards development. His research group has established AQCLab, which has been evaluating software quality for 25 years, demonstrating his long-term commitment to practical applications of software engineering research. Through his leadership in both academic and industrial contexts, Piattini has created a robust ecosystem connecting theoretical research with real-world software quality practices.

Antonio García Cabotمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Educational Technology
• Natural Language Processing
• +۵ مورد دیگر

Antonio García Cabot is an Associate Professor in the Department of Computer Science at the University of Alcalá. His research focuses on artificial intelligence, educational technology, natural language processing, and mobile computing. He leads the INTELIA research group (Interaction Technologies and Artificial Intelligence Lab) and previously contributed to the PMI group (Intelligent Mobile Platforms). He earned his Doctorate in Computer Science from the University of Alcalá in 2013 with a thesis titled *Propuesta de un sistema multi-agente para la adaptación de contenidos docentes a las competencias, contexto y dispositivo del usuario*. His work emphasizes accessibility in digital education, gamification in MOOCs, and software engineering innovations like automated code repair using LLMs. Research trends in his 2024-2025 publications include: Advancing AI applications in educational assessment (e.g., automated question generation, distractor design) Improving mobile app usability through gesture-based interfaces and sensor integration Developing large language model-based tools for vulnerability repair and teacher simulation analysis Systematic reviews on digital competence ecosystems and multilingual AI systems His contributions to open educational resources (OER) and accessible virtual campuses have been widely adopted in Latin America. Current research extends into embedded systems education and olfactory stimuli impacts on mobile app performance.

Mari Carmen Suárez-Figueroaمشاهده پروفایل

دانشیار

• Ontology Engineering
• Semantic Web
• Linked Data
• +۳ مورد دیگر

Mari Carmen Suárez-Figueroa is an Associate Professor at the Artificial Intelligence Department, School of Computer Science, Universidad Politécnica de Madrid (UPM). She is also a senior researcher at the Ontology Engineering Group (OEG). Her research focuses on Ontology Engineering, Semantic Web, and Linked Data, with emphasis on ontology networks, evaluation, and design patterns. She holds a PhD in Artificial Intelligence from UPM (2010) and has been recognized with an Outstanding Award from UPM's Graduate Doctorate Commission. Her work includes contributions to methodologies like the NeOn Framework, tools such as OOPS! for ontology validation, and participation in projects like NeOn, SEEMP, and Ready4SmartCities. She has organized conferences and workshops, including TKE 2012 and WOP 2012. Over 88+ publications span journals like International Journal of Information Technology & Decision Making and Data & Knowledge Engineering . Key achievements include co-editing Ontology Engineering in a Networked World (Springer, 2012) and leading interdisciplinary initiatives on inclusive consumer testing and semantic metadata standards. Ongoing projects address social inclusion via machine learning and educational service-learning programs.

• Global Program Analysis
• Verification
• Debugging
• +۵ مورد دیگر

Manuel V. Hermenegildo is a Distinguished Professor at the IMDEA Software Institute and a Full Professor at the Department of Computer Science, Universidad Politécnica de Madrid. He holds a PhD in Electrical and Computer Engineering from the University of Texas at Austin (1986). His academic career spans over four decades, contributing to global program analysis, verification, and parallel computing. Education: PhD, Electrical and Computer Engineering, University of Texas at Austin (1986) M.S., Electrical and Computer Engineering, University of Texas at Austin (1984) M.S., Electrical Engineering, Technical University of Madrid (1981) Research Interests: His work focuses on global program analysis , verification , and optimization for functional/non-functional properties. He pioneered techniques in abstract interpretation , parallelism , and constraint/logic programming . His contributions include the Ciao programming system and the CiaoPP preprocessor, emphasizing static analysis and program debugging . Key Awards: ACM Fellow Julio Rey Pastor Prize (2006) Elected member of Academia Europaea (2010) Test of Time Award at ICLP 2017 His work has been cited over 10,000 times, with an h-index of 60. Leadership & Contributions: Founded and directed the IMDEA Software Institute Directed Spain's National Research Directorate (1999–2002) Chair of major conferences (POPL 2010, ICLP 2006) Labs & Teams: Leader of the CLIP Lab (Computational Logic, Implementation, and Parallelism) Principal investigator in EU-funded projects on resource-aware computing

• Global Program Analysis
• Software Verification
• Debugging
• +۵ مورد دیگر

Manuel Hermenegildo is a distinguished professor at the IMDEA Software Institute and a full professor at the Technical University of Madrid (UPM), leading the CLIP Lab. He specializes in program analysis, verification, and optimization, with contributions to logic and constraint programming. His academic roles include founding director of IMDEA and leadership in EU-funded projects. Education: PhD in Electrical and Computer Engineering, University of Texas at Austin (1986) M.S. in Electrical and Computer Engineering, University of Texas at Austin (1984) M.S. in Electrical Engineering, Technical University of Madrid (1981) Research Interests: Focuses on global program analysis, verification, debugging, and optimization for functional/non-functional properties (e.g., time, memory, energy). Explores abstract interpretation, parallelism, constraint/logic/functional programming, and computational logic. His work bridges theoretical foundations and practical tools like Ciao Programming System. Publications & Trends: Over 200+ papers in top venues like Theory and Practice of Logic Programming , POPL , and SAS . Recent work emphasizes static analysis for energy efficiency, formal verification via Horn clauses, and lightweight runtime checks. Contributions span formal methods, compiler optimization, and declarative languages. Awards & Recognition: ACM Fellow (2010) Julio Rey Pastor Prize (2006) – Spain’s top award in mathematics/ICT Academia Europaea Membership (2010) Test of Time Award (ICLP 2017) Google Scholar: 10k+ citations, h-index 60 Advising & Grants: Supervised over 20 PhD students. Principal investigator on major EU projects (e.g., María de Maeztu distinction) and national initiatives. Served as director of the Spanish National Research Directorate, shaping science policy. Labs & Teams: CLIP Lab (UPM-IMDEA), Microsoft-IMDEA Joint Research Center, and leadership in EIT Digital Spain. Collaborates globally with institutions like MIT, INRIA, and Monash University.

Alastair F. Donaldsonمشاهده پروفایل

استاد

• Programming Languages
• Compilers
• Verification
• +۲ مورد دیگر

Alastair F. Donaldson is a Professor in the Department of Computing at Imperial College London, leading the Multicore Programming Group. His research focuses on programming languages, compilers, and automated testing of software systems. He previously directed GraphicsFuzz, an Imperial College spinout acquired by Google in 2018. Education: PhD in Computer Science (University of Glasgow), Postdoctoral Research Fellow (University of Oxford), Visiting Researcher (Microsoft Research Redmond) His research interests include: Compiler Design and Verification Randomized Testing Techniques Multicore and GPU Programming Formal Methods for Software Reliability Recent publications emphasize compiler fuzzing, metamorphic testing, and verification of GPU systems. He actively contributes to the development of testing tools for programming languages and hardware interfaces. Alastair holds leadership roles in academic conferences, including Publicity Co-Chair for POPL 2024 and committee roles in ASE, ECOOP, PLDI, and SPLASH. He maintains a personal website at http://www.doc.ic.ac.uk/~afd and has been registered on conf.researchr.org since 2015.

Andreas Pavlogiannisمشاهده پروفایل

دانشیار

• Formal Methods
• Algorithmic Verification
• Automata Theory
• +۶ مورد دیگر

Andreas Pavlogiannis is an Associate Professor in the Department of Computer Science at Aarhus University, Denmark, where he leads research in the Programming Languages group. His work focuses on formal methods, algorithmic verification, and concurrency analysis, with additional interests in network diffusion and evolutionary graph theory. He holds a PhD from IST Austria and actively recruits PhD students and PostDocs. Research Interests: Pavlogiannis investigates foundational and applied aspects of concurrent systems, including static/dynamic program analysis, automata theory, and weak memory models. His interdisciplinary work bridges computer science with evolutionary biology through network diffusion models and game theory. Awards: Distinguished Paper Award (PLDI 2025) Best Paper Award (ASPLOS 2024) Best Presentation Award (SOAP 2024) Best Paper Award (ASPLOS 2022) Teaching: He teaches courses on Programming Languages (Bachelor), Algorithmic Model Checking (Master), and Program Analysis (Master). Service: Serves on program committees for top conferences including POPL, PLDI, CAV, and IJCAI. Organizer of CONFEST 2025. Funding: Research supported by Villum Foundation, Danish Free Research Foundation (DFF), Stibo Foundation, and Austrian Science Fund (FWF).

• Program Analysis
• Software Verification
• Debugging
• +۱۳ مورد دیگر

Manuel V. Hermenegildo is a Distinguished Professor at the IMDEA Software Institute and a Full Professor in the Department of Artificial Intelligence at the Technical University of Madrid (UPM). He is the founding Scientific Director of IMDEA Software and leads the CLIP Lab, a joint research unit between UPM and IMDEA Software focused on computational logic, programming languages, and parallelism. His career spans leadership in national research policy, academic positions in Spain and the U.S., and extensive international collaboration. PhD in Electrical and Computer Engineering, University of Texas at Austin (1986) M.S. in Electrical and Computer Engineering, University of Texas at Austin (1984) M.S. in Electrical Engineering, Technical University of Madrid (1981) His research centers on global program analysis, verification, debugging, and optimization for functional and non-functional properties such as time, memory, and energy. He has pioneered work in abstract interpretation, partial evaluation, constraint and logic programming, parallelizing compilers, and computational logic. His methodologies support the development of safe, efficient, and reliable software systems. The integration of static and dynamic analysis, resource-aware compilation, and assertion-based debugging are recurring themes in his work. His recent publications emphasize incremental and modular analysis, assertion checking, energy-aware computing, and verification via Horn clauses. Trends show a strong focus on making static analysis more practical, scalable, and integrated into real-world development workflows, particularly for logic and declarative languages. He frequently publishes in top venues such as TPLP, SCP, TOPLAS, and POPL. ACM Fellow Julio Rey Pastor Prize (2006) Aritmel Prize (2005) Elected member, Academia Europaea (2010) Test of Time Award, ICLP 2017 Best Paper Awards at ICSOC 2011 and ICLP 2005 Fulbright-Hays Scholarship Hermenegildo has supervised numerous PhD students and postdocs, many of whom are now leading researchers. He has been principal investigator in over 50 research projects funded by the EU, Spanish government, NSF, and industry partners. His leadership extends to national research policy, where he directed Spain’s National Research Directorate and launched the Ramón y Cajal fellowship program. He has served on tenure and evaluation committees for institutions worldwide and is active in shaping research agendas through roles in Informatics Europe and EIT Digital. He leads the CLIP Lab, which develops advanced program analysis tools and systems such as the Ciao programming environment, CiaoPP static analyzer, and LPdoc documentation generator. The lab fosters collaboration across academia and industry, focusing on next-generation program development tools, verification, and resource-aware computing.

Manuel Hermenegildoمشاهده پروفایل

استاد

• Computer Science
• Programming Languages
• Software Engineering
• +۶ مورد دیگر

Manuel Hermenegildo is a distinguished academic holding dual appointments as a Full Professor at the Polytechnic University of Madrid (Spain) and a Distinguished Professor at the IMDEA Software Institute. He earned his Ph.D. in Computer Science from the University of Texas at Austin in 1986. His roles include Founding Director of IMDEA Software (2007–2017) and former Director of Spain's national research funding agency. He leads the CLIP Lab (UPM) and contributes to the Ciao programming language and CiaoPP analysis tool. Education: Ph.D. in Computer Science, University of Texas at Austin (1986) Research focuses on global program analysis, verification, debugging, parallelism, and logic programming. He has authored over 250 papers and received prestigious awards like the ACM Fellowship and Spain's Julio Rey Pastor Prize. His leadership roles span international organizations such as INRIA's Scientific Board and the European Association for Programming Languages and Systems (EAPS). Key contributions include static analysis frameworks, energy-aware programming models, and educational tools like the Ciao Prolog Playground. Notable collaborations include the ENTRA project for whole-system energy transparency. His work emphasizes practical applications of formal methods, with projects funded by national and international grants. Advises on policy and research strategy for EU and Spanish science initiatives.

Petar Jovanovicمشاهده پروفایل

پژوهشگر

• Big Data Management
• Data Governance
• Data Integration
• +۳ مورد دیگر

Petar Jovanovic is a researcher at the Department of Service and Information Systems Engineering within the Barcelona School of Computer Science at Polytechnic University of Catalonia (UPC). His work focuses on Big Data management , data governance , and user-centered data integration platforms . PhD (2016) from UPC and Université Libre de Bruxelles Software Engineering degree from University of Belgrade Jovanovic created the Quarry platform, enabling non-technical users to perform data analysis for global health initiatives like WHO disease eradication programs. His 2017 SCIE/BBVA award recognized innovations in applying Big Data to combat diseases such as Chagas in underprivileged countries. Recent research emphasizes: Knowledge graph-based data governance frameworks (2024) Web API evolution prediction models (2024) Automated FAIR data lifecycle systems (2023-2024) He has co-authored 15+ high-impact publications and holds one patent as primary innovator. His work spans European Union research programs and WHO collaborations.

Limin Jiaمشاهده پروفایل

استاد پژوهشی

• Security
• Programming Languages
• Formal Methods

Limin Jia is a Research Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University, with a courtesy appointment in the Computer Science Department. She is affiliated with CyLab, CMU's security and privacy research institute. She received her PhD in Computer Science from Princeton University and a BE from the University of Science and Technology in China. Her research applies formal techniques to enhance software security, focusing on programming languages and distributed systems. Key interests include: Language-based security mechanisms Formal verification of distributed systems Secure compilation techniques Intermittent computing foundations Her publications demonstrate strong emphasis on security guarantees in programming languages (Rust/WebAssembly), formal methods for intermittent systems, and software supply chain security. Recent works frequently address type systems, compiler verification, and energy-constrained computing. Dr. Jia maintains an extensive advising portfolio with current and former students spanning PhD and Master's programs. She teaches foundational security courses including Browser Security and Introduction to Information Security .