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

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

پژوهشگر

• Quantum Foundations
• Quantum Computer Science
• Mathematics of Quantum Theory
• +۶ مورد دیگر

Rui Soares Barbosa is a Staff Researcher at the Quantum and Linear-Optical Computation group at the International Iberian Nanotechnology Laboratory (INL). He holds a BSc in Computer Science from Universidade do Minho (2009), an MSc in Mathematics and Foundations of Computer Science from the University of Oxford (2010), and a DPhil in Computer Science from Oxford (2015) with a thesis on Contextuality in quantum mechanics and beyond. Prior to joining INL, he held post-doctoral positions at Oxford (2015–2019) and the University of Edinburgh (2019–2020), and a Research Fellowship at the Simons Institute for the Theory of Computing, UC Berkeley (2017). Barbosa's research lies at the intersection of Computer Science, Physics, and Mathematics, focusing on quantum foundations, quantum computer science, and the mathematics of quantum theory. His work emphasizes logical, structural, and compositional aspects, particularly investigating non-locality and contextuality - phenomena that distinguish quantum theory from classical physics and have been linked to quantum informatic advantage. He employs mathematical tools from category theory, logic, probability, algebraic topology, and operator algebras to achieve a structural understanding of quantum systems' non-classical features. His recent publications demonstrate a strong focus on contextuality as a quantum resource, exploring its connections to causality, computational advantage, and logical structures. The research spans theoretical foundations to practical quantum computing applications, with particular attention to mathematical frameworks like sheaf theory that elegantly express quantum contextuality. His work often involves collaborations with leading researchers in quantum foundations and theoretical computer science. Barbosa actively advises multiple PhD and MSc students including Angelos Bampounis, Rafael Wagner, Nico Witrock, and others. His research group at INL, the Quantum and Linear-Optical Computation group, conducts cutting-edge research at the intersection of quantum theory and computer science, regularly presenting findings at major conferences like the International Conference on Quantum Physics and Logic (QPL).

Pedro U. Limaمشاهده پروفایل

استاد

• Robotics
• Multi-Robot Systems
• Autonomous Systems
• +۴ مورد دیگر

Pedro U. Lima is a Full Professor at Instituto Superior Técnico (IST), University of Lisbon, and President of the Institute for Systems and Robotics (ISR/IST), coordinating the Intelligent Robots and Systems group (IRSg). He holds a Ph.D. in Electrical Engineering from Rensselaer Polytechnic Institute (1994). His research focuses on intelligent control systems, multi-robot coordination, and human-robot interaction, with contributions to robotics competitions like RoboCup and initiatives like the European Robotics League (E.R.L.). Lima has served as Vice President of the RoboCup Federation, Trustee of IEEE Portugal RAS Chapter, and Portuguese National Delegate to the European Space Agency’s Human Spaceflight Program Board. He led the Cátedra de Excelencia sabbatical at UC3M (2010), contributing decision-theoretic approaches to human-robot interaction. His work integrates robotics with societal impact, including outreach through the Pavilhão do Conhecimento and media appearances. He coordinates large projects like euROBIN (EU Horizon Europe) and CRAI (Portugal’s PRR), advancing robotics in domains like autonomous delivery and social robotics.

• Economic Growth Models
• Optimal Control Theory
• Differential Equations
• +۳ مورد دیگر

Fatima Fabião is an Assistant Professor at the Lisbon School of Economics and Management (ISEG), University of Lisbon, where she has been affiliated since 1990. Her work bridges mathematical methodologies with economic and financial theory, focusing on growth models, optimal control, and differential equations. She teaches courses in mathematical analysis, difference equations, and complex equations in economics and management programs. Affiliations: ISEG – University of Lisbon (since 1990) Roles: Course coordinator for key subjects like Mathematical Analysis III and Difference Equations Her research explores economic growth dynamics through modified Solow models incorporating time delays, optimal resource extraction strategies via control theory, and financial applications of Black-Scholes equations. She has also contributed to pedagogical innovations integrating mathematical logic into primary education.

Bruno Nobreمشاهده پروفایل

استادیار

• Philosophy of Science
• Philosophy of Physics
• Philosophy of Religion
• +۷ مورد دیگر

Bruno Nobre is an Assistant Professor and Vice Dean at the Faculty of Philosophy and Social Sciences (FFCS) of the Catholic University of Portugal (UCP). He is actively involved in the Center for Philosophical and Humanistic Studies (CEFH), where he coordinates the research topic on 'Causal processes, complex systems and emergence.' Since 2020, he has served as Editor of the Revista Portuguesa de Filosofia , a Scopus-indexed journal in the Q3 category. His interdisciplinary profile bridges science, philosophy, and theology. PhD in Physics, Instituto Superior Técnico, University of Lisbon (2005) Licentiate in Engineering Physics, Instituto Superior Técnico (2000) Licentiate in Philosophy, Faculty of Philosophy and Social Sciences, UCP (2010) Master of Divinity, Boston College School of Theology and Ministry (2015) Sacred Theology Licentiate, Boston College (2016) PostDoc in Philosophy of Science, Universidade Estadual do Rio de Janeiro (Brazil) Bruno Nobre's research centers on the philosophy of science, philosophy of physics, philosophy of religion, and ethics. His work explores the metaphysical foundations of scientific knowledge, the nature of causality and emergence, and the intersection of religion and rationality. He is particularly interested in humanistic perspectives on happiness, the role of aesthetic criteria in scientific theory selection, and the philosophical implications of complex systems. His approach integrates analytical rigor with interdisciplinary insights from physics, neuroscience, and theology. His recent publications reveal a strong focus on metaphysics, philosophy of religion, and happiness studies. Articles such as 'Explorations in contemporary analytic metaphysics' and 'Psychometric properties of post-critical belief scale' indicate a dual engagement with theoretical philosophy and empirical validation of religious constructs. His editorial work on Humanistic Perspectives in Happiness Research underscores a commitment to integrating philosophical depth with psychological and social dimensions of well-being. The recurring themes across his work include grounding, modality, personal identity, and the scientific study of religiosity. Scientific Awards: No specific awards mentioned in the provided text. Bruno Nobre has supervised numerous students within the Supervised Work at UCP program and has been involved in significant research grants, including the CEFH project (2020–2025) and a 2021–2023 study on neuroanatomical correlates of well-being in mindfulness and religious practices. He has organized key academic events such as the International Congress on the Philosophy of Nature and the International Colloquium on Time and Emergence, demonstrating leadership in scholarly community-building. He is a core member of the Center for Philosophical and Humanistic Studies (CEFH), a vibrant research hub at UCP that fosters interdisciplinary dialogue across philosophy, theology, psychology, and the sciences. His role as coordinator of a research topic on causal processes and emergence highlights his leadership in advancing conceptual innovation within complex systems theory.

• Verification of Secure Systems
• Software Security
• Web Security
• +۵ مورد دیگر

Pedro Adão is an Assistant Professor at the Department of Computer Science and Engineering (DEI) of the Instituto Superior Técnico (IST) , University of Lisbon . He is affiliated with the SQIG - Security and Quantum Information Group at the Institute of Telecommunications , formerly part of CLC - Logic and Computation Centre . His work bridges formal methods and computational cryptography , focusing on security protocols , software security , and quantum information security . PhD in Mathematics (2006, IST) with thesis "Formal Methods for the Analysis of Security Protocols" Graduated in Applied Mathematics and Computation (2002, IST) with thesis "Electronic Money" His research interests include verification of secure systems, composition of secure systems, mathematical foundations of cryptography, and physical/day-life security. His publications span topics like firewall configuration tools , smart contract verification , quantitative protocol analysis , and computationally sound symbolic cryptography . He has collaborated with institutions such as the University of Pennsylvania, Microsoft Research Cambridge, and INRIA-Microsoft Research Paris. Key teaching contributions include courses in Introduction to Algorithms and Data Structures , Computational Models in Security , and Software Security . He is a member of the SQIG research group and has organized the SQIG Information Security Seminar . Past teaching roles include lecturing at the Catholic University of Portugal and the Air Force Academy.

• Social and emotional learning
• Cyberbullying prevention
• Community development
• +۵ مورد دیگر

Susana Fonseca Carvalhosa serves as an Assistant Professor in the Department of Social and Organizational Psychology at the School of Social and Human Sciences, ISCTE - University Institute of Lisbon, while also holding an Integrated Researcher position at CIS-Iscte - Center for Social Research and Intervention within the Community, Education and Development group. Her academic credentials include: PhD in Psychology from University of Bergen, Norway (2008) Master's degree in Behavioral and Cognitive Therapies from Lusophone University of Humanities and Technology (2001) Bachelor's degree in Special Education and Rehabilitation from Faculty of Human Kinetics - UTL (1997) Her research centers on social and emotional learning (SEL) innovation, particularly through technology-mediated approaches for bullying prevention and community development. She pioneers digital interventions like the Emotechie Serious Play system targeting children aged 5-14, while maintaining strong foundations in community psychology and health promotion. Her work bridges theoretical frameworks with practical applications in educational settings, emphasizing vulnerable populations and early intervention strategies. Analysis of her publication record reveals consistent focus on bullying prevention mechanisms (both cyber and physical), with increasing integration of technology in SEL programs since 2016. Her recent work demonstrates strong emphasis on evaluation methodologies including randomized control trials, while maintaining connections to community development and social responsibility frameworks in higher education. Dr. Fonseca has led or contributed to eight major international research projects including BEEmotional-Techie (as Coordinator), DISABUSE, PARENTNETS, and LEAD, involving partnerships across 14 institutions in Portugal, Spain, Italy, Hungary, Greece, Ireland, Romania, France, Peru, Argentina, and Brazil. These projects address bullying prevention, social responsibility in higher education, mentoring pathways, and technology-enhanced learning. She actively contributes to the CIS-Iscte research ecosystem through the Community, Education and Development group, developing community-based interventions like the GerAcções program while engaging with the Ubuntu educational philosophy for socio-emotional development.

• Marketing
• Consumer Behavior
• Tourism Economics
• +۷ مورد دیگر

Dr. Antonia de Jesus Henriques Correia is an Assistant Professor with Habilitation at the Department of Economics, University of Algarve. She holds a PhD in Economics (2000), Master in Strategy (1994), and Degree in Business Management (1990). Her research focuses on Tourism Economics, Consumer Behavior, Luxury Markets, Destination Image , and Marketing , with emphasis on experiential models and behavioral intentions.

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.

• Proof Theory
• Concurrency Theory
• Ecumenical Systems
• +۶ مورد دیگر

Elaine Pimentel is an Associate Professor at the University College London's Department of Computer Science, specializing in Programming Principles, Logic, and Verification. She also serves as Schools Outreach Lead, supporting initiatives like the Afghan Female Student Outreach project. Previously, she held professorships at MAT/UFMG and DMAT/UFRN, and has been actively involved in academic leadership roles, including Treasurer of the Brazilian Logic Society and Editor of the Bulletin of Symbolic Logic. Her research focuses on proof theory, ecumenical systems, concurrency theory, and logical frameworks, with notable contributions to the ECUMENICAL project on proof-theoretic semantics for non-classical logics. Elaine earned her Ph.D. in Computer Science from UFMG under advisors Dale Miller and Carlos Camarão de Figueiredo. She has held visiting positions at institutions like TU Wien and LIX - École Polytechnique, collaborating on proof theory and λ-calculus. Her work bridges theoretical computer science and philosophy, emphasizing interdisciplinary projects like the MOSAIC and PROSA initiatives. Elaine has been honored with the Rae Harbird Award and has organized influential events such as the World Logic Day activities and international conferences like STACS and CSL. She is a strong advocate for diversity in STEM, leading projects like POTIMÁTICAS to inspire girls in mathematics and computer science.

• Computer Engineering
• Computer Science
• Logic Programming
• +۶ مورد دیگر

Paulo Jorge Pereira is an Invited Associate Professor in the Department of Information Science and Technology (ISTA) at ISCTE – Instituto Universitário de Lisboa. He has been actively involved in teaching computer science and engineering courses such as Introduction to Programming, Operating Systems, Web Applications and Usability, and Collaborative Systems across undergraduate and postgraduate programs from 2019 through 2026. Master's degree in Computer Engineering, Nova University of Lisbon (2015–2016) Bachelor's degree in Computer Engineering, Nova University of Lisbon (1983–1988) His research and academic interests span computer engineering, logic programming, computer graphics, web applications, and usability. His work bridges theoretical computing with practical software development, particularly in educational and interactive systems. He has contributed to the integration of logic programming with graphical systems, as seen in his early work on Prolog/GKS interfaces. The publication trends show a focus on applied computer science from the late 1980s to the late 1990s, particularly in logic programming and transportation modeling. His works reflect interdisciplinary research combining computer science with engineering logistics and graphical user interfaces. 1 citation in Web of Science 1 citation in Scopus There is no public information indicating that Paulo Jorge Pereira has advised students or received research grants. He appears to be actively contributing through teaching and technical research outputs. His cabinet is located in room D6.10 at ISCTE. He has not been associated with any formal research labs or collaborative research teams in the provided texts, but his publications suggest past collaborations with researchers from institutions in Portugal and abroad, particularly in the fields of computer graphics and transportation modeling.

• Building Automation
• Energy Management
• Query Optimization
• +۷ مورد دیگر

Paulo Carreira is an Associate Professor at Instituto Superior Técnico , Universidade de Lisboa. His research focuses on Building Automation , Energy Management , and Data Integration , with a particular emphasis on Smart Urban Environments and Cyber-Physical Systems . Fields: Building Automation, Energy Management, Data Privacy, Query Optimization, ETL, Streaming Query Processing Research Trends : His recent work spans from SQL Injection Attacks in LLM-integrated systems to Multi-Paradigm Modeling for Cyber-Physical Systems. Publications highlight his expertise in Energy Efficiency in buildings and BIM Integration with real-time data. Scientific Awards : Best Student Paper Award Nomination for Best Paper Award

• Computer Science
• Formal Methods
• Programming Languages
• +۱ مورد دیگر

André de Matos Pedro is an Assistant Professor in the Department of Computer Science at the University of Beira Interior. He teaches courses including Teoria da Computação (Theory of Computation), Programação Funcional (Functional Programming), and Segurança e Fiabilidade de Software (Software Security and Reliability). His research focuses on formal methods, runtime verification, and programming language theory. His publication record shows consistent focus on formal verification methods applied to real-time and embedded systems. Recent work emphasizes runtime monitoring frameworks, SAT/SMT-based verification techniques, and applications in safety-critical domains like autopilot systems. The research trajectory demonstrates increasing emphasis on practical applications of temporal logic and co-simulation testing platforms.

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'

• Business Analytics
• Health Analytics
• Fraud Analytics
• +۵ مورد دیگر

Raul M. S. Laureano is an Associate Professor at Iscte Business School, Department of Quantitative Methods for Management and Economics, and an Integrated Researcher at BRU-Iscte Business Research Unit. His academic career spans over 30 years since joining Iscte in 1992, where he directs the Master's program in Business Analytics and pioneered postgraduate programs in Applied Business Analytics. His educational background includes a Ph.D. in Management (2007), Master's in Business Sciences (1995), and Bachelor's in Organization and Business Management (1992), all from Iscte. His research focuses on Health Analytics, Fraud Analytics, Public Administration, Tourism Analytics, and Applied Business Analytics, with over 90 scientific publications. His recent publications demonstrate a strong trend toward healthcare analytics (particularly diabetic retinopathy screening modeling), judicial system evaluation through citizen perception, and nonprofit risk management. His work combines agent-based simulation, predictive modeling, and dashboard development for real-world applications in public policy and healthcare. Prémio Científico ISCTE-IUL (2015-2019) for multiple studies including governmental accounting and intellectual capital disclosure Best Paper Award - CISTI 2017 Excellence Paper Award - TMS Algarve 2016 Prémio Professor Doutor Rogério Fernandes Ferreira (2014) He has supervised over 50 master's theses and 4 doctoral theses, currently guiding 4 Ph.D. candidates in Data Science. His research projects include HOPE (Healthcare: Optimize, Predict and Explain) and DAFIM (Fraud Pattern Detection Algorithms), both funded by Iscte. He co-founded WICTA (Special Interest Group on ICT for Auditing & Accounting), now in its 11th edition. His work extends to Data Analytics Group at BRU-Iscte and Information Systems group at ISTAR-Iscte, with significant collaborations including the Order of Certified Accountants (OCC) for Excel training since 2013 and multiple academic institutions across Portugal.

Jose Nuno Oliveiraمشاهده پروفایل

استاد

• Formal Methods
• Programming Algebra
• Functional Programming
• +۳ مورد دیگر

Jose Nuno Oliveira is a Professor at the Department of Informatics of the University of Minho and a researcher at HASLab/INESC TEC. He is a member of the IFIP WG 2.1 (Algorithmic Languages and Calculi) and the Formal Methods Europe (FME) Association. He serves on the editorial board of Springer's Formal Aspects of Computing . His research focuses on formal methods, programming algebra, and functional programming, with recent work on relation algebra and linear programming algebra for software verification. He has supervised multiple theses in areas like quantum programming, probabilistic model verification, and functional programming applications. Key research interests include applying theoretical constructs (e.g., adjunctions, difunctions) to practical software systems. His publications (2022–2024) explore fuzzy logic extensions in Alloy, historical relational program analysis, and foundational programming concepts. He leads efforts in trusted software development through collaborations at INESC TEC.