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

• Compilers
• Automatic Software Verification
• Compiler Optimization
• +۷ مورد دیگر

Nuno Pereira Lopes is an Associate Professor at Instituto Superior Técnico , part of Universidade de Lisboa , and a researcher at INESC-ID . He also serves as an advisor at FuriosaAI , focusing on tensor contraction processors for AI workloads. Research Interests : Compilers, formal verification of LLVM optimizations, machine learning frameworks, undefined behavior exploitation, probabilistic model checking, blockchain security, and many-core code generation. Teaching : Compilers and Computer/Informatics Engineering projects. Funding : Supported by Google, Matter Labs, NLnet, Oracle, PRACE, RNCA, and Woven by Toyota. Recent Publications focus on LLVM backend validation , PyTorch pipeline parallelism , C++ dynamic cast optimization , undefined behavior in C/C++ , and AI tensor processors . His work bridges compiler design, formal methods, and AI hardware. Academic Service includes representing Portugal in ISO/IEC JTC 1/SC 22 (C++), organizing FLoC'26 , and serving on program committees for PLDI, EuroLLVM, and CGO.

Diogo Poçasمشاهده پروفایل

استادیار

• Theoretical Computer Science
• Applied Computer Science
• Session Types
• +۵ مورد دیگر

Diogo Poças serves as Assistant Professor in the Department of Mathematics at Instituto Superior Técnico (University of Lisbon) and Researcher at Instituto de Telecomunicações since 2024. Previously, he held faculty positions at the University of Lisbon's Faculty of Sciences (2020-2024) and conducted postdoctoral research at TU München (2018-2020), demonstrating continuous academic engagement within Portugal's leading technical institution. His academic foundation includes: PhD in Mathematics from McMaster University (2014-2017) supervised by Prof. Jeffery Zucker MSc in Mathematics and Applications from Instituto Superior Técnico (2011-2013) supervised by Prof. José Félix Costa BSc in Applied Mathematics and Computation from Instituto Superior Técnico (2008-2011) Dr. Poças' research program integrates theoretical computer science with practical applications across three interconnected domains: Session Types (developing algorithms for type equivalence and communication safety in concurrent systems), Algorithmic Game Theory (analyzing equilibrium computation complexity in congestion games and auctions), and Analog Computation (modeling continuous-data computation through frameworks like the General Purpose Analog Computer). His work consistently bridges formal methods with real-world computational challenges. His publication record reveals a cohesive research trajectory where session type theory advances directly inform game-theoretic mechanism design. Recent papers demonstrate growing sophistication in handling higher-order polymorphic types while simultaneously addressing fundamental questions in auction revenue maximization and congestion game equilibria, indicating a unique interdisciplinary approach to computational theory. No scientific awards or fellowships are documented in available sources. Dr. Poças has mentored students through teaching assistant roles (2013-2015) and supervised his own MSc thesis on stochastic oracle complexity. Current research funding derives from his affiliations with LASIGE (2020-2024) and Instituto de Telecomunicações, though specific grant mechanisms remain unspecified. He contributes to Portugal's computational research ecosystem through Instituto de Telecomuncações, building on prior work with LASIGE where he developed theoretical frameworks now reflected in his recent publications on session types and game equilibria.

Amílcar Moreiraمشاهده پروفایل

استادیار

• Comparative Social Policy
• Ageing and Pensions
• Welfare-to-Work Policies
• +۲ مورد دیگر

Amílcar Moreira serves as an Assistant Professor at the Lisbon School of Economics & Management (ISEG), University of Lisbon, where he teaches quantitative methods and sociology. He concurrently holds research roles as a Board Member of SOCIUS (Research Centre in Economic and Organizational Sociology) and contributor to EUROMOD-Portugal. Previously, he held academic appointments at Trinity College Dublin and OsloMet. His educational background includes a PhD in Social and Policy Sciences (specializing in Social Policy) from the University of Bath (2006), a Master in Economic Sociology from ISEG (2000), and a BA in Social Sciences from Universidade da Beira Interior (1998). Moreira's research centers on comparative social policy frameworks, demographic ageing impacts on pension systems, welfare-to-work policy design, and microsimulation modeling. His work examines political economy dynamics in social policy development, with particular focus on Southern European welfare states. Recent investigations analyze crisis responses to the Great Recession, COVID-19 pandemic, and inflationary pressures through rigorous policy evaluation frameworks. His publication record demonstrates consistent engagement with evolving social policy challenges, particularly the inflation-social policy nexus, gendered pension disparities, and cross-national care responsibility impacts. Methodologically, he specializes in dynamic microsimulation techniques through the EUROMOD platform to model policy effects on income distribution and poverty. Moreira actively supervises Master's students at ISEG, guiding research on topics including robot taxation impacts, public sector employee wellbeing, gendered work-life balance, multicultural leadership, and child poverty interventions. He contributes to SOCIUS research initiatives and EUROMOD-Portugal's national policy analysis, supporting evidence-based social security reforms through advanced modeling of demographic and economic trends.

Miguel Matosمشاهده پروفایل

استادیار

• Persistent Memory
• Blockchain Scalability
• Systems Evaluation
• +۳ مورد دیگر

Miguel Matos is an Assistant Professor at Instituto Superior Técnico (IST) of Universidade de Lisboa and a Researcher at INESC-ID's Distributed Systems Group. His research focuses on Persistent Memory systems, blockchain scalability, distributed systems evaluation, and database performance. He has led major projects such as Angainor (reproducible evaluation tools) and ACT-PM (crash-consistency testing). Research interests include exploring persistent memory's challenges, blockchain Layer-2 limitations, automated bug detection (HawkSet, Mumak), and decentralized network emulation (Kollaps). He has received awards like the Gilles Muller Best Artefact Award at EuroSys 2025 and Best Paper Awards at DAIS 2017 and IPDPS 2012. He coordinates multi-million Euro grants including EU's Qualichain and national FCT projects. Teaching includes courses like 'Highly Dependable Systems' and 'Large-Scale Systems Engineering' at IST. His work bridges academia and industry, collaborating with startups like MIMA Housing and LeanXcale.

• Smart Grids
• Electric Vehicles
• Energy Resource Management
• +۷ مورد دیگر

José Almeida is a Researcher at the Polytechnic Institute of Porto, specifically at the School of Engineering's Research Group in Engineering and Intelligent Computing for Innovation and Development (GECAD). He is concurrently pursuing a PhD in Computer Engineering at the University of Salamanca since 2022, focusing on explainable decision support systems for energy management in smart grids with high electric vehicle penetration. His academic background includes a Master's in Electrical Engineering - Electrical Energy Systems (2021) and Bachelor's in Electrical and Computer Engineering (2019), both from the same institution. His research spans smart grid technologies, computational intelligence, and energy resource management with particular emphasis on electric vehicles, optimization, and explainable AI. Key areas include local energy communities, risk-based scheduling, metaheuristic optimization, and renewable energy integration. His work bridges theoretical algorithm development with practical energy system applications, frequently employing evolutionary computation techniques. Analysis of his recent publications reveals a strong focus on community-based energy sharing, fairness metrics in local markets, and explainability in optimization systems. His research trajectory shows increasing sophistication in handling uncertainty through risk assessment frameworks while maintaining practical applicability to real-world grid operations and EV integration challenges. Best Paper Award at CPEEE 2025 for energy community formation research 2nd Prize REN Best Master Thesis Award (2022) ICEER Best Oral Presentation Award (2021) As a co-supervisor for 5 MSc dissertations and 2 BSc completion works, he actively mentors next-generation researchers in energy systems. His grant participation demonstrates significant collaborative work through projects like Honda Research Institute consultancy, NGS Innovation Pact, RIBIERSE-CYTED Network, and multiple FCT-funded initiatives. He leads the META-ERM platform development for energy resource management and organizes the annual Competition on Evolutionary Computation in the Energy Domain.

• Artificial Intelligence
• Multi-agent Systems
• Decision Support Systems
• +۳ مورد دیگر

Luís Manuel da Silva Conceição is an Assistant Professor at the Polytechnic Institute of Porto's School of Engineering, affiliated with the Department of Computer Engineering. He concurrently serves as a Researcher at GECAD (Research Group on Intelligent Engineering and Computing for Advanced Innovation and Development), an FCT-rated Excellent research unit. His academic credentials include a PhD in Computer Science (2023) from the University of Minho, a Master's (2017) and Bachelor's (2014) in Computer Engineering from ISEP. Conceição's research focuses on Artificial Intelligence with specialization in multi-agent systems, decision support systems, and natural language processing. His applied research spans Industry 4.0 and Healthcare domains, including AI solutions for vascular disease management and e-commerce innovation. He coordinates the international REMO project and has participated in Horizon Europe, H2020, ITEA, FCT, and P2020 projects as PI/co-PI. His recent publications demonstrate strong trends in health informatics (remote patient monitoring, federated learning, digital mental health) and decision support systems (argumentation dialogues, sentiment analysis, distributed consensus). Industrial applications feature prominently, especially in predictive maintenance and human-computer interaction for e-commerce. Awards: ITEA Award of Excellence Innovation (2024) for research impact in health technology Conceição actively supervises graduate researchers: currently mentoring 9 master's students , 4 undergraduate students , and co-supervising 2 PhD candidates . His industry collaborations involve applying AI to real-world challenges through joint R&D projects with technology centers. At GECAD, he contributes to intelligent systems research infrastructure and promotes ethical AI through public lectures and roundtables.

Paulo Sérgio Almeidaمشاهده پروفایل

استادیار

• Distributed Systems
• Conflict-free Replicated Data Types (CRDTs)
• Fault-tolerant Systems
• +۳ مورد دیگر

Paulo Sérgio Almeida is an Assistant Professor at the Department of Informatics, University of Minho, and a Senior Researcher at HASLab / INESC TEC since November 2011. He holds a PhD in Computer Science from Imperial College London (1998) and an MSc from University of Porto (1994). Research Interests Distributed Systems Causality Tracking Mechanisms Conflict-free Replicated Data Types (CRDTs) Eventually Consistent Databases Network Protocols Fault-tolerant Algorithms His recent publications focus on Byzantine fault tolerance, consistency models, and network protocols. Notable works include the Blocklace universal CRDT framework and the Exon protocol for oblivious exactly-once messaging. Advising: Ziad Ali Kassam – thesis on Exactly-once Exchanges (2021–2023) Ricardo Oliveira Vaz – thesis on Blockchain-based Payment Systems (2022) Labs/Teams: Associate researcher at HASLab / INESC TEC, contributing to distributed systems research.

• Public Health
• Epidemiology
• Gender-Based Violence Prevention
• +۳ مورد دیگر

Professor Charlotte Watts is a leading academic in Social and Mathematical Epidemiology at the London School of Hygiene & Tropical Medicine (LSHTM). She concurrently serves as the UK Department for International Development's Chief Scientific Advisor, emphasizing her dual role in academia and global policy. Her research focuses on preventing violence against women and girls, integrating gender equity into public health strategies, and evaluating the cost-effectiveness of interventions. Notable contributions include landmark trials demonstrating over 50% reduction in domestic violence through community-based programs. Watts advocates for addressing structural inequalities as core to global health equity. Her work spans multiple low- and middle-income countries, with a focus on HIV prevention, microfinance empowerment programs, and policy advocacy. Key projects include the SASA! study in Uganda, the MAISHA trial in Tanzania, and the Samata intervention in India. She emphasizes the importance of rigorously tested evidence in shifting societal norms and has contributed to global frameworks like the WHO’s Violence Against Women studies. Watts’ research highlights intersections between gender-based violence, mental health, and economic empowerment. Recent work addresses pandemic-related food security and the scalability of PrEP programs. Her career reflects a commitment to bridging academic research with actionable policy, particularly through cost-benefit analyses of preventive interventions.

• Formal specification
• Dynamic and modal logics
• Cyber-physical systems
• +۵ مورد دیگر

Alexandre Madeira is an Associate Professor in the Mathematics Department at the University of Aveiro, Portugal. He is a member of CIDMA (Center for Research and Development in Mathematics and Applications) and collaborates with HASLab (INESC TEC). His work focuses on formal methods, dynamic logics, and their applications to cyber-physical systems and quantum programming. Education: PhD in Computer Science (2013), University of Minho, awarded the Portuguese IBM Scientific Prize 2013 MSc in Mathematics (200?), University of Aveiro Bachelor's in Applied Mathematics and Computation, University of Aveiro Research Interests: Formal specification of software Dynamic/Modal logics Cyber-physical systems Quantum programming Algebraic specification Fuzzy logics Projects: DaLí: Dynamic logics for cyber-physical systems (coordinator) Ibex: Quantitative methods for cyber-physical programming Klee: Coalgebraic modeling in synthetic biology Awards: Portuguese IBM Scientific Prize (2013) Best paper nominee at SEFM 2019 for Hybrid Dynamic Logic Academic Engagement: Co-chair of the DaLí Workshop series PC member for SEFM, CALCO, and others Editor of multiple conference proceedings and journal special issues

Fernanda Barbosaمشاهده پروفایل

استادیار

• Computer Science
• Education Technology
• Distributed Systems
• +۳ مورد دیگر

Fernanda Barbosa is an Assistant Professor at the Department of Computer Science, Faculty of Science and Technology, Nova University Lisbon (FCT-UNL). She has been affiliated with FCT-UNL since completing her PhD in 2004, focusing on distributed programming abstractions and interactive learning environments. PhD in Computer Science, FCT-UNL (2004): 'Group-Based Distributed Programming Abstractions: the GroupLog Model' Master in Computer Science, FCT-UNL (1995): 'Structuring the Concurrency and the Communication in a Distributed Logic Language' Graduation equivalence in Computer Science, FCT-UNL (1991) Computer Science, Universidade de São Bernardo (USB), 1987 Her research interests lie in Computer Science , particularly in Education Technology , Distributed Systems , and Interactive Learning Environments , with foundational work on concurrency and distributed logic programming. She supervised multiple Master’s theses, including: Bruno Sampaio (MSc, May 2013): 'Epik: Ambiente para desenvolvimento de jogos para aprendizagem colaborativa e interativa' Fábio Afonso (MSc, March 2011): 'Pesquisa de Eventos Geográficos Semelhantes: Trajectórias de Objectos em Movimento' Francisco Costa (MSc, July 2009): 'Geração automática de playlists de músicas similares' Pedro Chambel (MSc, July 2009): 'Pesquisa de Imagens de Rosto'

João Lourençoمشاهده پروفایل

دانشیار

• in-memory data management
• parallel computing
• large-scale computing systems
• +۶ مورد دیگر

João Lourenço is an Associate Professor at the Computer Science Department of the NOVA School of Science and Technology at NOVA University Lisbon (NOVA FCT) and Co-Director of the Institute for the Development of New Technologies (UNINOVA). He received his Ph.D. from NOVA University Lisbon in 2004 with a thesis on debugging of distributed programs. His primary research focuses on advanced computing systems with emphasis on in-memory data management for parallel and large-scale environments, testing and debugging of concurrent programs, and edge/fog computing architectures. His work bridges theoretical computer science with practical implementations in distributed systems, contributing significantly to the field of parallel computing and system reliability. Professor Lourenço has co-authored over 50 scholarly publications with notable recognition including the Distinguished Paper Award at Euro-Par 2012 and Best Paper Award at HVC 2012, demonstrating consistent research excellence. Distinguished Paper Award in Euro-Par 2012 Best Paper Award in HVC 2012 He is a founding member of the NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) and actively serves on advisory boards and steering committees of multiple international conferences and research networks, contributing to the global computer science community. Professor Lourenço has held visiting researcher positions at IBM Research Laboratory at Haifa (2011), University of São Paulo (2014), and University of Brno (2015), establishing international collaborations across three continents. Notably, he is a significant contributor to the LaTeX community as the creator of the widely adopted NOVAthesis template and other academic documentation tools, demonstrating his commitment to scholarly communication standards.

Paolo Romanoمشاهده پروفایل

دانشیار

• Distributed Systems
• AI/ML Systems
• Autonomic Computing
• +۵ مورد دیگر

Paolo Romano is an Associate Professor at the Department of Computer Engineering, Instituto Superior Técnico (IST), Universidade Técnica de Lisboa. He is also a Senior Researcher at the Distributed Systems Group (INESC-ID). His research focuses on distributed systems, AI/ML systems, transactional memory, autonomic computing, and high-performance computing. He holds a PhD in Computer Engineering from Sapienza University of Rome (2007) and a Master's Degree (Summa Cum Laude) from the University of Rome Tor Vergata (2002). PhD Thesis: 'Protocols for End-to-End Reliability in Multi-Tier Systems' Supervised over 10 PhD and MSc students Research Interests : Dependable Distributed Systems Transactional Memory (Hardware/Software) Autonomic and Self-Optimizing Systems Performance Modelling & Evaluation Key achievements include leading the Cloud-TM EU-funded project (€1.7M), coordinating the Euro-TM COST Action, and winning multiple best-paper awards at ICAC, NETYS, and NCA conferences. He actively participates in technical committees for conferences like EuroPar, ICDCS, and Middleware. Grants & Projects : Coordinator of 'Euro-TM' (€400K) Coordinator of 'Cloud-TM' (€1.7M EC funding) Principal Investigator in national projects like 'specSTM' (€127K) He advises students in areas such as self-tuning distributed systems, transactional data stores, and hardware-software co-design for concurrency control. His work bridges theory and practice, with contributions to frameworks like D2STM and Cloud-TM.

Lucy Gilsonمشاهده پروفایل

استاد

• Strategy
• Organizations
• Entrepreneurship
• +۳ مورد دیگر

Lucy Gilson is a Full Professor and Department Head at the University of Connecticut, holding a concurrent Visiting Professor position at CATÓLICA-LISBON. She is also the Academic Director of the Geno Auriemma UConn Leadership Conference. Her academic journey includes an MBA and PhD in Organizational Behavior from the Georgia Institute of Technology, USA, and an undergraduate degree from Georgetown University's School of Foreign Service. Her research focuses on teams, team effectiveness, and creativity, with notable contributions to virtual team dynamics, creativity management, and organizational behavior. Key areas of exploration include the interplay between standardization and creativity, cross-level effects in teams, and global virtual team performance drivers. Lucy has held the Advanced Institute of Management (AIM - UK) Visiting International Research Fellowship (2008-2010). Her work emphasizes practical frameworks for fostering innovation, such as leveraging museum metaphors for idea curation and addressing challenges in radical vs incremental creativity management. While no specific advising or grant details are highlighted, her research spans empirical studies on empowerment, virtual collaboration tools, and cultural diversity impacts in teams. Her academic contributions are anchored in advancing theoretical and practical understanding of organizational systems and creative processes.

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

Luis Caires is a Full Professor of Science and Methodology of Programming at the Department of Computer Science and Engineering, Técnico Lisboa (University of Lisbon). He is also a Core Researcher at INESC-ID and an ERA Chair Holder under the H2020 BIG initiative. Previously, he served as Full Professor at NOVA FCT’s Department of Computer Science and founded the NOVA Laboratory for Computer Science and Informatics. His research focuses on the theoretical foundations and practical applications of programming languages, emphasizing the development of trustworthy concurrent, distributed, and decentralized systems. Key themes include type systems for resource management in concurrent environments, formal logics (types, process algebra), and tools for compiler design and abstract machines. He also explores interdisciplinary areas like computational theories of mind and quantum programming models. Caires has extensive teaching experience, lecturing 23 courses across BSc, MSc, and PhD levels, including foundational programming courses and advanced topics in formal languages, verification logics, and software security. He coordinated 87 course editions between 1992 and 2023. Professional service includes PC roles at major conferences (ECOOP ’25, FoSSaCS ’25, LICS ’25/’26). His work bridges foundational research with system-building, addressing challenges in concurrency, security, and distributed computing.

• Self-organizing Network Systems
• 5G and Wireless Networks
• Network Automation
• +۴ مورد دیگر

Paulo Mendes is an Associate Professor at the University of Lusófona, where he directs the doctoral program in Informatics - New Media and Fuzzy Systems (NEMPS). Concurrently, he serves as an associate researcher at the ISTAR center at ISCTE - University Institute of Lisbon. His academic journey includes a Ph.D. in Computer Engineering from the University of Coimbra (2000–2004), conducted partly at Columbia University, a Master's in Electrical and Computer Engineering from the Technical University of Lisbon (1997–1999), and a Bachelor's in Computer Engineering from the University of Coimbra (1988–1993). His research integrates self-organizing networks , 5G/wireless systems , and mobile edge computing , with recent emphasis on LEO satellite routing and information-centric Metaverse architectures. His publications demonstrate consistent focus on network efficiency, opportunistic protocols, and human-centric systems. Professional highlights include founding the COPELABS research center, co-founding startup Senception LDA, and memberships in ACM SIGCOMM/IEEE. He contributes to IETF/IRTF standardization and holds 13 international patents alongside 100+ publications.