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

• 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.

• Cloud Computing
• Distributed Systems
• Data Processing
• +۴ مورد دیگر

Luis Antunes Veiga is an Associate Professor and Senior Researcher at INESC-ID Lisbon, affiliated with the Distributed Systems Group and the Computing Systems and Communication Networks Laboratory. His research focuses on Cloud Computing, Edge Computing, Distributed Systems, and Big Data processing. He teaches courses such as 'Cloud Computing and Virtualization' and 'Operating Systems, Virtualization and Cloud Computing.' His work emphasizes scalable systems, network-aware workflows, and resource-efficient data processing. Research Interests: His primary areas include distributed systems architectures, edge computing frameworks, graph processing algorithms, and software-defined systems. He explores topics like latency-aware network design, resource auction mechanisms for edge environments, and interoperable service workflows. His contributions span theoretical frameworks and practical implementations, such as the RATEE system for edge resource trading and the VeilGraph incremental graph processing framework. Publications: His recent work addresses challenges in distributed systems, such as elastic scaling of stream processing, efficient graph processing in Spark, and latency optimization in internet-scale workflows. These publications reflect a trend toward integrating software-defined approaches with edge and cloud infrastructures. Notable Awards: Best Young Researcher INESC-ID, Excellence in Teaching (IST 2012), and a Best-Paper Award at ACM/IFIP/Usenix Middleware 2007. Labs & Teams: Active in the Computing Systems and Communication Networks Laboratory, leading projects on edge computing and distributed systems.

• Compilers
• Program Verification
• Formal Methods
• +۶ مورد دیگر

Nuno P. Lopes is an Associate Professor at Instituto Superior Técnico (University of Lisbon) and affiliated with INESC-ID . His research focuses on compiler optimization, program verification, formal methods, and hardware-software co-design for AI workloads. He advises students at both PhD and MSc levels in areas such as compilers, machine learning frameworks, and blockchain security. Education: PhD in Computer Science from Instituto Superior Técnico (2014), Master's from the same institution, and Bachelor's in Computer Science. Research Interests: Compilers, static analysis, LLVM optimization validation, undefined behavior exploitation, tensor contraction processors, and secure smart contract verification. He leads projects like Alive2 for LLVM optimization validation and Torchy , a tracing JIT compiler for PyTorch. Awards: Distinguished Paper at PLDI 2015, Best Paper at SPIN 2013. His student Juneyoung Lee won the EuroLLVM'19 SRC award and best PhD thesis in Seoul National University's Engineering College. Grants: Supported by Google, Matter Labs, Oracle, PRACE, and Woven by Toyota. His lab focuses on sustainable AI computing and compiler-driven optimizations. Current Projects: Alive2, TCP (Tensor Contraction Processor), and FuriosaAI collaborations. Advises students on topics like blockchain mining efficiency, Rust-C++ translation, and secure smart contract execution.

João Paiva Cardosoمشاهده پروفایل

استاد

• Reconfigurable Computing
• Compilers
• Embedded Systems
• +۵ مورد دیگر

João Paiva Cardoso is a Full Professor at the Department of Informatics Engineering, Faculty of Engineering of the University of Porto, Portugal, and a Senior Researcher at INESC TEC's Human-Centered Computing and Information Science Centre since July 1, 2011. He earned his PhD in Electrical and Computer Engineering from the Technical University of Lisbon in 2001 and has built an extensive career spanning academia and industry. Former positions: IST/UTL (2006-2008), Senior Researcher at INESC-ID (2001-2009), University of Algarve (1993-2006) Industry experience: PACT XPP Technologies, Inc., Munich, Germany (2001/2002) Professional affiliations: Senior Member of IEEE, Member of IEEE Computer Society, Senior Member of ACM His research centers on compilation techniques, domain-specific languages, reconfigurable computing, and high-performance embedded systems. Recent publications reveal a strong focus on hardware/software co-design, with particular emphasis on FPGA acceleration and source-to-source compilation techniques for optimizing CPU-FPGA applications. His work addresses critical challenges in High-Level Synthesis compatibility, task graph representations, and holistic partitioning approaches. Professor Cardoso has served in leadership roles for numerous international conferences including General Chair of FPL'2013 and General Co-Chair of multiple ARC symposia. His supervised theses cover diverse topics from energy-efficient classification techniques to FPGA-based kNN accelerators, demonstrating the breadth and practical application of his research vision.

Pedro Henriquesمشاهده پروفایل

استاد

• Programming Languages
• Compiler Design
• Software Analysis
• +۲ مورد دیگر

Pedro Henriques is Professor of Computer Science at University of Minho, where he coordinates the Language Processing group at Algoritmi Research Center. With a PhD in Formal Languages and Attribute Grammars, he teaches compiler design and programming language engineering. His research develops: Formal methods for software analysis Educational tools for programming pedagogy Ontology-driven computational thinking frameworks AI applications in agriculture and healthcare Recent work includes neuroeducation-informed frameworks (OntoCnE) and Programming Cocktails methodology for optimizing cognitive load in code instruction. He has supervised 14 PhD dissertations and authored the foundational text "XML & XSL: da teoria a prática". Current EU projects explore VR cognitive rehabilitation and olive cultivar identification using deep learning.

• 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

• Electrical Engineering
• Circuit Theory
• Biomedical Engineering
• +۳ مورد دیگر

Dr. Teresa Maria Canavarro Menéres Mendes de Almeida is an Assistant Professor at the Department of Electrical and Computer Engineering, Instituto Superior Técnico (University of Lisbon), and a researcher at INESC-ID. She specializes in circuit theory, signal processing, and biosensor technologies. Her teaching focuses on core electrical engineering courses such as Circuit Analysis, Analog/Digital Filters, and Electronics fundamentals, for which she has received multiple teaching excellence awards from the IST Pedagogical Council (2013-2019). Her research interests span resistive circuits, magnetoresistive biosensors, and biochip-based microsystems. She has developed educational materials like problem sets and lecture slides on filters and circuits, alongside applied work in biomedical embedded systems and sensor modeling. Collaborations include projects on portable biosensing platforms and noise analysis in biochip elements. Notable achievements include a series of teaching excellence awards highlighted for courses like 'Circuit Theory and Fundamentals of Electronics' and 'Analog and Digital Filters.' Her work bridges theoretical circuit analysis with practical applications in biomedical engineering and digital signal processing.

Leonor Santiago Pintoمشاهده پروفایل

استادیار

• Operations Research
• Arc Routing Problems
• Vehicle Routing
• +۷ مورد دیگر

Leonor Santiago Pinto is an Assistant Professor in the Department of Mathematics at ISEG, University of Lisbon, specializing in Operations Research. She has been a faculty member since 1983 and previously taught at the University of Macau (1991–1998). She is actively involved in teaching and coordinates the Master’s program in Quantitative Methods for Economic and Business Decision-Making. Her research focuses on combinatorial optimization, particularly arc routing problems with applications in urban logistics, waste collection, parking enforcement, and conservation biology. She employs mathematical programming and heuristic methods to solve real-world logistical challenges. Her recent publications highlight a strong trend in applying arc routing models to municipal services, with emphasis on solution attractiveness, trip balancing, and hybrid matheuristics. Her work bridges theoretical optimization with practical implementation in urban environments. PhD in Mathematics Applied to Economics and Management, ISEG (2004) She has supervised numerous Master’s theses on topics including waste collection, scheduling, logistics, and optimization in healthcare and sports. She has co-supervised a doctoral thesis and continues to mentor students in quantitative decision-making. Leonor Pinto is affiliated with ISEG’s research initiatives in data and policy modeling, contributing to applied projects in urban sustainability and public service optimization.

José Bacelar Almeidaمشاهده پروفایل

استادیار

• Cryptography
• Information Security
• Program Verification
• +۳ مورد دیگر

José Bacelar Almeida is an Assistant Professor at the Department of Informatics at Universidade do Minho and a Senior Researcher at HASLab/INESC TEC since 2011. He holds a PhD in Computer Science from Universidade do Minho (2003). His research focuses on Cryptography, Information Security, and Program Verification, with an emphasis on formal methods for ensuring cryptographic software correctness and security. He has contributed to high-assurance implementations of cryptographic systems, bridging theoretical security with real-world applications. His research interests include provable security, formal verification of cryptographic proofs, and secure cryptographic software implementations. Notable work includes formally verified implementations of Kyber (a post-quantum cryptosystem) and machine-checked proofs for security protocols like ML-KEM. He also explores leakage-free probabilistic programs and secure compilation frameworks. Almeida has supervised multiple theses on topics such as cryptographic implementation verification, cloud security, and password management systems. His publications span conferences like CRYPTO and CPP, journals like the Journal of Logical and Algebraic Methods in Programming, and venues on formal methods and secure computation. He is part of the High-Assurance Software research center at INESC TEC and actively contributes to projects involving certified cryptographic software and secure multiparty computation. His work emphasizes practical, high-performance solutions with rigorous formal guarantees.

• Perioperative Nursing
• Surgical Nursing
• Educational Methodologies in Nursing
• +۳ مورد دیگر

António Manuel Martins de Freitas is an Assistant Professor at the Polytechnic Institute of Setúbal's School of Health, Department of Nursing. He has been in academia since 2005, focusing on perioperative nursing, surgical care, and nursing education. He served as Deputy Director of the School of Health and held various leadership roles in academic committees. His research emphasizes patient safety, perioperative practices, and the historical evolution of nursing roles. Education Bachelor's Degree in Psychology (1996–2003), Lusófona University Bachelor of Nursing (1991–1994), St. Vincent de Paul School of Nursing Master's in Educational Sciences (2007–2010), University of Extremadura Postgraduate Specialization in Medical-Surgical Nursing (2010–2011), University of Évora Research Interests Freitas' work spans perioperative nursing protocols, patient safety in surgical settings, and educational methodologies in nursing. He has explored topics such as SBAR communication adaptation, the historical context of surgical nursing roles, and competency-based trauma care training. His publications and conference presentations reflect a commitment to bridging evidence-based practice with clinical realities. Key Contributions Freitas co-authored the Manual de Suporte Básico de Vida and pioneered the Computerization of Perioperative Nursing Records , winning a Hospital do Futuro Award in 2012. He has advised over 30 graduate students on topics ranging from perioperative care to critical patient interventions. Awards 2nd Place, Hospital do Futuro Awards (2012): 'Health Management and Economics' category for digital perioperative record innovation Teaching He teaches courses such as Enfermagem Perioperatória , Didáctica em Enfermagem , and Pessoa em Situação Crítica . His pedagogical focus includes problem-based learning and clinical simulation (ACS courses). Leadership Freitas has coordinated master's programs in perioperative nursing, chaired institutional committees, and participated in national/international nursing associations like AESOP and COHEHRE.

• 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.

• Digital Education
• E-learning
• Curriculum Innovation
• +۴ مورد دیگر

Angélica Monteiro is an Assistant Professor at the Faculty of Psychology and Education Sciences, University of Porto, and a researcher at the Center for Educational Research and Intervention (CIIE). She holds a Ph.D. in Education Sciences from the University of Porto, a Master in Multimedia Education, and a Pedagogy degree from the State University of Rio de Janeiro. Her work spans teaching, research, and institutional leadership, including serving as head of a Higher Education School (2017–2018) and co-representing CIIE’s strategic focus on digital education and inclusion. Education: Ph.D. in Education Sciences (University of Porto, 2011) Master in Multimedia Education (University of Porto) Bachelor’s in Pedagogy (State University of Rio de Janeiro) Research Interests: Focus on digital education, e-learning, curriculum innovation, and digital inclusion. Explores technology’s role in education equity, youth empowerment, and sustainable development. Examines digital literacy challenges in vulnerable populations, including prisoners and marginalized youth. Projects & Leadership: Principal investigator of the DICEs project (2021) on digital citizenship education for minority youth. Lead the UP2B project (2019–2022), fostering student motivation and European citizenship. Member of international networks like the European Education Policy Network and COST Action GRADE. Conducts research on prison education, school governance, and teacher professional development. Grants & Collaborations: Secured €497k+ in EU funding for projects like BE PART and eSGarden. Partnerships with institutions across Europe, including universities, NGOs, and governmental bodies. Labs & Teams: CIIE’s LabDERE (Digital Experimentation and Education Networks). Leading the ‘Empowerment and Inclusion Through Digital Education and Arts’ strategic area at CIIE.

• Atomic Physics
• Quantum Electrodynamics (QED)
• Muonics Spectroscopy
• +۴ مورد دیگر

Jorge Machado is an Assistant Professor at Universidade Nova de Lisboa . His research focuses on atomic physics , quantum electrodynamics (QED) , and muonics spectroscopy . He specializes in precision measurements of atomic parameters using advanced detection systems like superconducting tunnel junctions and X-ray spectroscopy techniques. His work bridges experimental and theoretical physics, addressing fundamental questions in QED testing and nuclear astrophysics. Key research areas include: Muonics systems : Studying light nuclei and heavy ions via muonic atoms (e.g., BeEST experiment) X-ray spectroscopy : Developing methods for elemental analysis in biological and material sciences Detector design : Innovating systems for high-precision measurements and neutron detection (e.g., NeuLAND detector at FAIR) His recent work emphasizes reference-free measurements of atomic transitions and formalin fixation impact on tissue elemental composition. He collaborates on international projects like the R3B experiment at FAIR and maintains the Lisbon Atomic Database (LISA) . Publications highlight contributions to QED testing in extreme fields , nuclear astrophysics , and precision muonics techniques . His experimental setups often involve laser spectroscopy, particle accelerators, and advanced data acquisition systems.

Mário Pereiraمشاهده پروفایل

استادیار

• Deductive Software Verification
• Program Verification
• Formal Methods
• +۴ مورد دیگر

Mário Pereira is an Assistant Professor at NOVA School of Science and Technology, NOVA University of Lisbon. He is also an Integrated Member of NOVA LINCS (NOVA Laboratory of Computer Science and Informatics). Dr. Pereira's research focuses on Deductive Software Verification , with particular expertise in program verification techniques and tools. His work centers on the deductive verification of OCaml programs, where he has developed tools and techniques as part of his Marie Sklodowska-Curie project "Cameleer." He is an enthusiast of the Why3 verification tool and the auto-active approach to program verification. His research spans formal methods, type systems (including refinement types and intersection types), and the development of verified software libraries. Among his notable achievements, Dr. Pereira was a Marie Sklodowska-Curie Fellow from June 2020 to May 2022, working on the Cameleer project at NOVA-LINCS. This prestigious fellowship supported his research in developing tools for the deductive verification of OCaml programs. Dr. Pereira has extensive teaching experience, having served as a teaching assistant since 2016. At FCT/Universidade Nova de Lisboa since 2020, he has taught courses including Theory of Computation and Analysis and Design of Algorithms. Previously, he taught at École Polytechnique in France, where he assisted in courses such as Introduction to Computer Science, Programming and Algorithms Basis, Advanced Programming, and Compilers. As an active member of the research community, Dr. Pereira contributes to several open-source software projects related to program verification, including Cameleer (a deductive verification tool for OCaml), Why3 (a software verification framework), OCamlGraph (a graph library for OCaml), and VOCaL (the Verified OCaml Library). He maintains an active GitHub presence under the username mariojppereira.

Francisco Roque de Oliveiraمشاهده پروفایل

استادیار

• Historical Geography
• Colonial Cartography
• Tropical Geography
• +۳ مورد دیگر

Francisco Roque de Oliveira is an Assistant Professor at the University of Lisbon's Faculty of Arts, Department of Geography. With a background in Human Geography from Universitat Autònoma de Barcelona, he focuses on historical cartography, colonial geographies, and tropical studies. His work bridges Portuguese colonial history with modern geopolitical and environmental considerations. PhD, Human Geography (Universitat Autònoma de Barcelona, 2003) MSc, Human Geography (Universitat Autònoma de Barcelona, 1993) BSc, Regional and Local Planning (University of Lisbon, 1990) Research interests include: Colonial cartographic practices Tropical geography and its geopolitical implications Historical geographical exhibitions Portuguese-Chinese geographical encounters Recent publications examine 16th-century Portuguese nautical cartography, border disputes in the South China Sea, and archival recovery of colonial-era photographic collections. His work often intersects with decolonial studies, analyzing knowledge production during Portugal's colonial period.