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

Albert Atseriasمشاهده پروفایل

استاد

• Computational Complexity
• Logic in Computer Science
• Finite Model Theory
• +۷ مورد دیگر

Albert Atserias is a Professor in the Department of Computer Science at the Universitat Politècnica de Catalunya (UPC), affiliated with the Faculty of Informatics of Barcelona (FIB) and the ALBCOM research group (Algorithms, Bioinformatics, Complexity, and Formal Methods). He is also associated with the Institut de Matemàtiques de la UPC-BarcelonaTech. His research is central to theoretical computer science, with a strong emphasis on logic and complexity. Atserias's research interests span Computational Complexity, Logic in Computer Science, Finite Model Theory, Proof Complexity, and Constraint Satisfaction Problems . His work explores the fundamental limits of computation, the expressive power of logical languages over finite structures, and the complexity of proving mathematical statements. He investigates the algebraic and combinatorial properties of proof systems, the limits of efficient algorithms for constraint solving, and the theoretical foundations of databases. His research often bridges logic, algebra, and combinatorics to provide deep insights into computational phenomena. The trends in his recent publications show a sustained focus on the logical and algebraic underpinnings of computational problems. Key themes include the consistency and complexity of database queries , the power and limitations of proof systems (like resolution and sum-of-squares), and the expressive power of homomorphism counts in graph theory. His work on the hardness of automating resolution and the development of circular proof systems are particularly significant contributions to proof complexity. The 2024 PODS Best Paper Award for work on relational consistency underscores the impact and timeliness of his research. Among his notable scientific awards are the prestigious ICREA Acadèmia , the PODS 2024 Best Paper Award , the Premi Extraordinari de Doctorat (Extraordinary Doctoral Prize), and the Kleene Award for Best Student Paper . These accolades reflect both the excellence of his early work and his continued leadership in the field. Atserias has been a principal investigator on numerous competitive research projects, including funding from the European Research Council (ERC) and the Spanish Ministry of Science. He has advised doctoral students, such as Toni Hakoniemi, whose thesis on proof complexity he supervised. His extensive collaborative network includes leading researchers like Phokion Kolaitis, Anuj Dawar, and Victor Dalmau. He has also served on the scientific committees of major conferences, contributing to the academic community. He is a core member of the ALBCOM research group , a leading team at UPC focused on theoretical aspects of computer science, which provides a vibrant environment for research in algorithms, complexity, and formal methods. His work is also connected to the broader Institut de Matemàtiques de la UPC, fostering interdisciplinary collaboration between computer science and mathematics.

Danfeng Zhangمشاهده پروفایل

استاد

• Programming Languages
• Security
• Differential Privacy
• +۵ مورد دیگر

Danfeng Zhang is a faculty member at Duke University whose research sits at the intersection of programming languages and security. Active across the premier PL conferences since 2015, Zhang has served on more than two-dozen program committees and currently co-chairs the POPL Student Research Competition. Education & Affiliation: Home page: users.cs.duke.edu/~dz132 Affiliation: Duke University, United States Research Interests: Zhang’s work spans programming-language design, static and dynamic analysis, formal verification, and security. A recurring theme is developing language-based techniques that guarantee strong security and privacy properties—ranging from side-channel resistance and constant-time execution to differential-privacy proofs—while preserving performance and usability. His recent projects combine type systems, program logics, and automated reasoning to build practical verification tools for concurrent, speculative, and approximate software. Publication Trends: Across nine representative papers (2015-2024) Zhang has advanced static detection of cache side channels, automated proofs of differential privacy, and relaxed concurrency models. The trajectory shows deepening integration of security concerns into language infrastructure, with tool-building (CtChecker, SpecSafe, LightDP) that bridge formal guarantees and real-world systems. Service & Leadership: 2024 POPL Student Research Competition Co-Chair 2025 POPL Program Committee member Repeated reviewer/PC member: PLDI, SPLASH/OOPSLA, ISSTA, ECOOP, APLAS, PriSC, PASS Zhang regularly mentors student researchers through SRC sessions and workshop panels, fostering diversity and early-career participation in the programming-languages community.

Mercedes Herrero de la Fuenteمشاهده پروفایل

استاد

• Digital Journalism
• Data Journalism
• Transmedia Narratives
• +۵ مورد دیگر

Mercedes Herrero de la Fuente is a Professor at Antonio de Nebrija University's School of Communication and Arts in Madrid, specializing in Journalism and Media Innovation. Holding a PhD in Information Sciences from Complutense University of Madrid, she coordinates the doctoral program in Innovation in Digital Communication and Media while leading research through the INNOMEDIA Research Group. Her academic affiliations include active participation in multiple national research projects funded by Spain's Ministry of Science and Innovation. Her research focuses on the intersection of digital technologies and communication, with particular emphasis on data journalism, transmedia narratives, disinformation combat strategies, and gender representation in media. Recent work explores augmented reality applications in journalism, accessibility for people with disabilities in the audiovisual sector, and women's leadership in media production. She has conducted research fellowships at Cornell University, Radboud Universiteit, Salford University, and Charles University. Herrero de la Fuente has published extensively in high-impact journals, with her most recent work examining AI applications against electoral misinformation, women creators in streaming platforms, and immersive journalism technologies. Her research demonstrates consistent focus on emerging media technologies and their societal implications, particularly regarding inclusion and verification practices. As an educator, she previously directed Nebrija University's Master's in Digital and Data Journalism (2016-2021) and Master's in Television Journalism (2015-2020), while currently teaching in both undergraduate and graduate programs. Her professional background includes eight years as a producer for TELEMADRID News, providing practical industry experience that informs her academic work.

Mateo Valero Cortésمشاهده پروفایل

استاد

• Computer Architecture
• High-Performance Computing
• Parallel Computing
• +۳ مورد دیگر

Mateo Valero Cortés is a renowned Professor of Computer Architecture at the Polytechnic University of Catalonia and Director of the Barcelona Supercomputing Center (BSC). He has held academic and leadership roles since 1974, advancing high-performance computing (HPC) and computer architecture research. His work includes pioneering contributions to vector architectures, multithreading, and instruction-level parallelism. Education includes a Telecommunications Engineering degree from the Polytechnic University of Madrid (1974) and a PhD in Telecommunications Engineering from the Polytechnic University of Catalonia (1980). His research spans over 700 publications, focusing on HPC systems, parallel computing, and supercomputing infrastructure. Key research interests include vector processing, super-scalar processors, and task-based programming models. Recent work emphasizes scalable architectures for exascale computing and energy-efficient hardware-software co-design. Notable achievements include the Eckert-Mauchly Prize (highest in computer architecture), Seymour Cray Award, and Charles Babbage Prize. He has led initiatives like the Spanish Supercomputing Network (RES) and PRACE (European HPC partnership). Academic affiliations include the Royal Academy of Engineering of Spain, ACM Fellow, and IEEE Fellow. He has received 13 honorary doctorates and awards such as Mexico’s Order of the Aztec Eagle. Current projects include the Mont-Blanc HPC prototype and ERC-funded research on multi-core chip design. His BSC oversees over 300 researchers and manages MareNostrum supercomputers.

Gagandeep Singhمشاهده پروفایل

استادیار

• Machine Learning
• Formal Methods
• Artificial Intelligence
• +۶ مورد دیگر

Gagandeep Singh is a tenure-track Assistant Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC). His work focuses on creating intelligent computing systems with formal guarantees about behavior and safety, integrating Machine Learning, Formal Methods, and Systems research. Affiliation: University of Illinois at Urbana-Champaign; VMware Research Research Interests: Formal Methods, Machine Learning, Artificial Intelligence, Programming Languages, Neural Network Verification, Automatic Differentiation His research emphasizes scalable verification techniques for neural networks, abstract interpretation, and systems integration. Recent work trends include applying formal methods to ensure safety in deep learning models and optimizing numerical analysis through domain decomposition and convex hull approximations. He contributes to academic communities as a committee member in conferences like POPL, VMCAI, PLDI, and SAS, while authoring key publications in top venues such as POPL, PLDI, OOPSLA, and SAS.

Julian Fierrezمشاهده پروفایل

استاد

• Biometrics
• Signal and Image Processing
• Artificial Intelligence
• +۶ مورد دیگر

Julian Fierrez is a Full Professor at the School of Engineering, Universidad Autonoma de Madrid. With an h-index of 74 and over 20,000 citations, his work spans biometrics, signal/image processing, artificial intelligence, and human-computer interaction. Key research areas include: Biometric anti-spoofing and DeepFakes detection Mobile and behavioral biometrics Bias/fairness in AI systems Biometric applications in e-health and education Security in multimodal biometric systems His recent publications show strong focus on deep learning applications for biometric security, with specific subfields including fake detection, keystroke authentication, facial analysis for Parkinson detection, and privacy-preserving AI. He serves as Associate Editor for multiple IEEE and Elsevier journals. Scientific distinctions include: IAPR Young Biometrics Investigator Award (2017) Miguel Catalan Award to Best Researcher under 40 (2017) EURASIP Best PhD Award (2012) EBF European Biometric Industry Award (2006) Prof. Fierrez leads the BiDA Lab and supervises students like Ruben Tolosana and Aythami Morales. Current projects include BBforTAI (Biometrics and Behavior for Unbiased & Trustworthy AI) and PRIMA (Privacy Matters). He also contributes to standardization efforts in biometric evaluation.

• Biometrics
• Biometric Systems
• Computer Vision
• +۵ مورد دیگر

Raul Sanchez Reillo is a Full Professor at Universidad Carlos III de Madrid (UC3M), affiliated with the Grupo Universitario de Tecnologías de Identificación (GUTI). His research focuses on biometric systems, mobile authentication, and security technologies. Key areas include presentation attack detection, vein recognition, and ECG biometrics. He leads projects involving smartphone-based biometric solutions, 3D printed markers, and standards development for biometric interoperability. Research interests span multiple modalities: fingerprint authentication, dynamic signature verification, gait recognition, and vascular biometrics. He emphasizes usability and accessibility in mobile environments, exploring ergonomics and user interaction challenges. His work integrates machine learning (transformers, RNNs) with hardware solutions like FPGA-based systems. Publications highlight innovations in spoofing detection, medical applications (ECG/vein analysis), and low-cost hardware implementations. He contributes to European standards (BioAPI, Hand Data Interchange Format) and evaluates security practices for R&D compliance with EU data protection regulations. Current initiatives include enhancing biometric systems for critical infrastructure security and improving accessibility for elderly users. Active in interdisciplinary collaborations, he leads the Mobile Pass project evaluating user interaction in biometric systems. His lab (GUTI) develops open testing methodologies for biometric performance under Common Criteria and environmental stressors. Recent work addresses vulnerabilities in mobile fingerprint sensors and the ethical implications of biometric-as-a-service models.

Bogdan Warinschiمشاهده پروفایل

استاد

• Cryptography
• Formal Verification
• Security Protocols
• +۱ مورد دیگر

Professor Bogdan Warinschi leads research in cryptography and security at the University of Bristol's School of Computer Science. His work establishes rigorous connections between symbolic and computational security models for cryptographic protocols. Current projects focus on secure searchable encryption, authentication protocols, and privacy-preserving systems. Developed novel security frameworks for encrypted databases that reveal fundamental limitations in existing designs. Serves on program committees for top security conferences including IEEE Security & Privacy and ACM CCS. Organizes international workshops on secure key exchange and encrypted search algorithms.

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

• Digital Sociology
• Social Media Analysis
• Disinformation and Misinformation
• +۳ مورد دیگر

Francisco Javier Canton Correa is a researcher at the Universidad de Granada, specializing in sociology. He earned his PhD in 2019 with the thesis Socialización digital y creatividad audiovisual , supervised by Dr. Jordi Alberich Pascual. Education: PhD in Sociology (2019), Universidad de Granada Research Interests focus on digital sociology, social media analysis, and the societal impact of artificial intelligence. His work explores disinformation combat, visual communication, and urban culture through computational methods. Recent Publications highlight AI-driven tools for misinformation detection, social media analytics, and critical perspectives on digital humanities. Key trends include cross-platform verification systems and sociological risk frameworks for global disinformation. Labs & Collaborations include Medialab UGR, where he contributes to cross-media communication experiments.

• Data Mining
• Bioinformatics
• Machine Learning
• +۳ مورد دیگر

Domingo Savio Rodríguez Baena is a Professor at Pablo de Olavide University, affiliated with the Department of Computer Languages and Systems. His research focuses on data mining, bioinformatics, and computational biology, with a particular emphasis on biclustering algorithms, gene co-expression networks, and high-performance computing applications. PhD in Engineering, Data Science, and Bioinformatics (2012) from Pablo de Olavide University His work spans interdisciplinary domains, including recommender systems , livestock behavior analysis , and biological data interpretation . Recent articles highlight his contributions to multi-GPU optimization , ensemble learning , and historical database construction . Key collaborations include the DATAi Intelligent Data Analysis and DASE Data Analytics Science & Engineering research groups. He has developed tools like the CyEnGNet–App for gene network visualization and BIGO for gene enrichment analysis. Contact: dsrodbae@upo.es

Abolfazl Simorghمشاهده پروفایل

پژوهشگر

• Aircraft Trajectory Optimization
• Climate Change Mitigation in Aviation
• Robust Control
• +۳ مورد دیگر

Abolfazl Simorgh is a researcher at Charles III University of Madrid's Department of Aerospace Engineering, specializing in climate-optimized aviation systems. His work bridges mathematical control theory with practical climate impact mitigation, focusing on robust trajectory optimization under environmental and operational uncertainties. He leads development of open-source tools for sustainable flight planning while contributing to major European aviation initiatives. Education: B.Sc. in Control Engineering (2017) M.Sc. in Control Engineering (2020) Ph.D. in Aerospace Engineering from Charles III University of Madrid Dr. Simorgh's research centers on developing mathematical frameworks that reconcile aircraft trajectory optimization with climate impact reduction. His expertise spans robust control systems, optimization under uncertainty, and climate modeling integration, with particular emphasis on non-CO₂ emissions. His methodology addresses both CO₂ and non-CO₂ climate forcing mechanisms through computationally efficient algorithms that account for weather variability and climate metric uncertainties. This work directly supports aviation's decarbonization by providing operational strategies that reduce environmental footprint without prohibitive cost increases. Analysis of his 15 most recent publications reveals a cohesive research trajectory focused on operationalizing climate-optimal flight planning. His work consistently integrates climate science with aerospace engineering through robust optimization frameworks, demonstrating particular innovation in handling multiple uncertainty sources (weather, climate models, emissions). The publications cluster around three interconnected themes: 1) Development of open-source computational tools (ROOST, CLIMaCCF), 2) Network-scale implementation of climate-aware air traffic management, and 3) Risk analysis of climate mitigation strategies. This body of work establishes new methodological standards for quantifying and minimizing aviation's total climate impact. Scientific Awards: Luis Azcárraga Aeronautical Innovation Award for collaborative research impact Best Paper Award (2022) from a high-impact aerospace journal Dr. Simorgh secures significant research funding through European Commission projects including FlyATM4E (climate-optimized flight planning), ALARM (aviation emissions reduction), and RefMAP (sustainable aviation pathways). His grant portfolio emphasizes practical implementation of climate mitigation strategies, with strong industry-academia collaboration. He mentors junior researchers through project teams and has developed three major open-source Python libraries (CLIMaCCF, ROOST, ROC) that have become community standards for climate impact assessment in aviation research. His current work focuses on scaling climate-optimized trajectories to continental airspace while addressing operational constraints and economic viability. He leads a research group focused on climate-aware air traffic management, developing the ROOST simulation framework for GPU-accelerated trajectory optimization and the CLIMaCCF library for standardized climate metric calculations. His team collaborates with European air navigation service providers and aircraft manufacturers to transition research into operational practice, with current projects emphasizing real-time implementation and regulatory compliance frameworks.

Codina Bonilla, Lluísمشاهده پروفایل

دانشیار

• Web Positioning
• Semantic Web
• Information Systems
• +۷ مورد دیگر

Lluís Codina Bonilla is an Associate Professor at Pompeu Fabra University's Faculty of Communication, specializing in Journalism and Audiovisual Communication. As a founding member of the DigiDoc Research Group (SGR-01103) and Director of the Cybermedia Observatory, he bridges Information Science and Digital Communication through research on SEO, content curation, and digital media systems. PhD in Information Science (Universitat Autónoma de Barcelona) Co-founder of academic journal Hipertext.net Principal Investigator for multiple Spanish national R&D projects Research Interests: His work focuses on Search Engine Optimization (SEO) for news media, Semantic Web applications in journalism, and content curation systems. Recent studies explore AI applications in content creation and academic research. Academic Contributions: With over 200 articles and 6 books (including Design and SEO for Content-Intensive Websites ), his publications analyze digital media quality assessment, information architecture, and media verification. His 21 doctoral theses (all cum laude) highlight his role as a mentor in digital communication. Premio Roblón 2021 for Investigator of the Year Multiple UPF Social Council Awards for Teaching Quality Nominated Scimago Best Scientific Article Recognized Researcher Tranches (CNEAI/AQU) Academic Infrastructure: Leads the Cybermedia Observatory and contributes to UPF's SEO Media Lab, while maintaining affiliations with the Catalan Society of Communication and Institute of Catalan Studies. His teaching spans Journalism, Audiovisual Communication, and Research Master's programs.

Ramon Canalمشاهده پروفایل

استاد

• Secure microarchitectures
• System reliability
• Virtualization and operating systems
• +۵ مورد دیگر

Ramon Canal is a Professor at the Universitat Politècnica de Catalunya (UPC), affiliated with the Barcelona School of Informatics and the Computer Architecture Department. He has served as Vice Dean of postgraduate studies and leads the VirtuOS (Virtualization and Operating Systems) research group. His academic background includes BSc, MSc, and PhD from UPC, with thesis supervision by Antonio González (UPC) and James E. Smith (University of Wisconsin-Madison). He completed sabbaticals at Harvard University (2006-2007) and University of Cyprus (2019-2020). Education: PhD, MSc, BSc in Computer Engineering (UPC) Research focus: Microarchitecture security, reliability across circuit/system levels, cloud optimization Recent publications address privacy in IoT, secure hardware accelerators, and safety-critical systems. His work contributes to the DRAC project (2019-2022), Red-RISCV network, and Horizon's Vitamin-V project. Awards include HiPEAC Paper Awards, IEEE Senior Member status, Fulbright recognition, and multiple education excellence accolades. Scientific Honors HiPEAC Paper Award (ISCA-44, 2017) IEEE Senior Member (2016) Best Paper Nominee (ICCD-32, 2014) UPC Outstanding PhD Award supervision (2011) He advises current MSc students and has mentored multiple PhD graduates. Professional activities span academic leadership, research collaborations with Barcelona Supercomputing Center (BSC), and technical contributions to reliability analysis frameworks like RECIPE and FRACTAL.

• Intelligent Control Systems
• Discrete Event Dynamic Systems
• Robotics
• +۱ مورد دیگر

Pedro Lima is an Associate Professor at the Lisbon Higher Technical Institute (IST) of the Technical University of Lisbon. He serves as the Portuguese National Delegate to the European Space Agency’s Programme Board for Human Spaceflight Microgravity and Exploration and is President/founding member of the Portuguese Robotics Society. His research focuses on intelligent control systems, discrete event dynamic systems theory, and planning under uncertainty for large-scale complex systems like multi-robot teams. He coordinates the Intelligent Systems group at the Institute for Systems and Robotics. During his research stay at UC3M (2010), he developed decision-theoretic approaches for human-robot interaction involving robot collectives.