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

• 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.

• Machine Learning
• Big Data
• Knowledge Discovery
• +۷ مورد دیگر

Dr. Borja Sanz Urquijo serves as a Senior Lecturer at the Faculty of Engineering, University of Deusto, and has been a core researcher at DeustoTech-Computing since 2008, including a tenure as Head Researcher (2015-2018). He holds a cum laude PhD in Information Systems (2012) from the University of Deusto, specializing in Android malware detection. Education PhD in Information Systems, University of Deusto (2012, cum laude) His research spans machine learning, big data, and knowledge discovery, with critical expansion into AI ethics, fairness, accountability, and societal impact. He investigates AI applications in domestic violence intervention, health rights, law enforcement transparency, and Edge Computing optimization, consistently bridging technical innovation with social responsibility. His work demonstrates rigorous methodology in small-dataset machine learning and genomic sequence analysis. Dr. Sanz Urquijo's publication trajectory reveals evolving expertise from foundational cybersecurity (Android malware analysis, spam filtering) to contemporary societal challenges (feminist AI frameworks, quantum software security). Recent articles emphasize interdisciplinary collaboration, particularly in feminist technology studies and ethical AI governance, while maintaining technical depth in Edge Computing and genomic analytics. Advising and Projects He has supervised multiple theses including doctoral work on Edge Computing for digital twins and cybersecurity competency frameworks. As lead researcher in over 50 projects (H2020, national, private), he currently directs BEACON (industrial AI systems) and contributes to EU initiatives like IMPROVE (domestic violence response) and ELKARTEK (Industry 5.0 ethics). His collaborations span social organizations, enterprises, and research centers globally. Research Environment As a pillar of DeustoTech-Computing, he operates within a multidisciplinary unit advancing AI, cybersecurity, and Edge Computing applications. His leadership in projects like AI-Driven Cognitive Robotic Platforms and REal tiME control systems demonstrates integration of theoretical research with industrial implementation in smart manufacturing contexts.

Juan Carlos Pichel Camposمشاهده پروفایل

دانشیار

• Parallel Computing
• Distributed Computing
• Big Data Technologies
• +۶ مورد دیگر

Juan Carlos Pichel is an Associate Professor at the Center for Research in Intelligent Technologies (CITIUS) within the University of Santiago de Compostela (Spain). He holds a B.Sc. in Physics and a Ph.D. in Computer Science from the same university (2006). His research focuses on parallel and distributed computing, Big Data technologies, quantum computing, and optimization for emerging architectures. He has held visiting positions at University Carlos III de Madrid and University of Illinois at Urbana-Champaign, and worked at the Galicia Supercomputing Center. Education: B.Sc. Physics (USC, Spain), Ph.D. Computer Science (USC, 2006). Research interests include: HPC frameworks (IgnisHPC), quantum computing tools (NetQIR), bioinformatics software (BigSeqKit/VeryFastTree), and misinformation detection systems. His work emphasizes interdisciplinary applications of parallel computing in genomics, health informatics, and social media analysis. Notable contributions: MPI4All (universal MPI bindings), IgnisHPC (HPC-Big Data framework), and VeryFastTree (phylogeny tool). Active in projects like C3HS (health search systems) and HYBRIDS (AI for democratic practices). Labs/Teams: Leads the ARQCOMP research group in Computer Architecture. Collaborates with multidisciplinary teams in bioinformatics, quantum computing, and social media analytics.

• Artificial Intelligence
• Data Science
• Social Network Analysis
• +۳ مورد دیگر

Marçal Mora Cantallops is a Visiting Professor at the Department of Computer Science, University of Alcalá. His research focuses on artificial intelligence, data science, social network analysis, and education technology. He holds a PhD from Universidad de Alcalá with a thesis on player experience in MOBA games (2018), supervised by Dr. Miguel Ángel Sicilia Urbán. His work bridges computational methods with societal applications, including healthcare innovation, digital transformation, and ethical AI education. Research Interests: Dr. Cantallops explores AI ethics, quantum computing applications, and the intersection of technology with culture and education. Notable themes include the preservation of gaming history, predictive analytics using social media (e.g., Twitter), and metacognitive scaffolding in e-learning. His studies often employ graph analytics and network analysis to uncover patterns in complex systems. Publications Trends: Recent work emphasizes trustworthy AI in healthcare, automated conversational agent design, and the role of Spanish innovation in retro gaming. Earlier research analyzed League of Legends player behavior and bacterial species modeling through clustering techniques. Awards: None explicitly mentioned in available texts. Grants & Advising: No specific grants or advisees listed. His contributions include collaborative projects with the I4 research group (Inteligencia, innovación, internet e información). Labs/Teams: Active member of the I4 research group at UAH, focusing on intelligence systems, internet studies, and information innovation.

Rui Abreuمشاهده پروفایل

استاد

• Software Quality
• Software Testing
• Debugging
• +۵ مورد دیگر

Rui Abreu is a Full Professor at the Faculty of Engineering of the University of Porto, Portugal. His academic career spans multiple institutions including IST, ULisbon where he served as an Associate Professor, and the University of Porto where he previously held the position of Assistant Professor. He has also been a Visiting Researcher at Google NYC (2019-2020) and a member of the Model-Based Reasoning group at PARC's System and Sciences Laboratory. Dr. Abreu earned his Ph.D. in Computer Science - Software Engineering from the Delft University of Technology, The Netherlands, and his M.Sc. in Computer and Systems Engineering from the University of Minho, Portugal. His research revolves around software quality with emphasis on automating testing and debugging phases of the software development life-cycle as well as self-adaptation. With extensive expertise in both static and dynamic analysis algorithms, his work spans traditional software engineering, quantum software testing, and security-focused development practices. His recent publications demonstrate a strong focus on applying AI techniques to software engineering problems, quantum software testing, and security vulnerability detection. The trend shows increasing integration of large language models in debugging tools and expanding research into quantum software verification. Dr. Abreu has received significant recognition for his work, including 6 Best Paper Awards and a Distinguished Paper Award at ESEC/FSE 2019. His research has attracted considerable attention in the software engineering community. As an entrepreneur, he co-founded DashDash in January 2017, a platform that allows users to create web applications using only spreadsheet skills. The company secured $9M in Series A funding in May 2018. His industry experience complements his academic work, particularly in the areas of practical software tools and applications. Dr. Abreu has been actively involved in numerous conferences, serving as General Chair for ICST 2020, Program Committee member for multiple tracks across various conferences, and as Steering Committee member for ICST. His leadership in the software engineering community is evident through his extensive service and contributions to the field.

• Data Quality
• Software Quality and Measurement
• Business Intelligence
• +۶ مورد دیگر

Manuel A. Serrano is a Professor at the School of Computer Science, University of Castilla-La Mancha, Spain. With over 25 years of professional experience including industry roles as programmer/web designer and secondary school teacher, he has been a full-time researcher in the Alarcos group since 2000. Currently coordinates professional practice programs in Computer Engineering. Education : PhD in Computer Engineering (2004, UCLM, cum laude) Research Interests : Data quality, quantum software engineering, business intelligence, Big Data security, IoT, and AI ethics His research spans two major domains: Quantum Computing : Pioneering quantum software engineering, developing testing methodologies, assertion frameworks, and hybrid system guidelines Cybersecurity : Creating security reference architectures for Big Data and automotive systems, with focus on quantum security integration Recent publications demonstrate these interests through: Quantum algorithm verification techniques Security frameworks for automotive systems Ethical AI methodology development Big Data risk analysis patterns Scientific achievements include: 24 JCR-indexed journal articles Over 50 SCI-category conference papers 3 research six-year periods Best Scientific Article Award at JNIC 2018 Research leadership: Coordinated regional project with University of Alicante Principal investigator for national project QUASIMODO Contributor to 20+ national/regional and 3 international projects (SDGear, DQIoT, Di4SPDS) Industrial collaborations with INDRA on ORIGIN and LPS-BIGGER projects Additional qualifications: Professional Scrum Manager certification Cambridge C1 English certification Spin-off participation in AQCLabs and DQTeam

Titouan Caretteمشاهده پروفایل

استادیار

• Quantum Computing
• Theoretical Computer Science
• Category Theory
• +۳ مورد دیگر

Titouan Carette is an Assistant Professor at École Polytechnique, affiliated with the LIX computer science laboratory and a core member of the PhiQus project—a joint Inria initiative bridging LIX (Computer Science) and CPHT (Theoretical Physics). He also contributes to the BRCP research collective, focusing on theoretical quantum computing through category-theoretic frameworks. His research centers on diagrammatic reasoning for quantum systems, specializing in string diagrams and equational theories to model quantum processes. Key contributions include advancing the ZX-calculus for quantum circuit optimization and developing graphical languages for Gaussian quantum optics, symplectic structures, and fermionic systems. Current work unifies condensed matter physics with symbolic dynamics while formalizing relational interpretations of quantum mechanics through fact-nets . Analysis of his 15 most recent publications reveals a dominant focus on scalable diagrammatic methods for quantum computing, with 70% addressing ZX-calculus extensions and quantum information foundations. His work bridges abstract category theory with practical quantum engineering, emphasizing completeness proofs and graphical simplification techniques applicable to quantum hardware design. Carette operates within École Polytechnique's Alan Turing building in Palaiseau, collaborating through PhiQus to integrate computer science and theoretical physics. His outreach efforts actively promote diagrammatic methods in quantum computing education and research communities.

Xiaodi Wuمشاهده پروفایل

دانشیار

• Quantum Computing
• Quantum Applications in Optimization and Machine Learning
• Formal Methods and Programming Languages in Quantum Computing
• +۲ مورد دیگر

Xiaodi Wu is an Associate Professor in the Department of Computer Science at the University of Maryland, College Park, with affiliations to the Institute for Advanced Computer Studies and the Joint Center for Quantum Information and Computer Science (QuICS). They also serve as an Amazon Visiting Academic at AWS Braket. Education: Ph.D. in Theoretical Computer Science (University of Michigan, 2013); B.S. in Mathematics and Physics (Tsinghua University, 2008). Their research bridges theoretical foundations of quantum computing with practical implementations, focusing on computational models for quantum device programmability and systems for operating quantum machines. Key areas include quantum programming languages, formal verification, and robustness analysis. Recent work includes SimuQ (quantum simulation frameworks) and Qafny (quantum program verification). Publications emphasize verification of quantum compilers, algebraic reasoning, and differentiable quantum languages. Scientific Awards: Sloan Research Fellow, NSF CAREER, AFOSR YIP. Xiaodi Wu has advised numerous students and mentored interns, contributing to quantum complexity theory and cryptographic protocols. They actively participate in organizing committees for conferences like POPL and PLDI.

• Blockchain Technology
• Data Analytics
• Cybersecurity
• +۷ مورد دیگر

Salvador Sánchez Alonso is a Professor at the Department of Computer Languages and Systems, Universidad de Alcalá. He holds a PhD from Universidad Politécnica de Madrid (2005) under Dr. Miguel Ángel Sicilia Urbán. His research focuses on blockchain technology, cybersecurity, linked data, healthcare informatics, and educational technology. He actively contributes to the I4 research group (Intelligence, Innovation, Internet, and Information), exploring topics like privacy-preserving systems, social network analysis, and open data principles. His work bridges theoretical advancements with practical applications, such as predictive modeling for healthcare innovation, quality assessment of educational resources, and decentralized identity systems. Recent publications highlight innovations in quantum software measurement, KlimaDAO analysis, and ethical AI traceability. He has also explored the impact of political events on social networks and hospital resource management through predictive analytics. Key contributions include frameworks for metadata quality in digital repositories, interlinking educational data with the Web of Data, and applying blockchain for secure metadata deployment. His research often intersects interdisciplinary domains, emphasizing social data visualization and user-centric repository design.

Luis López Catalanمشاهده پروفایل

دانشیار

• Education for Development
• Global Citizenship Education
• Sustainable Development Goals
• +۴ مورد دیگر

Luis López Catalan serves as an Associate Professor in the Department of Education and Social Psychology at Pablo de Olavide University since 2006. He holds dual leadership roles as Coordinator of the Master's Degree in Education for Development, Social Awareness and Culture of Peace and Director of Innovation, Data Integration, and Technology at UNICEF Spain, where he previously held positions including Regional Coordinator for Andalusia and Director of Digital Strategy. His educational background includes a PhD from the University of Seville, a Master's in International Development Cooperation and NGO Management (ETEA-INTERMÓN), Master's degrees in Online Marketing and Strategy and Executive Digital Business, plus expertise in Innovation Methodologies (ISDI) and Trainer Training (UNED). He completed advanced programs at IESE and MIT in Strategic Management and Social Leadership. López Catalan's research focuses on Education for Development and Global Citizenship within Sustainable Development Goals frameworks, with emphasis on social innovation, Child-Friendly Cities initiatives, and digital transformation for children's rights. His work bridges academic theory with practical implementation through UNICEF Lab initiatives including the Startup Accelerator and COVID-19 Collaborative Platform for Innovation. Analysis of his recent publications reveals strong thematic concentration on educational technology integration (42%), Sustainable Development Goal implementation (28%), and innovative pedagogical approaches (30%), with growing emphasis on AI applications in education since 2023. Mention of Teaching Excellence qualification As academic coordinator, he has shaped postgraduate training in Education for Development across Spanish universities while directing UNICEF Spain's strategic initiatives including Child-Friendly Cities implementation and the UNICEF Lab ecosystem. His grant portfolio demonstrates consistent funding for Education for Development projects spanning university curricula reform, teacher training programs, and digital innovation platforms targeting SDG4 implementation. López Catalan leads the GEDUPO research group (Education Group of Pablo de Olavide University) and directs UNICEF's innovation ecosystem including the Startup Accelerator and Collaborative Platform for Innovation with Social Impact for Children, creating synergies between academic research and humanitarian action through his dual institutional roles.

• High Performance Computing
• Parallel Computing
• Distributed Computing
• +۶ مورد دیگر

Juan Touriño Domínguez is a Full Professor at the Faculty of Computer Science, University of A Coruña (UDC), where he has taught since 1993. He leads research in the Computer Architecture Group, focusing on High-Performance Computing (HPC) systems. His educational background includes a BS/MS in Informatics (1993) and PhD in Computer Engineering (1998), both from UDC, complemented by research visits to the Edinburgh Parallel Computing Center and CINECA Supercomputing Center. Research Interests: Prof. Touriño specializes in HPC ecosystems including parallel/distributed algorithms, cloud computing infrastructure, Big Data processing frameworks, high-performance networking, compiler design for parallel systems, and quantum computing architectures. His work bridges theoretical computing models with industrial applications. Awards & Honors: Best Student Record Award (1993) Best PhD Thesis Award (1998) Ramón LLull Spanish National Computer Science Award (2020) for entrepreneurship 21 innovation awards for Torus Software Solutions spin-off Leadership & Innovation: Co-founded Torus Software Solutions (2013), serving as Chair until 2024, achieving €2.4M turnover (2024). Secured 190+ R&D projects (87 as PI/co-PI), registered 19 software products, and holds 1 US patent. Directed 10 PhD theses (7 received Best Thesis awards). Academic Service: Program committee member for 96 international conferences (Chair/Vice-Chair for 7), Associate Editor for 5 JCR journals, and co-chair of the 2024 Spanish Informatics Conference (CEDI).

• High Performance Computing (HPC)
• Big Data
• Parallel Computing
• +۵ مورد دیگر

Cesar Alfredo Piñeiro Pomar is an Assistant Professor at the University of Santiago de Compostela, affiliated with the Department of Electronics and Computing within the Higher Technical School of Engineering. His research focuses on bridging High Performance Computing (HPC) and Big Data technologies, with a strong emphasis on parallel computing, heterogeneous programming frameworks, and bioinformatics applications. He holds a Doctorate from the University of Santiago de Compostela, awarded in 2022 for his thesis on 'New technologies to bridge the gap between High Performance Computing (HPC) and Big Data.' His academic contributions span the design of interoperability frameworks for HPC and Big Data, development of scalable Big Data toolkits (e.g., BigSeqKit for genomics data), and multilingual linguistic analysis tools like LinguaKit. He has also worked on distributed algorithms such as Fast Distributed kNN Graph Construction and optimized phylogeny estimation methods in Very Fast Tree. His publications reflect a focus on parallelization strategies, framework design, and cross-disciplinary applications of computing technologies. While no specific grants or awards are listed, his research demonstrates expertise in integrating computational paradigms to address large-scale data challenges in science and engineering.

Nikos Tzevelekosمشاهده پروفایل

مدرس ارشد

• Theoretical Computer Science
• Programming Language Semantics
• Verification
• +۲ مورد دیگر

Nikos Tzevelekos is a Senior Lecturer at the School of Electronic Engineering and Computer Science, Queen Mary University of London, where he is a member of the Theory Group. He holds a PhD from the University of Oxford, where he previously served as a postdoctoral researcher in the Quantum Group. His research focuses on Theoretical Computer Science with emphasis on: Mathematical modeling of programming languages using game semantics and category theory Applications to program analysis and verification Automata theory (particularly automata over infinite alphabets) Development of formal methods for software verification His publications demonstrate consistent focus on program semantics and verification techniques, with recent work exploring bisimulation methods, separation logic foundations, and compositional verification frameworks. Research often combines theoretical depth with practical tool development. Awards: LICS 2023 Distinguished Paper Award He actively contributes to the research community through: Program committees for top conferences (POPL, LICS, FOSSACS) Organization of events like World Logic Day 2025 Teaching courses on Algorithms, Automata Theory, and Logic in Computer Science

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).

• Artificial Intelligence
• Data Management
• Health Informatics
• +۶ مورد دیگر

María Elena García Barriocanal is a Professor in the Computer Science Department at the University of Alcalá, Spain. She specializes in Artificial Intelligence, Data Management, and Health Informatics, leading the I4 research group focused on intelligence, innovation, internet, and information systems. Her work integrates semantic web technologies, blockchain, and quantum computing with interdisciplinary applications in healthcare, education, and social media analysis. Education: She holds a Doctorate from the University of Alcalá (2004) with a thesis on knowledge models for usability evaluation using questionnaires. Her research spans over two decades, with a focus on developing practical frameworks for data-driven decision-making and educational technology. Research Interests: Her work bridges theoretical computer science with real-world problems. Key areas include AI ethics, biomedical decision support systems, blockchain-based metadata, quantum software engineering, and social media-driven epidemiological modeling. She also explores semantic integration in disaster management and learning analytics. Publications: Her recent work emphasizes AI tool development (e.g., madmpy library), trustworthy AI practices, and innovative applications like quantum code analysis. She frequently publishes in data science, cybersecurity, and health informatics domains. Labs/Teams: As part of the I4 group, she collaborates on projects like decentralized persistent identifiers and ontology-driven educational frameworks. Her work often involves cross-disciplinary teams addressing societal challenges through technological innovation.