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

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.

Felix Gomez Marmolمشاهده پروفایل

دانشیار

• Cybersecurity
• Artificial Intelligence
• Machine Learning
• +۵ مورد دیگر

Felix Gomez Marmol is an Associate Professor at the University of Murcia's Faculty of Informatics, Department of Information and Communication Engineering. His research focuses on cybersecurity, artificial intelligence, network security, and IoT security. He holds a PhD in Computer Science from the University of Murcia (2010), supervised by Dr. Gregorio Martínez Pérez. Key research interests include adaptive intrusion detection systems, dark web analysis, and AI-driven cybersecurity frameworks. He leads the Intelligent Systems and Telematics research group and previously contributed to the Sistemas Inteligentes group. His work emphasizes practical applications such as the SCORPION Cyber Range platform for cybersecurity training and gamification. Recent projects involve detecting hate networks on social media, optimizing malware defense using transfer learning, and developing SIEM systems for IoT environments. His contributions span technical papers on cybersecurity education, ethical hacking fundamentals, and blockchain-based security solutions. Prof. Gomez Marmol has collaborated on initiatives like the COBRA framework for simulating advanced persistent threats (APTs) and the COnVIDa dashboard for pandemic-related data analysis. His research bridges theoretical advancements with real-world cybersecurity challenges.

• Autonomous Vehicles
• Intelligent Transportation Systems
• Robotics
• +۷ مورد دیگر

Miguel Ángel Sotelo Vázquez is a full Professor at the University of Alcalá, leading the INVETT Research Group (Intelligent Vehicles and Traffic Technologies). He holds the Department of Automatic Control and specializes in autonomous systems, particularly in path planning, sensor fusion, and human-vehicle interaction. His research integrates machine learning, robotics, and control theory to address challenges in intelligent transportation systems. He earned his Ph.D. in 2001 with a thesis on autonomous vehicle navigation in partially known environments. His work emphasizes real-world deployment, explainable AI, and safety-critical systems. Recent projects focus on lane change prediction, pedestrian behavior modeling, and cybersecurity for autonomous systems. Key contributions include neuro-symbolic frameworks for decision-making, real-time multi-physics field reconstruction, and cross-cultural studies of pedestrian interactions. He collaborates internationally on urban mobility resilience and hydrogen refueling infrastructure. Research Highlights : Development of knowledge graph-based prediction architectures Experimental validation of human-vehicle interaction in VR environments Creation of the SCOUT trajectory prediction framework

Luo Maiمشاهده پروفایل

استادیار

• Computer Systems
• Machine Learning Systems
• Data Management
• +۳ مورد دیگر

Luo Mai is an Assistant Professor at the University of Edinburgh's School of Informatics , with an upcoming promotion to Associate Professor (UK Reader) in August 2025. He leads the Large-Scale Machine Learning Systems Group and co-leads the UK EPSRC Centre for Doctoral Training in Machine Learning Systems and an ARIA Project on Scaling AI Compute by 1000X . PhD in Computer Science (Imperial College London, 2018) MRes in Advanced Computing (Imperial College London, 2012) His research focuses on the intersection of computer systems , machine learning , and data management . Key contributions include award-winning systems like WaferLLM (wafer-scale LLM inference), Tenplex (elastic ML), and ServerlessLLM (serverless LLM serving), published at top venues (OSDI, SOSP, ICML, NeurIPS, JMLR). Recent publications demonstrate trends in GPU-based distributed systems , LLM optimization , and adaptive machine learning . His team has developed groundbreaking open-source projects including TensorLayer , TorchOpt , and ServerlessLLM . Awarded Microsoft Research StarTrack Scholar (2024) , secured ARIA grant (2024) with Imperial College & Cambridge University, and received Google Fellowship during PhD (2012-2016). As an educator, he designed Edinburgh's popular Machine Learning Systems course (150+ students). His group supervises multiple PhD students including Yao Fu (recognized as 2024 Rising Star in ML & Systems) and Leyang Xue .

Deian Stefanمشاهده پروفایل

دانشیار

• Security
• Programming Languages
• Systems
• +۶ مورد دیگر

Deian Stefan is an Associate Professor in the Department of Computer Science and Engineering at the University of California at San Diego. His research focuses on secure systems spanning security, programming languages, and systems. He is particularly interested in WebAssembly, JavaScript JITs, language-based security (constant-time programming, memory safety, information flow control), verification for security, and program analysis tools. Co-founder and Chief Scientist at Intrinsic (acquired by VMWare) Contributor to W3C WebAppSec and Node.js Security Working Groups Research Interests: His work addresses secure systems through principled approaches, including: Web frameworks security Browser design security Sandboxing techniques Runtime systems security Constant-time programming WebAssembly and JavaScript JITs Scientific Awards: Distinguished paper award at POPL 2023 IEEE Cybersecurity Award for Practice 2022 Best paper award at CollaborateCom 2010 Most Influential Paper Award at ICFP 2022 First place at CSAW 2020 for applied research Advising: Deian has mentored students including Shravan Narayan, Evan Johnson, Sunjay Cauligi, and Fraser Brown, focusing on security, systems, and programming languages.

Alysson Neves Bessaniمشاهده پروفایل

دانشیار

• Distributed Systems
• Dependability
• Fault Tolerance
• +۵ مورد دیگر

Alysson Neves Bessani is an Associate Professor at the Informatics Department of Faculdade de Ciências da Universidade de Lisboa, Portugal, and a member of the LaSIGE research group. His work focuses on distributed systems, Byzantine fault tolerance, and cybersecurity, with significant contributions to blockchain consensus and intrusion-tolerant architectures. Academic Rank: Associate Professor University: Universidade de Lisboa School: Faculdade de Ciências Department: Informatics Department Research Groups: LaSIGE, Navigators Research Interests span distributed systems design, Byzantine fault tolerance, adaptive consensus protocols, and secure multi-cloud storage. His work bridges theoretical foundations with practical implementations like the BFT-SMaRt library and the Vawlt startup. Scientific Awards include multiple Test-of-Time Awards (DSN'24, DSN'21), IBM Faculty Award (2017), and Best Student Paper at Middleware'19. He has advised numerous PhD and Master’s students, contributing to advancements in fault-tolerant systems. Publications (15 most recent) reveal trends in Byzantine consensus optimization, blockchain integration, and AI-driven threat detection. His interdisciplinary work combines distributed computing with genomics and IoT security, reflecting a broad impact across computer science.

• Artificial Intelligence
• Robotics
• Data Science
• +۴ مورد دیگر

Cecilio Angulo Bahón is a full Professor at the Polytechnic University of Catalonia (UPC), affiliated with the Barcelona School of Industrial Engineering (ETSEIB) and the Department of Systems, Automatics and Industrial Informatics Engineering . He leads research in Artificial Intelligence and Robotics , with significant contributions to healthcare data analytics, digital twins, and human-robot collaboration. His research spans machine learning for medical data harmonization, generative adversarial networks in health informatics, and evolutionary algorithms for control systems. Recent publications focus on synthetic healthcare data generation, climate-resilient agriculture , and UMAP-based data analysis . His work bridges AI theory with practical applications in industrial and healthcare domains. Scientific awards include the Sant Jordi 2023 Digital Polytechnic Initiative Award . He has supervised doctoral candidates like Carlos Flores-Vázquez and N. Raya, with key collaborations at the IDEAI-UPC Intelligent Data Science and AI Research Group and the Institute of Robotics and Industrial Informatics (CSIC-UPC).

• 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
• Cybersecurity
• IoT
• +۳ مورد دیگر

Pedro Miguel Sanchez Sanchez is a researcher affiliated with the University of Murcia , specializing in Machine Learning , Cybersecurity , and IoT . He earned his doctorate in 2024 with the thesis Identical IoT device identification via hardware performance fingerprinting and Machine Learning , supervised by Dr. Alberto Huertas Celdrán and Dr. Gregorio Martínez Pérez. Research Interests Pedro's work focuses on applying Machine Learning and Federated Learning to solve critical challenges in Cybersecurity and IoT environments. His research includes: Developing decentralized federated learning frameworks (e.g., Flighter, ProFe) for secure and efficient model training. Designing malware detection systems using system call data and large language models . Enhancing IoT device authentication via hardware fingerprinting techniques. Exploring moving target defense strategies to counter zero-day attacks on IoT networks. Building knowledge graphs for cyber defense applications. Recent Publications Pedro's 2025–2024 publications demonstrate a strong focus on decentralized federated learning , malware mitigation , and hardware-based security . Key trends include: Advancements in zero-shot learning for multilingual tasks on edge devices. Security frameworks (e.g., Cyberforce, Sentinel) for military reconnaissance and industrial IoT . Behavioral analysis techniques for ransomware detection and continuous authentication . Robustness studies on federated learning architectures under adversarial conditions. Creation of benchmarks like LwHBench for hardware performance evaluation. Collaborations He has collaborated with researchers in the Intelligent Systems and Telematics group, contributing to projects in 5G security , crowdsensing platforms , and trusted execution environments .

Jorge Bernal Bernabeمشاهده پروفایل

دانشیار

• Cybersecurity
• Internet of Things (IoT) Security
• Network Security
• +۷ مورد دیگر

Jorge Bernal Bernabe is an Associate Professor at the University of Murcia , affiliated with the Faculty of Informatics and the Department of Information and Communication Engineering . He holds a PhD in Computer Science from the University of Murcia (2015), focusing on 'Authorization and Trust Management in Distributed Systems Based on the Semantic Web.' His research group, Intelligent Systems and Telematics , explores cutting-edge cybersecurity solutions for IoT, 5G/6G networks, and privacy-preserving technologies. He is a key contributor to frameworks like OLYMPUS (privacy-aware identity management) and ARIES (European identity ecosystem). Education : PhD in Computer Science, University of Murcia (2015) Research Interests : His work centers on securing next-generation networks (e.g., 5G/6G), IoT privacy, federated learning applications for intrusion detection, blockchain-based identity systems, and policy-driven security enforcement. He emphasizes privacy-by-design principles and explores challenges in digital sovereignty and decentralized governance. Notable Projects : OLYMPUS: Oblivious identity management system ARIES: Pan-European identity framework ANASTACIA: Security agents for CPS/IoT INSPIRE-5Gplus: Cognitive security for 5G networks Labs/Teams : Active in the Intelligent Systems and Telematics Group , collaborating with industry partners on secure IoT deployments and 5G cybersecurity solutions.

Tiark Rompfمشاهده پروفایل

استادیار

• Compiler Design
• Programming Languages
• Runtime Code Generation
• +۸ مورد دیگر

Tiark Rompf is an Assistant Professor at Purdue University , with research spanning programming languages, compilers, and systems. His work bridges domains including architecture, databases, machine learning, and AI through projects like Reachability Types and Rhyme. Co-director of the Purdue Center for Programming Principles and Software Systems (PurPL) Scientific Advisor at SambaNova Systems Previously a member of the Scala team at EPFL His research focuses on: Runtime code generation and advanced compiler technology Expressive data-centric query languages (Rhyme, Datalog) Reachability type systems for memory safety and effect handling Metaprogramming and logical relations for formal verification Recent publications highlight contributions to Datalog compilation (Flan), nested data structures (Rhyme), and polymorphic reachability types. He leads projects exploring: Compiler optimizations for emerging architectures (GPU, TPU, FPGA) ML-driven compiler improvements Secure multi-party computation via metaprogramming Scientific awards include: NSF CAREER Award (2016) Google Faculty Research Awards (2017, 2018) DOE Early Career Research Award (2017) ACM SIGPLAN PL Software Award (2019) GPCE Test of Time Award (2020) Students and alumni from his group have joined institutions like Databricks, DeepMind, Galois, and Meta. He teaches advanced compiler courses including: CS 590 - Advanced Topics in Compilers CS 352 - Compilers CS 502 - Graduate Compilers

Caleb Stanfordمشاهده پروفایل

استادیار

• Programming Languages
• Formal Methods
• Distributed Systems
• +۴ مورد دیگر

Caleb Stanford is an Assistant Professor in the Department of Computer Science at the University of California, Davis. He specializes in programming languages and formal methods with applications to distributed systems, data processing, and computer security. His research focuses on developing practical tools and theoretical foundations for secure and reliable systems. Research interests span programming languages theory, formal verification techniques for distributed systems, Rust ecosystem security, stream processing verification, and automata theory extensions. Specific projects include securing Rust crates through automated auditing tools, extending derivative-based abstractions for regular expressions, and developing verification frameworks for dataflow programming. His publications demonstrate consistent focus on formal methods applications, with recent emphasis on Rust program safety (2025), stream processing verification (2020-2024), and incremental graph algorithms (2023). Article keywords frequently include formal verification, programming languages, distributed systems, and automata theory. Dr. Stanford actively recruits students for research positions: Undergraduates should demonstrate excellence in relevant coursework Prospective PhD students must apply through UC Davis admissions Current openings focus on Rust security, formal methods, and distributed systems verification He leads the Guided Incremental Digraphs (GID) research project and collaborates with UCSD on Rust security initiatives. Community contributions include serving as Artifact Evaluation Co-Chair for POPL 2024 and committee member for PLDI and OOPSLA conferences.

• Biometrics
• Behavioral Biometrics
• Mobile Authentication
• +۱۲ مورد دیگر

Ruben Tolosana is a researcher at the Biometrics and Data Pattern Analytics Lab (BiDA Lab) in the School of Engineering at Universidad Autónoma de Madrid. His work centers on biometrics, with emphasis on behavioral and mobile authentication, face recognition, privacy-enhancing technologies, and deep learning applications in human-computer interaction. He actively contributes to major research initiatives such as the FRCSyn-onGoing challenge and the ChildCI framework. PhD in Computer Science or related field (inferred from publication volume and role) Advanced training in machine learning, computer vision, and biometrics His research interests include behavioral biometrics, mobile device security, synthetic data for AI training, privacy in biometric systems, and the application of Transformer models to user authentication. Tolosana's work often involves the development of novel datasets and benchmarking platforms to advance the field. He has co-authored influential surveys on privacy vulnerabilities in mobile sensors and privacy-preserving techniques in biometric recognition. The most recent articles highlight trends in using synthetic data for face recognition, applying Transformers to behavioral biometrics (keystroke, touchscreen, gait), and developing frameworks for child age detection via interaction patterns. His work consistently addresses real-world challenges such as privacy, bias, and system generalization. Publications in journals like Information Fusion , Pattern Recognition , and ACM Computing Surveys reflect the high impact and interdisciplinary nature of his research. Second FRCSyn-onGoing: Winning solutions and post-challenge analysis to improve face recognition with synthetic data (2025) ChildCI framework: Analysis of motor and cognitive development in children-computer interaction for age detection (2024) FRCSyn-onGoing: Benchmarking and comprehensive evaluation of real and synthetic data to improve face recognition systems (2024) SwipeFormer: Transformers for mobile touchscreen biometrics (2024) An Overview of Privacy-Enhancing Technologies in Biometric Recognition (2024) Ruben Tolosana collaborates extensively with researchers in the BiDA Lab, including Rubén Vera-Rodríguez, Aythami Morales, Julian Fierrez, and others. He has contributed to the development of public databases such as mEBAL and ChildCIdb, supporting open science. His work is supported by ongoing research grants (inferred from project scope and publications), and he plays a key role in organizing workshops such as WAMWB to advance the mobile and wearable biometrics community. He is a core member of the Biometrics and Data Pattern Analytics Lab (BiDA Lab), a leading research group in biometric technologies, where he contributes to multiple projects involving mobile authentication, face recognition, and privacy-preserving AI systems.

Juan Manuel Hernandez Campoyمشاهده پروفایل

استاد

• Sociolinguistics
• Dialectology
• Historical Sociolinguistics
• +۸ مورد دیگر

Juan Manuel Hernández-Campoy is a Full Professor in Sociolinguistics at the Department of English Philology, Faculty of Arts and Humanities, University of Murcia, Spain. He teaches courses on English Sociolinguistics, Varieties of English, and the History of the English Language, as well as research methods at the postgraduate level. He has held numerous academic leadership roles, including Head of Department (2005–2008) and currently serves as Director of the International Doctoral School of the University of Murcia (EIDUM). Education: PhD in English Philology, University of Murcia, 1996 (Extraordinary Doctorate Prize, 1997) Bachelor’s in Philosophy and Literature (Modern Philology, English), University of Murcia, 1991 Erasmus Studies, University of Essex, UK His research centers on sociolinguistics, dialectology, and the historical development of the English language. He explores stylistic variation, language change, and sociolinguistic methodology, with a strong emphasis on both synchronic and diachronic analysis. His work bridges theoretical and applied perspectives, often using corpus-based and geolinguistic approaches. The 15 most recent publications reflect a consistent trajectory in historical sociolinguistics, stylistic variation, and dialectology, with major reference works such as encyclopedias, handbooks, and dictionaries published by Wiley-Blackwell, John Benjamins, and Gredos. These works synthesize broad disciplinary knowledge and are widely used in academic settings. Scientific Awards: Extraordinary Doctorate Prize in Letters, University of Murcia, 1997 He has secured significant research funding as Principal Investigator on projects like Sociolinguistic Models of Stylistic Variation (FFI2014-56084-P) and Speaker Design as a Model of Stylistic Variation (Fundación Séneca). He has advised numerous postgraduate students and coordinated multiple master's and doctoral programs. He has also served as editor for major journals including International Journal of English Studies and Cuadernos de Filología Inglesa . He leads the research group Linguistic Variation: Phonetics, Lexicon and Styles and has been instrumental in organizing international conferences such as the Sociolinguistics Symposium 21 and HiSoN-2022. He maintains active Erasmus partnerships with the University of Essex and University of Bern, promoting academic exchange and collaboration.

• Educational Technology
• eLearning
• Artificial Intelligence in Education
• +۱۲ مورد دیگر

Marc Alier Forment is an Associate Professor at the Universitat Politècnica de Catalunya (UPC), affiliated with the Department of Services and Information Systems Engineering within the Faculty of Informatics of Barcelona (FIB). He is also associated with the Institut de Ciències de l'Educació and serves as Coordinator of the Doctoral Program in Engineering, Science, and Technology Education. His research is conducted through the UPC EduSTEAM - STEAM University Learning Research Group. His research interests span Educational Technology , Artificial Intelligence in Education , Learning Management Systems , Open Source in Education , Ethics in Computing , Sustainability in Education , Mobile Learning , Learning Analytics , and Privacy in EdTech . He emphasizes ethical, secure, and sustainable applications of technology in higher education, particularly in engineering contexts. The recent scholarly output highlights a strong focus on the integration of AI in education (especially through the LAMB framework), ethical implications of generative AI, privacy in learning analytics using edge and fog computing, and innovative pedagogical methods in computer science education. His work increasingly bridges technical computing with humanistic concerns such as ethics, privacy, and social responsibility. Best Paper Award TEEM'22 Premis de Programari lliure 2005 de l'AGAUR VI Premi Davyd Luque a la innovació en les TIC Best interoperability innovation: Moodle simple learning tools for interoperability consumer – Spain Marc Alier Forment has led and participated in numerous educational innovation and R&D+i projects, particularly focused on Moodle/LMS integration, mobile learning, open-source educational tools, and the development of ethical and privacy-preserving technologies. He has mentored and collaborated extensively with colleagues on curriculum development, particularly in embedding sustainability and ethics into computing education. His work is central to UPC’s digital education strategy, especially through the Atenea platform. He leads and contributes to the UPC EduSTEAM research group and has been instrumental in developing STEAM-based lecturer training programs. His projects often involve interdisciplinary collaboration across computing, education, and social sciences, aiming to create holistic, responsible technological solutions for learning.