جستجوی استاد راهنمای دانشگاهی

• Electrical Engineering
• Power Systems
• Renewable Energy
• +۵ مورد دیگر

Alfredo Alcayde García is an Associate Professor in the Engineering Department at the University of Almería, Spain. With an h-index of 21 (Scopus) and 18 (Web of Science), he has established himself as a significant contributor to electrical engineering research, particularly in power systems analysis and renewable energy integration. His academic profile includes directing multiple doctoral theses and leading several research projects with substantial funding from national and international sources. Professor Alcayde García's research primarily focuses on electrical engineering with specialization in power systems under non-sinusoidal conditions, renewable energy integration, and energy efficiency optimization. His work bridges theoretical developments in geometric algebra applications for power theory with practical implementations in smart grid technologies and non-intrusive load monitoring. Recent research directions have expanded to include environmental applications, particularly examining microplastic pollution in agricultural contexts related to energy systems. Analysis of his recent publications (2023-2025) reveals a strong trend toward interdisciplinary research that combines electrical engineering with environmental science and data analytics. His work spans high-impact journals across multiple disciplines, demonstrating both depth in his core field and breadth through successful cross-disciplinary collaborations. The research shows consistent methodological rigor with increasing emphasis on practical applications and real-world implementation of theoretical concepts. Professor Alcayde García actively supervises graduate students and has directed multiple doctoral theses on topics ranging from drone-based power line design to electric vehicle integration. His research group 'Computación, optimización y sensorización en ingeniería y energía' maintains several active projects with significant funding, indicating strong research momentum and institutional support. Current projects demonstrate a strategic expansion into environmental applications of engineering principles while maintaining core strengths in power systems analysis. The research environment led by Professor Alcayde García emphasizes both theoretical innovation and practical implementation, with opportunities for students to engage in field work, computational modeling, and collaborative projects across engineering disciplines. His work continues to evolve with emerging energy challenges, maintaining relevance to both academic research and industry applications.

• Nuclear Physics
• Neutrino Physics
• Electron-Nucleus Scattering
• +۷ مورد دیگر

Professor Juan Antonio Caballero Carretero is a distinguished faculty member in the Department of Atomic, Molecular and Nuclear Physics at the University of Seville's Faculty of Sciences. He leads the Basic Nuclear Physics Research Group and serves as Principal Investigator for multiple national and international research projects focused on neutrino physics and nuclear structure. His research focuses on theoretical nuclear physics with particular emphasis on neutrino-nucleus interactions , electron-nucleus scattering , and the development of relativistic nuclear models. Professor Caballero Carretero is renowned for his contributions to the superscaling approach and the development of the SuSA and SuSAv2 models , which have become essential tools for interpreting data from major neutrino experiments. His recent publication record demonstrates continued productivity with significant contributions to understanding neutrino interactions across multiple experiments including T2K, SuperKamiokande, and MINERvA. His work bridges theoretical nuclear physics with experimental neutrino physics, providing critical frameworks for analyzing neutrino oscillation data. Professor Caballero Carretero maintains extensive international collaborations, particularly with INFN (Italian National Institute for Nuclear Physics) and researchers involved in major neutrino experiments worldwide. He has supervised multiple PhD students to completion and actively participates in training the next generation of nuclear physicists. His research group receives funding from Spanish national grants, European programs, and international collaborations, supporting ongoing work in neutrino physics and nuclear structure theory. The group regularly participates in international conferences and workshops, contributing to the global nuclear physics community.

• Economics
• Econometrics
• General Equilibrium Modeling
• +۴ مورد دیگر

Ferran Sancho is a Professor in the Department of Economics and Economic History at the Autonomous University of Barcelona (UAB), where he has maintained academic appointments since 1976. He is affiliated with the Center for the study of the Organizations and Decisions in Economics (CODE), focusing on institutional design and economic applications. His international experience includes visiting positions at UC Berkeley and the Federal Reserve Bank of Minneapolis. Education: Ph.D. in Economics, Universitat Autònoma de Barcelona (1983) M.A. in Economics, University of California, Berkeley (1981) Degree in Economics, Universitat Autònoma de Barcelona (1976) Research Interests: Professor Sancho's work centers on computable general equilibrium models, input-output analysis, and economic policy design. His recent research explores environmental taxation mechanisms, employment allocation patterns, and European economic integration, with particular emphasis on the Spanish economy. He develops methodological innovations for analyzing price-quantity interactions and assessing policy impacts. Publication Trends: His 107 publications demonstrate consistent focus on economic modeling applications, with recent work (2024-2025) emphasizing environmental economics, carbon taxation design, labor market analysis, and methodological extensions of input-output modeling. His research shows strong policy orientation with applications to EU funding and climate targets. Projects and Funding: Professor Sancho has led or participated in 18 research projects, including current work on 'Information, Choice, and Risk in Complex Environments' (2024-2027). His projects have received funding from Spanish ministries, European Regional Development Funds, and other national research organizations. Laboratory Affiliation: He conducts research through the Center for the study of the Organizations and Decisions in Economics (CODE), which focuses on theoretical and applied institutional economics.

Bas Spittersمشاهده پروفایل

دانشیار

• Homotopy Type Theory
• Formal Verification
• Blockchain
• +۶ مورد دیگر

Bas Spitters is an Associate Professor at the Department of Computer Science, Aarhus University, Denmark. He leads the Concordium Blockchain Research Center and the Blockchain workpackage in Digit , and contributes to Aarhus University's Quantum Campus initiative. His research spans Homotopy Type Theory , Formal Verification , and High-assurance cryptographic software . He develops proof assistants like Coq for applications in probabilistic programming , blockchain security , and quantum computing . Recent article trends focus on verified compilation (CertiCoq-Wasm), smart contract certification (ConCert), and applications of HoTT to probabilistic and blockchain systems. Key keywords include Formal Methods , Blockchain , Quantum Computing , and Cubical Type Theory . Scientific awards and grants: AFOSR grant (2018-2021) for Homotopy Type Theory in probabilistic computation Villum Foundation grant (2015-2019) for Guarded Homotopy Type Theory NWO VENI grant (2010-2013) for Reasoning and Computing DIAMANT researcher grant Advising and collaboration: Advised PhD students: Benjamin Salling Hvass, Jakob Botsch Nielsen, Andreas Aagaard Lynge, Soren Eller Thomsen, Martin Bidlingmaier Collaborated on computer-verified exact analysis, smart contracts, and quantum logic Organized workshops: TYPES workshop , HACS , and DMV Mini-Symposium

Guilhem Jaberمشاهده پروفایل

دانشیار

• Programming Languages
• Type Theory
• Game Semantics
• +۷ مورد دیگر

Guilhem Jaber is an Associate Professor at University of Nantes , affiliated with the Gallinette team in the LS2N research laboratory . His work focuses on operational game semantics, contextual equivalence, and formal verification of higher-order programs with computational effects. Research Grants RECIPROG (2021-2025): ANR PRC Project, local coordinator CAVOC (2021-2025): Inria-Nomadic Labs agreement, project investigator CANofGAS (2022-2025): Inria Exploratory Action, co-investigator Scientific Awards Distinguished Paper Award at ICFP'21 Supervision Axel Kerinec: Postdoc on CANofGAS project Hamza Jaafar: PhD on CAVOC project Peio Borthelle: PhD co-advised with Beniamino Accattoli His research bridges game semantics with operational techniques, particularly for algebraic effects, parametric polymorphism, and separation logic. He actively participates in program committees for POPL, GALOP, and HOPE workshops.

John Wickersonمشاهده پروفایل

مدرس ارشد

• concurrency semantics
• FPGAs
• GPUs
• +۵ مورد دیگر

John Wickerson is a Senior Lecturer in the Department of Electrical and Electronic Engineering at Imperial College London. His research spans formal methods, concurrency, and hardware/software synthesis. Academic Rank: Senior Lecturer Affiliation: Imperial College London His research interests include concurrency semantics, weak memory models, transactional memory, GPU and FPGA programming, and high-level synthesis for hardware accelerators. These areas intersect formal verification, programming language design, and hardware-software interface optimization. The publications of John Wickerson reflect trends in formalizing memory models, improving hardware synthesis reliability, and testing concurrency frameworks. His work addresses challenges in quantum compiler validation, GPU workgroup progress, and weak memory persistency across Intel, ARM, and C++ architectures. He actively contributes to academic communities as a Publicity Co-Chair and Session Chair in conferences like POPL and as a Committee Member in SPLASH and PLDI. His GitHub repository activity and X (Twitter) presence further demonstrate his engagement in technical dissemination.

Steve Zdancewicمشاهده پروفایل

استاد

• Programming Languages
• Type Theory
• Logic
• +۷ مورد دیگر

Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair in the Department of Computer and Information Science at the University of Pennsylvania. His research spans programming languages, computer security, formal verification, and type theory, with significant contributions to LLVM verification, program synthesis, and quantum programming. He co-leads Penn's Programming Languages Research Group with Benjamin Pierce and Stephanie Weirich. His research focuses on: Programming language foundations (type theory, linear logic, semantics) Formal verification (Coq, LLVM, interaction trees) Security (information-flow control, memory safety) Emerging paradigms (quantum programming, secure distributed systems) Publication trends reveal deep engagement with formal methods (67%), programming language design (20%), and systems security (13%), primarily using Coq for mechanized verification. Recent works demonstrate increased focus on parallel/streaming computation and synthesis techniques. Awards Distinguished Paper Awards (ECOOP 2023, POPL 2020) Schlein Family President's Distinguished Professor (2021) Lindback Distinguished Teaching Award (2018) IEEE MICRO Top Picks (2013) Sloan Fellowship (2009-2010) NSF CAREER Award (2004) Best Paper Awards (SOSP 2001, ICFP 1999) Research Leadership Directs multiple NSF-funded projects including DeepSpec (verified systems infrastructure), Vellvm (LLVM semantics), and ExCAPE (program synthesis). Advises 5 PhD students and 31 former advisees/postdocs. Served as General Chair for POPL 2025 and associate chair for PLDI/ICFP/POPL. Infrastructure Leads the Vellvm project developing Coq-based LLVM semantics, the Interaction Trees framework for recursive/impure programs, and Qwire for quantum circuit verification. Maintains active collaborations with Galois Inc. and INRIA.

Francisco Ferreiraمشاهده پروفایل

مدرس

• Type Systems and Formal Logic
• Formal Meta-theory
• Concurrency, Process Calculi and Session Types
• +۲ مورد دیگر

Francisco Ferreira is a Lecturer (tenure track, equivalent to Assistant Professor) in the Department of Computer Science at Royal Holloway, University of London. Previously, he was a postdoctoral Research Associate in the Department of Computing at Imperial College London, working with Professor Nobuko Yoshida. Dr. Ferreira's primary research interests include type systems and formal logic, formal meta-theory, concurrency and process calculi, session types, temporal logic and other modal logics, and principled approaches to programming. His work bridges theoretical foundations with practical applications, particularly in the realm of communication protocols and programming language design. His publication record demonstrates a strong focus on session types and their applications, with a trajectory moving from foundational theoretical work to practical implementations. Over the past decade, his research has increasingly emphasized the verification and implementation of communication protocols, resulting in tools and frameworks that ensure communication safety in distributed systems. Scientific Awards: ICFP'12 Student Research Competition First Place Dr. Ferreira has teaching experience in programming languages and paradigms, having served as both a lecturer and teaching assistant for COMP 302. His industrial experience includes Haskell consulting for Erudite Software, game programming for Bluberi, and developing mission-critical software for Motorola Argentina in the telecom industry.

Andrew K. Hirschمشاهده پروفایل

استادیار

• Choreographic Programming
• Information-Flow Security
• Computational Effects
• +۳ مورد دیگر

Andrew K. Hirsch is an Assistant Professor at the University at Buffalo, SUNY , Department of Computer Science and Engineering. He leads the Databases and Programming Languages group and focuses on programming languages for decentralized systems, particularly choreographic programming and information-flow security. Education: Ph.D. in Computer Science (2019) from Cornell University, supervised by Ross Tate on computational effects. B.S. in Computer Science and Pure Mathematics from The George Washington University. Research Interests: His work centers on choreographic programming, a paradigm ensuring deadlock-free concurrent systems, and information-flow security for decentralized applications. He also explores computational effects and type systems in programming language theory. Publications: Recent work includes advancements in process polymorphism (OOPSLA 2025), type-level polymorphism (PLACES 2025), and security definitions for higher-order declassification (OOPSLA 2023). Students: Doctoral: Michael Piskozub, Keith Allen Mason Masters: Alexander Bohosian, Gianna Bossoreale Undergraduate: Alex Doyoon Kim, Julia Montouri Recent Alumni: Ethan Canton, Tiffany Cai, Vamsi Krishna Bellam, Vincent Chan, Frank (Feng-Mao) Tsai Projects: Leads initiatives such as Choret (open choreographies) and The Pirouette Language and Compiler , which translate choreographic programs into concurrent system implementations.

Aymeric Fromherzمشاهده پروفایل

پژوهشگر

• Formal Methods
• Secure Systems
• Rust Verification
• +۶ مورد دیگر

Aymeric Fromherz is a researcher at Inria Paris, focusing on formal methods for secure systems. He leads projects in Rust verification, high-assurance cryptography, and formalization of computational legal texts. Education includes a PhD from Carnegie Mellon University (co-advised by Bryan Parno and Corina Păsăreanu) and degrees from École Normale Supérieure. His research spans Rust verification (via Aeneas toolchain), verified cryptographic primitives , and computational law (through the Catala language). Recent publications address memory allocators, borrow-checking, and legal ambiguity detection. Major Scientific Awards : Distinguished Artifact Award (CAV 2025) Best Tool Paper Award (ESOP 2024) ACM SIGSAC Dissertation Award (2021) A.G. Milnes Dissertation Award (2021) He contributes to conferences like POPL, ICFP, and CPP, and participates in the Everest Project. The Prosecco Team at Inria Paris supports his research on formal methods and security.

• Telecommunications Engineering
• Telematics
• Distributed Systems
• +۷ مورد دیگر

María Teresa Ariza Gómez serves as a Full Professor in the Department of Telematics Engineering at the University of Seville, where she has established herself as a leading researcher in telecommunications and educational technology. Her academic career spans over two decades of continuous research contributions and teaching innovation. Professor Ariza Gómez's research interests focus on Telematics Engineering , with specialization in Distributed Systems , CORBA/MMS protocols , and IoT applications . She has pioneered the integration of gamification techniques into engineering education through tools like Kahoot, and developed virtual learning environments that transform programming instruction. Her work bridges theoretical telecommunications concepts with practical industrial applications, particularly in vehicle telematics and service station management systems. Her publication record shows consistent output with recent emphasis on educational technology (2015-2019), including software architecture for health applications and virtual laboratory environments. These works demonstrate her ability to adapt telecommunications expertise to solve problems in diverse domains from healthcare to automotive systems. Professor Ariza Gómez maintains active research through multiple projects including the TIC-154 research group (with continuous funding since 2006) and industry collaborations on Android applications and payment systems for gas stations. Her teaching methodology emphasizes project-based learning , virtual laboratories , and game-based educational resources that enhance student engagement in complex technical subjects. She leads research initiatives that combine telecommunications engineering with practical educational applications, creating innovative teaching tools that have been adopted across engineering disciplines at the University of Seville. Her work on virtualized computing environments has established a flexible, portable model that supports multidisciplinary teaching needs while maintaining technical rigor.

• Content Curation
• Journalistic Documentation
• Audiovisual Documentation
• +۳ مورد دیگر

Javier Guallar is a Professor and Academic Secretary at the Faculty of Information and Audiovisual Media at the University of Barcelona. He holds dual PhDs in Information and Documentation from the University of Barcelona and Communication from Pompeu Fabra University. He directs the Social Media Content Postgraduate program and serves as Deputy Director of the journal "Profesional de la información" while directing book collections at Editorial UOC. PhD in Information and Documentation, University of Barcelona PhD in Communication, Pompeu Fabra University Professor Guallar's research centers on content curation, journalistic documentation, audiovisual documentation, social media, digital journalism, and scientific publication. His work develops frameworks for analyzing digital media content curation practices, examining how news organizations curate content across platforms with particular attention to newsletters, social media strategies, and AI's impact on journalism. He has pioneered methodological approaches like the Curation Analysis System (CAS) that have become influential in the field. His recent publications reveal a growing focus on AI applications in journalism, particularly examining platforms like Google News and ChatGPT. His research consistently explores content curation across media formats, analyzing curated newsletters, social media strategies during platform transitions like Twitter's ownership changes, and content curation's role in combating misinformation. His interdisciplinary approach bridges information science, communication studies, and digital media research with international collaborations across Spain and Latin America. Professor Guallar previously served as an associate professor at Blanquerna Faculty of Communication and International Relations (URL), Faculty of Communication at UIC, and Information and Communication Studies at UOC. His professional background includes extensive experience as a press documentalist in media organizations, providing practical grounding for his academic work. He leads research within the Information, Communication and Culture Research Center and the Dean's Office at the Faculty of Information and Audiovisual Media. His work with the Consolidated Research Group on Culture and Digital Content has produced significant insights into digital transformation across information practices, influencing both academic discourse and professional applications in media organizations.