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

Talia Ringerمشاهده پروفایل

استادیار

• Verification
• Proof Engineering
• Dependent Type Theory
• +۳ مورد دیگر

Talia Ringer is an Assistant Professor at the University of Illinois at Urbana-Champaign , focusing on making program verification using interactive theorem provers more accessible through improved proof engineering tools and practices. Her research addresses challenges in maintaining proofs as programs evolve and advancing formal verification. Ph.D., University of Washington (2021), NSF GRFP and P.E.O. Fellow B.S., Mathematics and Computer Science, University of Maryland Former software engineer at Amazon Her research interests include: Program Verification Proof Engineering Dependent Type Theory Interactive Theorem Provers (Coq) Key trends in her publications include: Automated proof generation and repair using large language models Tool development for Coq and other proof assistants Formal verification of software and data structures Integration of identifiers and type equivalences in verification Test input generation for software reliability Scientific awards and honors: NSF Graduate Research Fellowship Program (GRFP) P.E.O. Scholar Award She has advised numerous researchers through her work and founded the SIGPLAN-M Mentoring Program and Computing Connections Fellowship . No specific student names are listed in the scraped text.

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

Scott Morrisمشاهده پروفایل

استاد

• Personnel selection
• Psychometrics
• Adverse impact analysis
• +۵ مورد دیگر

Scott Morris is the Nambury S. Raju Endowed Chair in Psychology and a Professor at Illinois Institute of Technology's Lewis College of Science and Letters. He directs the Industrial/Organizational Psychology Program and leads the Personnel Selection & Analytics Lab. Dr. Morris holds a Ph.D. in Industrial-Organizational Psychology from the University of Akron (1994) and a B.A. in Psychology from the University of Northern Iowa (1987). His research examines psychometric methods for fair personnel selection systems, with emphasis on: Advanced statistical models for employment testing Adverse impact analysis and workplace equity Meta-analysis methodology and validity generalization Computer adaptive testing and item response theory Bias in subjective hiring practices and interviews His publications demonstrate consistent focus on quantitative methods for employment decisions, with recent works concentrating on meta-analytic techniques, adverse impact analytics, and adaptive testing systems. Earlier research established foundations in effect size estimation and differential item functioning. Honors include: Fellow, Society for Industrial and Organizational Psychology Fellow, American Psychological Association Dr. Morris serves as Associate Editor for the Journal of Applied Psychology and develops open-source psychometric software. His lab investigates selection system design, AI in hiring reactions, and multidimensional testing applications.

• Human-Computer Interaction
• Educational Technology
• Computer Science Education
• +۳ مورد دیگر

Francisco Javier Oliver Bernal is a Lecturer at the University of Deusto in Bilbao, Spain, within the Faculty of Education and Sport and the Department of Physical Activity and Sports Sciences. He teaches across Computer Engineering, Physical Activity and Sports Sciences, and Primary Education bachelor's programs, as well as the Master's in Secondary Education. He earned his Doctor of Medicine and Surgery from the University of the Basque Country. His research spans Human-Computer Interaction, Educational Technology, and Science Education, with a strong emphasis on accessibility for visually impaired users. He has developed tools for e-learning, digital resource centers, and innovative teaching methodologies in computer science and natural sciences, aiming to enhance educational experiences through technology. His scholarly output, spanning from the 1990s to 2023, demonstrates a consistent focus on technology-enhanced learning, evolving from early work in 3D interfaces and computer graphics to recent applications in health, music, and interdisciplinary educational contexts. Key trends include the integration of accessibility features, the development of domain-specific educational tools (e.g., for biology and astronomy), and responses to contemporary challenges like the COVID-19 pandemic. He has supervised multiple theses on digital accessibility and cooperative systems, though student names were not listed. Details on research grants were not provided in the available text. As a member of the eVida research group (officially recognized by the Basque Government), he contributes to projects advancing accessible educational technologies, including the ACCE project for audiovisual accessibility and READIS digital resource centers for visually impaired users.

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.

Maria Ribera Sanchoمشاهده پروفایل

استاد

• Software Engineering
• Conceptual Modeling
• Ontologies
• +۴ مورد دیگر

Dr. Maria Ribera Sancho is a Professor at the Polytechnic University of Catalonia (BarcelonaTech), holding roles as Dean of the Faculty of Informatics of Barcelona (2004–2010), Vice-Dean (1998–2004), and currently Manager of the Education and Training Department at the Barcelona Supercomputing Center (BSC-CNS). She chairs the EQANIE Accreditation Committee and serves on the ACM-W Europe Executive Committee. Her research focuses on Software Engineering, Conceptual Modeling, Ontologies, Learning Analytics, and IoT applications. Notable contributions include work on automated design using conceptual models, model-driven software development, and semantic-based IoT infrastructure monitoring. She leads projects like LinDaFIX (social welfare data tools) and REMEDiAL (ontology-driven software automation). Key awards include the UPC Quality in Teaching Prize (2005, 2021), Jaume Vicens Vives Distinction (2005), Sapiens Award (2011), and Festibity Award (2011). She advises doctoral and master’s students on topics like IoT semantic monitoring and educational ontology development. Academic director of the inLab FIB Talent Program, she also directs the PRACE Advanced Training Center at BSC. Main projects include TINTIN (SQL integrity tool), e-Catalunya (collaborative government platform), and PILARES (learning analytics for secondary education). Her work bridges academia and industry through competitive projects with companies and institutions.

Salvador Nayaمشاهده پروفایل

استاد

• Statistics
• Operations Research
• Data Analytics
• +۷ مورد دیگر

Salvador Naya is a Professor of Statistics and Operations Research at the University of A Coruña, affiliated with the Polytechnic School of Engineering (EPEF). He is a researcher in the Modeling, Optimization and Statistical Inference Group (MODES) and linked to the CITIC Research Center. His work focuses on statistical methodologies applied to maritime technology, energy efficiency, materials science, and interlaboratory studies. Recent activities include a keynote lecture on data and AI applications across domains (land, sea, air, space) at the Ferrol Industrial Campus. Research interests span statistical quality control, predictive modeling for naval engineering, thermal degradation analysis of biomaterials, and anomaly detection in energy systems. He collaborates with industry partners like Navantia Seanergies and has contributed to projects on Panama Canal vessel transit optimization, renewable energy, and waste-to-resource initiatives. His academic contributions include R package development (e.g., TTS, ILS) for statistical analysis in materials science and interlaboratory studies. He actively engages in education and industrial partnerships, emphasizing Industry 4.0 applications in maritime and construction sectors.

• Education Technology
• Data Science
• Educational Assessment
• +۳ مورد دیگر

Lluís Vicent Safont is a Senior Lecturer and Director of the Postgraduate Program in Data Management at the UPF Barcelona School of Management. He has held prominent roles such as Rector of Universitat Oberta La Salle (2008–2012) and academic leadership positions at institutions like Universitat Ramon Llull and Universidad La Salle. His research focuses on data science, education technology, and innovative teaching methodologies, with over 70 publications and 50 projects as Principal Investigator. He specializes in curriculum design, educational assessment, and the integration of technology in higher education, including hybrid learning systems and adaptive learning tools. Education background includes a Doctorate in Engineering and Architecture, alongside master’s and technical engineering qualifications. His work emphasizes bridging education and technology, addressing challenges like early school leaving and digital education readiness. He has contributed to international conferences (IEEE, Erasmus+) and authored books on topics like fuzzy logic in assessment and multimedia in education. As a leader, he has directed postgraduate programs, research groups, and institutional initiatives, focusing on innovation, internationalization, and educational policy. His projects often involve collaboration across universities and institutions to enhance educational quality and accessibility. Recent work includes the H2O Learn project on hybrid education analytics and initiatives reinforcing engineering leadership in societal contexts.

• Network Security
• Telecommunications
• Multi-Agent Systems
• +۴ مورد دیگر

Enrique de la Hoz de la Hoz is an Associate Professor at the Department of Automática, University of Alcalá, Spain. His research focuses on Network Security, Telecommunications, and Multi-Agent Systems. He holds a PhD from the University of Alcalá (2017), with a thesis on consensus policy applications in complex negotiations. His work spans Wi-Fi channel optimization, IoT security frameworks, and critical infrastructure resilience using graph theory and multi-agent negotiation techniques. He leads the NetIS research group (Networks and Intelligent Systems), addressing challenges in network resource allocation and secure communication protocols. Key research areas include: Application of graph coloring to Wi-Fi channel assignment and network resilience Multi-Agent systems for distributed decision-making in smart environments Cybersecurity for IoT and critical infrastructure protection Optimization of traffic light systems using intelligent agent coordination His recent work emphasizes reactive resilience mechanisms (e.g., REACT framework) and surgical immunization strategies against network attacks. He has contributed to standards like SDN-based secure routing and access control models for IoT environments. His research methodologies combine theoretical graph theory with practical implementations in real-world network scenarios.

Jordi Renom Pinsachمشاهده پروفایل

استاد

• Psychometrics
• Educational Measurement
• Sports Psychology
• +۳ مورد دیگر

Jordi Renom Pinsach is a full Professor at the Department of Social Psychology and Quantitative Psychology, University of Barcelona. Since 1987, he has focused on teaching, research, and university-business collaboration in psychometrics, educational measurement, and sports psychology. He leads the Testing-Quest project, specializing in methodological support for assessment tools. As principal investigator, he coordinates over 90 applied research projects in areas like test validation and organizational performance evaluation. Academic training: Completed a Psychology Degree (1985) and PhD (1990) at the University of Barcelona. Current teaching includes Psychometrics, Sports Psychology, and Research Methods at both undergraduate and master’s levels. Research interests center on psychometric instrument design, validation of assessment tools, and application of behavioral measurement in education, healthcare, and sports. His Testing-Quest initiative provides quality audits for tests used in organizational and educational settings, addressing issues like reliability, validity, and bias mitigation. Key projects include developing competency assessment systems for healthcare teams (Hospital Clínic de Barcelona) and analyzing sports continuity factors in sailing federations. His work bridges academic research with practical applications through contracts with institutions like the Bosch i Gimpera Foundation. Professional services include technical consultancy for appeals processes involving disputed test results, and training programs on test construction for professionals in education and HR. Active in sports psychology since 1985, he has developed over 200 training modules for coaches and sports organizations.

Diego Sevilla Ruizمشاهده پروفایل

دانشیار

• Software Engineering
• Database Systems
• NoSQL Technologies
• +۳ مورد دیگر

Diego Sevilla Ruiz is an Associate Professor at the University of Murcia's Faculty of Informatics, Department of Computer Engineering and Technology, where he leads initiatives in Software Engineering research. He completed his PhD in 2008 on distributed component models (CORBA-LC). His research focuses on database technologies, particularly schema evolution in NoSQL and relational databases, model-driven engineering approaches, and unified metamodeling. Recent work develops Skiql (a schema query language), Athena (schema definition language), and methodologies for referential integrity in graph databases. His publications advance database abstraction techniques, schema migration frameworks, and automated tools for database management and modernization.

Josep Casanovasمشاهده پروفایل

استاد

• Modelling and Simulation
• Internet and Information Systems
• Urban Mobility
• +۴ مورد دیگر

Josep Casanovas is a Full Professor at the Statistics and Operations Research Department of the Technical University of Catalonia (UPC), affiliated with the Barcelona School of Informatics. He previously served as head of inLab FIB (2012-2020) and as dean (1998-2004) and vice-rector (2006-2011) of UPC, leading strategic initiatives in university governance and ICT policies. His research focuses on Modelling and Simulation , Internet and Information Systems , and Urban Mobility . He has led projects for the European Union, including C-ROADS Spain, REMEDiAL, and ECHORD++, addressing intelligent transport, software automation, and robotic innovation. Recent publications highlight his work on agent-based simulation for urban health, deep learning applications in traffic and energy savings, and wildfire management tools . He co-directs LogiSim and coordinates the Severo Ochoa Research Excellence Program at the Barcelona Supercomputing Center (BSC-CNS).

• Computer Science
• Artificial Intelligence
• Robotics

Gonzalo Esteban Costales is a researcher affiliated with the University of Leon from 2012 to 2025, specializing in Computer Science and Artificial Intelligence within the Robotics research group. His work bridges haptic simulation, robotics, and educational technology. Education: Ph.D. in Computer Science (2020), University of Leon, with a thesis on haptic simulators for expert knowledge transfer . Research Interests: Haptic simulation for surgical training and rehabilitation Robotics security in industrial environments Educational technology frameworks Version control analytics for student performance Open-source vulnerability detection tools Key Article Trends: Recent publications focus on haptic workspace optimization, threat modeling for robotic production plants, and security enhancements in continuous integration workflows. His work spans simulation design, cybersecurity, and educational applications of robotics.

• Psychology
• Human Factors
• Data Visualization
• +۷ مورد دیگر

Pedro Valero Mora is a Professor at the University of Valencia , affiliated with the Faculty of Psychology and Speech Therapy and the Department of Behavioural Science Methodology . He leads research at the Universitat de València Research Institute of Transit and Road Safety (INTRAS) and contributes to the GIDOP Optimal Development Research Group . PhD in Psychology (Universitat de València, 1996) Specializes in Human-Computer Interaction , Driving Simulation , and Data Visualization Develops tools for Statistical Analysis and Educational Technology Focuses on Transportation Safety , Behavioral Science , and GIS Applications His recent work analyzes driving performance through GIS mapping , fatigue studies , and mindfulness impacts . Publications emphasize automated data visualization and road safety in university campuses. Research spans 26 years, including collaborations on EU COST Action TU1101 and ViSta software development.

• Urban Mobility
• Traffic Simulation
• Smart City Technologies
• +۲ مورد دیگر

Maria Paz Linares Herreros is a Senior Lecturer at the Universitat Politècnica de Catalunya (UPC) in the Department of Statistics and Operations Research within the Faculty of Mathematics and Statistics (FME). She is affiliated with the IMP - Information Modeling and Processing research group and inLab FIB. Her educational background includes a Licenciada en Matemáticas, a Doctorate from UPC, and a Master's in Logistics, Transportation, and Mobility. Licenciada en Matemáticas Doctorat from Universitat Politècnica de Catalunya Máster en Logística, Transporte y Movilidad Her research focuses on urban mobility , traffic simulation , and smart city technologies . She develops data-driven models for transportation systems and parking management, integrating deep learning techniques for real-time predictions. Her work addresses environmental impact assessment of traffic policies and inclusive mobility solutions . Recent publications analyze urban mobility trends through macroscopic and microscopic traffic models , deep learning applications for parking predictions, and dynamic ride-sharing systems . She explores IoT interoperability and data integration in transportation. Scientific awards include the IV International Award on Transport Infrastructure Management Research (2014). She participates in competitive R+D+I projects like ALGORAE and Virtual Mobility Lab, focusing on transportation innovation and smart city policy evaluation . She contributes to multimodal transport simulation frameworks such as CitScale and Barcelona Virtual Mobility Lab, which evaluate emerging mobility concepts and city policies using integrated modeling approaches .