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

Markus Maeurerمشاهده پروفایل

پژوهشگر

• Clinical Immunology
• Cancer Immunotherapy
• Infectious Diseases
• +۵ مورد دیگر

Markus Maeurer is a Principal Investigator at the Champalimaud Foundation in Lisbon, Portugal, and a clinician-researcher at the University of Mainz, Germany. His work bridges Clinical Immunology , Infectious Diseases , and Cancer Immunotherapy , focusing on tumor-host interactions, mutational burden mapping, and host-directed therapies (HDT) using molecular methods and imaging. As part of the Against-Cancer-And-Infection consortium, he advances cross-disciplinary collaborations in immuno-oncology and infectious disease research . His lab investigates neoepitopes , trained immunity , and cellular therapies for solid malignancies, tuberculosis, and SARS-CoV-2. His recent publications (2018–2022) highlight host-pathogen interactions , immune profiling in severe diseases, and MSC-based interventions for infectious and oncological conditions. Key trends include precision medicine , lymphocyte dynamics , and vaccine development for tuberculosis and coronaviruses. Scientific Awards : Vision Award (Champalimaud Foundation) Students & Collaborators : Masters Students: Jéssica Kamiki, Matilde Sedas, Patrícia António Postdoctoral Researchers: Carolina Gorgulho, Joana Lérias, Miguel Chaves Ferreira Senior Scientist: Mariia Mitina Bioinformatician: Eric de Sousa Pharmacist: Bernardo Marinheiro

• Computer Security
• Network Security
• Intrusion Detection
• +۳ مورد دیگر

Miguel Nuno Dias Alves Pupo Correia is a Full Professor at the Department of Computer Engineering, Instituto Superior Técnico, Universidade de Lisboa. His research focuses on computer security, intrusion tolerance, and distributed systems. Position: Full Professor Department: Computer Engineering Research Unit: INESC-ID Distributed, Parallel and Secure Systems Email: miguel.p.correia@tecnico.ulisboa.pt He teaches subjects related to Computer Security in Networks and Systems and Intrusion Tolerance, Detection and Response .

• Distributed Systems
• Computer Science
• Software Engineering
• +۱ مورد دیگر

Paulo Jorge Pires Ferreira is an Associate Professor affiliated with the Distributed Systems Group at INESC-ID. His work focuses on distributed systems and related computational frameworks. Current Status: Active faculty (1st Semester 2025/2026) Research Unit: INESC-ID, Distributed Systems Group Research Interests: Spanning Distributed Systems , Computer Science , and Networking , his research emphasizes scalable architectures and system coordination.

Luís Antunes Veigaمشاهده پروفایل

دانشیار

• Distributed systems
• Cloud computing
• Grid computing
• +۵ مورد دیگر

Luís Antunes Veiga is an Associate Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico (IST), Universidade de Lisboa, and a Senior Researcher at INESC-ID Lisboa, where he is Vice-Coordinator of the Computing Systems and Communication Networks Laboratory and of the Distributed Systems Group. He has held roles such as Scientific Coordinator of the Distributed, Parallel and Secure Systems research area, Vice-Head of Department for Academic Matters, and Coordinator of the MSc programme in Information Systems and Computer Engineering (MEIC). Education: Details of degrees not explicitly listed, but career progression from Teaching Assistant (2001) to Associate Professor (2015) indicates completion of PhD and other qualifications. Research Interests: His work lies at the intersection of distributed systems and cloud computing, with a focus on: Virtualization & Cloud Infrastructure: Virtual machines, container technologies, and serverless (FaaS) platforms. Data Management & Consistency: Replication strategies, consistency models, and garbage collection for large-scale systems. Edge & P2P Computing: Extending cloud abstractions to edge devices and community networks, peer-to-peer middleware, and mobile computing. Recent Publication Trends: Over the last three years, his research output has concentrated on serverless computing at the edge , analyzing performance, cost, and scheduling strategies. Key contributions include novel utility-driven placement algorithms and lightweight orchestration frameworks that reduce cold-start latency while respecting edge resource constraints. Scientific Awards: Nominated for Best Researcher Award 2019, INESC-ID Lisboa. Advising & Grants: He has successfully supervised more than nine PhD students as primary advisor (including joint programmes with UCLouvain, UPC, and University of Maryland) and numerous MSc students. Funding has been secured through: EU Programmes: CloudStars (MCSA), MoTiV (H2020), CloudForEurope (FP7), TIMBUS (FP7). National FCT Projects: novaVM, ContexTWA, PROSOPON, Synergy, RepComp, GINGER. Labs & Teams: He leads activities within the Distributed Systems Group , coordinates the INESC-ID Computing Systems and Communication Networks Laboratory , and is a member of the IST Scientific Council (2023–).

André Vasconcelosمشاهده پروفایل

دانشیار

• Enterprise Architecture
• Information Systems
• Blockchain Technology
• +۳ مورد دیگر

André Vasconcelos is an Associate Professor at the Department of Computer Science and Engineering, Instituto Superior Técnico, University of Lisbon, and a senior researcher at IDSS Lab (INESC-ID). His work spans Enterprise Architecture , Blockchain Technology , and Interoperability in public and private sectors. PhD in Computer Science (2007, Instituto Superior Técnico) Master's in Computer Science (2001, Instituto Superior Técnico) Lisbon MBA (2015, Católica | Nova) Research focuses on Enterprise Architecture for governance, blockchain Interoperability mechanisms (e.g., cross-chain transactions, bridge security), and Digital Transformation in government. Key projects include Hermes (fault-tolerant middleware), Harmonia (zero-knowledge proofs for security), and XChainWatcher (attack monitoring in bridges). His scientific contributions systematically address cross-chain vulnerabilities, GDPR compliance, and real-world applications in healthcare (e.g., MedClick), automotive (car registration), and public administration (cloud assessment tools). He has no explicitly listed awards but drives national policy through contributions to Portuguese laws on ICT Governance , Open Standards , and Digital Identity (e.g., id.gov.pt mobile app). Advisory work includes PhD and Master’s students , though specific names are not provided. Professional activities emphasize consulting for information systems architecture and shaping EU Digital Identity frameworks (e.g., eIDAS Regulation 2024/1183). Labs/teams include IDSS Lab (INESC-ID) and collaborations with global researchers.

João Pedro Faria Mendonça Barretoمشاهده پروفایل

دانشیار

• Persistent Memory
• Exascale Computing
• Transactional Memory
• +۵ مورد دیگر

João Pedro Faria Mendonça Barreto is an Associate Professor at Instituto Superior Técnico (University of Lisbon) and a researcher in the Distributed Systems Group at INESC-ID. His work focuses on system support for persistent memory, exascale computing, transactional memory, and blockchain consensus protocols, with significant contributions to heterogeneous memory systems and NUMA optimization.

Luis Pedrosaمشاهده پروفایل

استادیار

• Systems and Networking
• Program Analysis
• Software and Network Verification
• +۵ مورد دیگر

Luis Pedrosa is an Assistant Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico / University of Lisbon and a Researcher at INESC-ID . He leads Systems and Networking research in the Distributed Parallel & Secure Systems Group . Education: PhD in Computer Science (2016, University of Southern California), advised by Professor Ramesh Govindan in the Networked Systems Laboratory Postdoctoral: Swiss Federal Institute of Technology in Lausanne (EPFL) His research combines techniques from programming languages and formal methods to create models that: (1) identify software bugs, (2) debug performance issues, and (3) enable formal verification of correctness/performance guarantees. He also develops adversarial workload generation tools for network defense. Key publication trends span 2012-2024, focusing on: Software Network Functions (5+ papers) Wireless Sensor Networks (4+ papers) Formal Verification (3+ papers) Cloud/Distributed Systems (3+ papers) Network Security (3+ papers) Scientific Recognition: EuroSys'25 Test-of-Time award for co-authored Borg paper He teaches 1st Cycle Integrative Projects in Telecommunications/Computer Engineering and Computer Networks courses. The research group maintains open-source projects like CASTAN for adversarial workload generation.

José Fragoso Santosمشاهده پروفایل

استادیار

• JavaScript Verification
• Formal Methods
• Symbolic Execution
• +۳ مورد دیگر

Welcome to my home page. I am an Assistant Professor at the Department of Computer Science and Engineering, Instituto Superior Técnico, University of Lisbon, and a researcher at INESC-ID's SAT group. My work focuses on embedding formal methods into software development, particularly for JavaScript programs. PhD in Computer Science, University of Nice Sophia Antipolis (2014) MSc in Information Systems and Computer Engineering, Instituto Superior Técnico (2008) My research spans JavaScript verification, symbolic execution, and separation logic. I developed JaVerT, the first separation-logic-based tool for JavaScript analysis, used by Amazon to verify the AWS Encryption SDK and recognized with a Facebook Research Award. Recent publications highlight trends in symbolic execution, JavaScript security, and WebAssembly analysis. Key projects include Gillian (multi-language symbolic execution platform), Rexstepper (regular expression debugger), and Wasmati (WebAssembly vulnerability scanner). Facebook Research Award Supervised students include PhD researcher Gabriela Cunha Sampaio and MSc students Pedro Lopes, Carolina Costa, and others. Current teaching subjects: Analysis and Synthesis of Algorithms, Object-Oriented Programming, Software Security. Affiliated with the SAT group at INESC-ID and the Verified Trustworthy Software Specification group at Imperial College London.

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

استادیار

• Systems
• Programming Languages
• Cloud Computing
• +۴ مورد دیگر

Rodrigo Bruno is an Assistant Professor at Instituto Superior Técnico (University of Lisbon) and Senior Researcher at INESC-ID Lisbon. His research bridges Systems and Programming Languages with a focus on optimizing language runtimes for cloud environments (Microservices, Serverless). He previously worked at Oracle Labs Zurich and ETH Zurich. Research Areas Systems Programming Languages Cloud Computing Serverless Computing Operating Systems Key projects include Shell (FCT-funded serverless platform), Graalvisor (polyglot runtime virtualization), and Naos (RDMA networking in Java). His work appears in top venues like NSDI, EuroSys, ATC, and SoCC. Scientific awards include the EdgeEmu Best Paper Award , Best Young Researcher 2022 (INESC-ID), and multiple teaching excellence recognitions. He has served on program committees for EuroSys, NSDI, ATC, and more. Rodrigo Bruno leads a dynamic team including PhD candidates Vasyl Lanko, Bernardo Ribeiro (co-advised), and MSc students like André Páscoa. His research integrates with production systems such as the V8 JS Engine and OpenJDK HotSpot JVM. Current teaching includes Cloud Computing and Virtualization , Computer Systems Engineering , and IT Infrastructure Management . His service spans organizing committees for SESAME, MoreVMs, and artifact evaluation for SOSP.

Jan Gunnar Cederquistمشاهده پروفایل

استادیار

• Formal Methods
• Security Protocols
• Type Theory
• +۷ مورد دیگر

Jan Gunnar Cederquist is an Assistant Professor at the Department of Computer Engineering, Instituto Superior Técnico, Technical University of Lisbon, since 2006. He is also a member of the SQIG (Security and Quantum Information Group) at IT (Instituto de Telecomunicações). His research focuses on mathematical modeling, formal specification, and verification, particularly in security protocols and language-based security. His work spans software verification, type theory, and cryptographic protocol analysis. He has contributed to fields like non-repudiation protocols, RBAC, audit logic, and distributed security. He has taught courses ranging from Software Specification to Language-Based Security at the PhD and MSc levels. His students include MSc candidates Fernando Mário Machado Marques and Carlos Magno Gaspar Vasconcelos. Previously, he held postdoctoral positions at the University of Twente, CWI, INRIA, and Imperial College London. He has chaired tracks at ACM SAC conferences (2010–2011) and served on program committees for security and formal methods events. His industry experience includes roles at Prover Technology and SEMCON.

• Computer Engineering
• Distributed Systems
• Smart Environments
• +۳ مورد دیگر

David Rogério Póvoa de Matos is an Assistant Professor at the Higher Technical Institute (University of Lisbon), affiliated with the Department of Computer Engineering and the INESC-ID Distributed Systems Group . He teaches subjects including Smart Environments, Forensic Cybersecurity, and Mobile and Ubiquitous Computing. Research Interests Smart Environments Forensic Cybersecurity Mobile and Ubiquitous Computing Distributed Systems

• Industrial Engineering
• Applied Optimization
• Simulation Models
• +۹ مورد دیگر

Miguel Vieira is an Assistant Professor at the Faculty of Engineering , Lusófona University, Lisbon, and a Researcher at RCM2+. He also holds Visiting Researcher positions at Instituto Superior Técnico and Universidade de Coimbra. PhD in Leaders for Technical Industries (2017) from Instituto Superior Técnico (part of MIT Portugal Program) Focus on industrial engineering challenges, including optimization methods, simulation models, and machine learning for supply chain and production systems Developed mathematical programming models (LP, IP, MILP, MINLP) and decomposition methods for complex manufacturing problems His research spans deterministic and stochastic scenarios, with a focus on Industry 4.0, human-robot interaction, and decision-support systems. He has published 8 journal articles, 11 book chapters, and contributed to 7 events, including organizing 7 conferences. Recent publications emphasize data-driven optimization , risk assessment , and sustainable strategies in biomass and fuel distribution supply chains, alongside machine learning integration in manufacturing. His work includes a Q-Learning algorithm for assembly lines and stochastic programming applications. Awards & Honors : 6 scientific awards (specifics not listed) Miguel has supervised 3 MSc dissertations and collaborated with 53 researchers. His projects include risk assessment in process design, dynamic scheduling for Industry 4.0, and enhancing industrial optimization via deep learning.

Patrícia Fortesمشاهده پروفایل

پژوهشگر

• Energy Economics
• Low-Carbon Energy Systems
• Technological Change
• +۶ مورد دیگر

Patrícia Fortes is a post-doctoral researcher at NOVA University of Lisbon's Faculty of Science and Technology, affiliated with the Department of Environmental Engineering and the CENSE Research Center. Her work focuses on energy economics, low-carbon transitions, and energy-climate policy analysis. Education : Bachelor Degree in Environmental Engineering Master in Environmental Engineering Master in Sustainable Urbanism and Spatial Planning PhD in Environment (2014) Her research spans energy systems modeling (TIMES/GEM-E3 linkage), macroeconomic impacts of climate policies, and techno-economic analysis of renewable energy integration. Key projects include POTEnCIA model development for the European Commission and policy support for Portugal's National Low Carbon Roadmap (2012), Climate Change Program (2014), and Green Tax Reform (2014). Recent publications demonstrate focus on: Climate risk assessment for power grids Hydrogen economy scenarios Circular economy-climate synergies Renewable energy techno-economic analysis Water-energy-food nexus modeling

Sonia Petroneمشاهده پروفایل

استاد

• Statistical Learning and Prediction
• Bayesian Theory and Methods
• Bayesian Nonparametrics
• +۵ مورد دیگر

Sonia Petrone is a Full Professor in Statistics at Bocconi University , holding a joint affiliation with the College of Economics, Politics and Decision Sciences and the field of Business Data Analytics. She joined Bocconi in 2001 and became Full Professor in 2014, previously serving at the University of Pavia (1991-1998) and the University of Insubria (1998-2001). She has conducted extensive research visits globally and served as President of the International Society for Bayesian Analysis (ISBA) in 2014. Education : Graduated in Discipline Economiche e Sociali from Bocconi University PhD in Statistics from Università degli Studi di Trento Her research focuses on Bayesian nonparametrics , statistical machine learning , and modeling complex dependence structures , with applications in random graphs and dynamic systems . Recent publications emphasize predictive modeling , stochastic processes , and Bayesian computational methods , reflecting her contributions to foundational Bayesian theory and its applications in advanced statistical frameworks. Scientific Awards and Editorial Roles : IMS Medallion Lecture (2018) ISBA Foundational Lecture (2016) Editor of Statistical Science (2020-2022) Coleditor of Bayesian Analysis (2010-2014) She has directed the Bocconi Summer School in Advanced Statistics and Probability since 2017 and played leadership roles in the Bocconi PhD in Statistics as Vice-Director and Curricula Responsible (2004-2011) and Director (2011-2018).

• Artificial Intelligence
• Natural Language Processing
• Machine Learning
• +۷ مورد دیگر

Paulo Miguel Torres Duarte Quaresma is a Full Professor at the Department of Informatics, Universidade de Évora, Portugal, and Senior Researcher at Centro ALGORITMI. His career spans roles as Vice-Rector for Research and Innovation (2022–2025), Director of the School of Science and Technology (2009–2013), and Member of FCT’s Board of Directors (2021). Holding a PhD in Informatics (specialized in AI/NLP) from Universidade Nova de Lisboa and a Habilitation in Informatics from Universidade de Évora, he leads the AI & BigData Lab (equipped with 10 petaflop NVIDIA DGX-A100 supercomputers) and co-coordinates PORTULAN CLARIN, a €2M FCT-funded language technology infrastructure. Current Affiliation: Universidade de Évora (since 1997) Research Labs: AI & BigData Lab, PORTULAN CLARIN, VISTA Lab, NOVA LINCS (2019–2021) His research focuses on Artificial Intelligence and Natural Language Processing , with applications in legal reasoning , medical informatics , geospatial accident analysis , and semantic web technologies . Recent work includes creating European Portuguese BERT models, analyzing 18th-century health texts, and developing AI solutions for clinical triage. Advising highlights include supervising 7 PhD and 26 MSc theses. He chairs international conferences like PROPOR (2020) and IDEAL (2023), and participates in projects integrating AI with public administration and regional development through Alentejo2020 funding.