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

• 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

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.

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

Jose Manuel Zorro Mendesمشاهده پروفایل

دانشیار

• Microeconomics
• Public Policy
• Energy Economics
• +۹ مورد دیگر

Jose Manuel Zorro Mendes is an Associate Professor at the Department of Economics , ISEG (Lisbon School of Economics & Management) , University of Lisbon . He has taught 30 curricular units since 1987 and currently serves as Department President. Research Focus: Microeconomics, Public Policy, Energy/Environmental Economics, and Portuguese Economic Studies Publications: 15+ works including SIDS strategies, financial performance analysis, circular economy, and EU banking policies Advisory & Consultancy: Supervised 27 master's/doctoral theses and participated in 37 consultancy projects related to Energy, Environment, and Social Impact.

Benjamim Fonsecaمشاهده پروفایل

استادیار

• Collaborative Systems
• Mobile Accessibility
• Immersive Systems
• +۵ مورد دیگر

Benjamim Fonseca is an Assistant Professor with Habilitation at the University of Trás-os-Montes and Alto Douro (UTAD), affiliated with the Department of Engineering. He is also a researcher at INESC TEC and co-founder/CEO of 4ALL Software, a UTAD spin-off focused on innovative software development. His research spans collaborative systems, mobile accessibility, and immersive technologies, with over 100 publications in conferences, journals, and books. Fonseca actively contributes to scientific event organization and peer review, emphasizing human-AI collaboration, scientometrics, and educational technology. His work integrates hybrid human-AI systems, crowdsourcing frameworks, and educational tools like virtual labs and exergames. Notable projects include the Online-Gym multiuser virtual environment and SOSPhone , a mobile emergency app for deaf users. Fonseca’s research also explores the ethical and practical dimensions of AI in fields like music composition and entrepreneurship education through platforms like BIZZY and PLAYER . Key themes in his publications include scientometric analysis of CSCW (Computer-Supported Cooperative Work), taxonomies for crowd-machine interaction, and the application of reinforcement learning in scheduling. His interdisciplinary approach bridges computer science, education, and social inclusion, with a focus on leveraging technology for equitable access and collaborative innovation.

• Differential Games
• Optimization
• Simulation of Gas Networks
• +۴ مورد دیگر

Teresa Perdicoulis is a Lecturer at the Department of Engineering of the University of Trás-os-Montes and Alto Douro in Portugal since 1991. She holds a BSc in Mathematics from the University of Coimbra (1991), MSc in Electronic Control Engineering from the University of Salford, Manchester (1995), and a PhD in Mathematics and Computer Science from the University of Salford (2000). Her research focuses on differential games, optimization, gas network simulation, and identification theory. She contributes to academic communities through memberships in ISR University of Coimbra, SYSTEC (UP), and APCA. Her teaching spans diverse subjects including Numerical Analysis, Operational Research, Calculus, Algebra, Programming, Compilers, Control Systems Theory, and Discrete Mathematics. Her professional activities are complemented by engagement in research projects and institutional roles at the university. Outside academia, Teresa enjoys reading, cooking, mountain hiking, camping, knitting, and language learning.

• High-Performance Computing
• Neuromorphic Engineering
• Bio-inspired Systems
• +۷ مورد دیگر

Pedro Filipe Zeferino Tomás is an Associate Professor at the University of Lisbon's College of Engineering, Department of Electrical and Computer Engineering. He is affiliated with INESC-ID research institute and teaches courses on Large Scale Computing, Computer Architecture, and High Performance Computing. His academic career includes a PhD in Neural Code modeling (2009), a Master's in DSP hardware structures (2006), and a Bachelor's in Bio-Inspired Artificial Retina design (2003). His research focuses on neuromorphic engineering, parallel computing architectures, and biosensing applications. Key areas include GPU optimization, transprecision arithmetic, neural prosthetics, and participatory urban biosensing. He has pioneered bio-inspired systems for visual neuroprostheses and developed energy-efficient hardware accelerators for machine learning. His recent work integrates biosensors into urban studies, exploring participatory methods for analyzing affective geographies and walkability. Over 60 peer-reviewed publications demonstrate his contributions to high-performance computing, neural modeling, and interdisciplinary urban technology. Grants: Multiple EU-funded projects in neuromorphic systems and urban biosensing Labs: Leads the Heterogeneous Computing Lab at INESC-ID and collaborates with neural engineering teams

Cristina Requejoمشاهده پروفایل

دانشیار

• Operational Research
• Integer Programming
• Combinatorial Optimization
• +۷ مورد دیگر

Cristina Requejo is an Associate Professor at ISEG – Lisbon School of Economics and Management, University of Lisbon, and a researcher at CEMAPRE/REM. Her academic career spans institutions including the University of Coimbra and the University of Aveiro, where she held teaching and research roles in mathematics and operational research. Education: PhD in Mathematics, Operations Research – Faculty of Sciences, University of Lisbon (2004) Master's in Operational Research – University of Lisbon Degree in Mathematics – University of Coimbra Her research centers on optimization, particularly integer programming, combinatorial optimization, robust optimization, vehicle routing, and healthcare logistics. She applies advanced mathematical programming techniques to real-world problems in logistics, scheduling, and network design. Her work bridges theoretical algorithm development and practical applications in sectors like healthcare and transportation. The most recent publications reflect a strong focus on MIP-based heuristics, Lagrangian duality, and vehicle routing with skill and temporal constraints. Her research consistently appears in high-impact operations research journals, demonstrating sustained contributions to algorithmic and modeling advances in optimization. Scientific Awards: No awards explicitly mentioned in the text. She has supervised multiple graduate students, including doctoral candidates funded by FCT scholarships, and has contributed to active research projects promoting international collaboration. Her teaching includes advanced courses in decision making, optimization, and operational research at the doctoral and master’s levels. She is affiliated with research labs such as CEMAPRE/REM, contributing to a vibrant research environment in applied mathematics and economics.

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

دانشیار

• Systems Software
• Distributed Systems
• Operating Systems
• +۵ مورد دیگر

Francisco Moura is an Associate Professor at the University of Minho, affiliated with HASLab/INESC TEC. His research focuses on Systems Software, including compiler design, operating systems, middleware, and performance optimization. He co-founded Eurotux SA, specializing in open-source software and cloud-based systems. His work emphasizes the interplay between performance metrics (efficiency, availability) and software system architecture. Research interests span distributed systems, database replication protocols, and mobile agent architectures. Notable contributions include studies on partial replication in databases, fault-tolerant group communication systems, and optimizing transaction processing in wide-area networks. Publications highlight practical applications of theoretical models, validated via network simulators and real-world benchmarks. Publications (2001–2006) address challenges in distributed computing, from mobile agent frameworks for virtual enterprises to latency-reduction techniques in WANs. No scientific awards listed, but active in industry-academia collaborations through Eurotux SA. Advising activities are unspecified in available texts. His work is anchored in HASLab/INESC TEC, a leading center for high-assurance software research.