Find Academic Supervisors

Maurício BreternitzView profile

Assistant Professor

• Machine Learning
• High Performance Computing
• Neuromorphic Computing
• +7 more

Maurício Breternitz is an Invited Assistant Professor and Principal Researcher at ISTAR-IUL, ISCTE - University Institute of Lisbon. With a PhD in Computer Engineering from Carnegie-Mellon University and extensive industrial research experience at AMD, Intel, and IBM, he focuses on bridging academia and industry for practical innovation. His academic service includes leadership roles in conferences like IISWC and editorial responsibilities at IEEE Micro. Education: Electronics Engineer (ITA, Brazil), MSc in Computer Science (UNICAMP), PhD in Computer Engineering (Carnegie-Mellon) Research: Machine Learning acceleration, Neuromorphic systems, Cloud workloads optimization, Heterogeneous computing His work spans two decades of patents (56 issued, 55 pending) and projects like the Horizon 2020 DIVIDEND CHIST-ERA and the FCT-funded AIMHealth initiative for AI-based public health solutions. Recent publications emphasize weightless neural networks, edge computing, and federated learning applications. Key contributions include: GPU acceleration for Hadoop MapReduce APU code migration techniques Microcode compression algorithms saving $18M Founding the International Workshop on Architectural Support for Binary Translation He has advised 7 Master's theses and 1 ongoing PhD project at UNICAMP, while serving on editorial boards and program committees for top-tier conferences like ISCA and CGO.

• Heterogeneous Architectures
• High-Performance Computing
• Computer Systems Technologies
• +4 more

Leonel Augusto Pires Seabra de Sousa is a Full Professor at the University of Lisbon's Instituto Superior Técnico and a principal researcher at INESC-ID. His primary research focuses on heterogeneous architectures for high-performance computing, computer systems technologies, and cryptographic hardware acceleration. He holds a Fellow status with the IET and has been recognized as a Senior Member of both ACM and IEEE. Roles: Full Professor, Researcher (INESC-ID) Education: Details not explicitly provided in text His work spans parallel computing, embedded systems, and bioinformatics applications. Key contributions include energy-efficient architectures, RNS-based cryptographic accelerators, and GPU-driven phylogenetic analysis. Over 150 publications highlight his impact in these areas. Recent projects include COPMA (post-quantum cryptography hardware) and low-power 5G positioning systems. Awards include the HiPEAC Paper Award and multiple academic recognitions. Advising focuses on PhD/MSc students in HPC and embedded systems. Collaborates with industry partners on FPGA and GPU-based solutions.

Hervé PaulinoView profile

Associate Professor

• Mobile Computing
• Distributed Systems
• Networking
• +3 more

Hervé Paulino serves as an Associate Professor in the Computer Science Department at the Faculty of Sciences and Technology, NOVA University Lisbon, where he maintains an office in cabinet P2/16. He is an integrated research member of the NOVA Laboratory for Computer Science and Informatics (NOVA LINCS), contributing to the institution's academic and research framework with contact details including telephone 212 948 300 ext. 10729. His research spans Mobile Computing , Distributed Systems , and Networking , with specialized focus on WiFi-Direct internetworking protocols and key-value storage architectures for mobile environments. This work manifests in publications at premier venues including Mobiquitous, Euro-Par, and WoWMoM conferences, alongside contributions to journals like Future Generation Computing Systems. He has supervised graduate research evidenced by PhD and MSc theses on WiFi-Direct internetworking and mobile data storage solutions. His academic activities operate within the collaborative ecosystem of NOVA LINCS, which drives innovation across computer science disciplines through interdisciplinary projects and industry partnerships.

• Computer Security
• Network Security
• Intrusion Detection
• +3 more

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 .

Luís Antunes VeigaView profile

Associate Professor

• Distributed systems
• Cloud computing
• Grid computing
• +5 more

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–).

João Pedro Faria Mendonça BarretoView profile

Associate Professor

• Persistent Memory
• Exascale Computing
• Transactional Memory
• +5 more

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 PedrosaView profile

Assistant Professor

• Systems and Networking
• Program Analysis
• Software and Network Verification
• +5 more

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 SantosView profile

Assistant Professor

• JavaScript Verification
• Formal Methods
• Symbolic Execution
• +3 more

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 BrunoView profile

Assistant Professor

• Systems
• Programming Languages
• Cloud Computing
• +4 more

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.

• Artificial Intelligence
• Natural Language Processing
• Machine Learning
• +7 more

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.

• Embedded Systems
• Real-Time Systems
• System-on-Chip Design
• +7 more

Adriano José Conceição Tavares is an Associate Professor at the School of Engineering, University of Minho, Portugal. He serves as a Senior Researcher at Centro ALGORITMI, where he is affiliated with both the IE R&D Group and the ESRG R&D Lab. His academic credentials include a PhD in Industrial Electronics from the University of Minho, a Master of Science in Information Technology from the University of Coimbra, and an undergraduate degree in Informatics from the University of Coimbra. Professor Tavares specializes in embedded systems with particular expertise in: Embedded systems modeling and design System software design System-on-chip design Real-time operating systems Hardware acceleration and FPGA design Virtualization for embedded systems IoT frameworks and protocols His publication record demonstrates a strong research trajectory in hardware-software co-design, with recent work showing an increasing integration of machine learning techniques into embedded systems. His publications span theoretical frameworks to practical implementations addressing real-time performance, resource constraints, and security challenges. Among his scholarly metrics: h-index of 18 126 publications with 1148 citations 20 publications in Q1/Q2 journals Author of a book on microcontroller programming Professor Tavares has supervised students including Miguel Ângelo Fernandes Silva and has established international collaborations through the Erasmus Program with institutions in China, Iran, Thailand, Jordan, and Cambodia. He teaches advanced courses on embedded and real-time systems modeling, compiler design, system-on-chip design, real-time operating system design, and advanced computer architectures at University of Minho.

• Multi-objective Optimization
• Nonlinear Optimization
• Evolutionary Algorithms
• +4 more

Lino António Antunes Fernandes Costa is an Associate Professor (with tenure) at the Department of Production and Systems, School of Engineering, University of Minho, Portugal. He conducts his research activities at the ALGORITMI R&D Centre as a member of the Systems Engineering and Operational Research (SEOR) research group. His academic credentials include a PhD in Production and Systems Engineering, an MSc in Informatics, and a DEng in Informatics and Systems Engineering. These qualifications form the foundation for his interdisciplinary research bridging engineering, computer science, and mathematical optimization. Dr. Costa's research focuses on multi-objective optimization, nonlinear optimization, evolutionary algorithms, and applied statistics. His work demonstrates significant application to real-world industrial problems, particularly in manufacturing optimization, agricultural technology (with emphasis on olive cultivation), emergency response systems, and quality control. His methodological approaches often combine traditional optimization techniques with modern machine learning and artificial intelligence methods. His publication record shows a clear evolution toward Industry 4.0 applications, with recent work emphasizing the integration of optimization techniques with smart manufacturing systems, agricultural technology, and emergency management. His research demonstrates strong interdisciplinary connections between operations research, computer science, and domain-specific applications in manufacturing and agriculture. h-index: 17 Total Publications: 126 Total Citations: 1,193 Q1/Q2 Journal Publications: 40 Dr. Costa serves as a regular reviewer for prestigious journals including IEEE Transactions on Evolutionary Computation, Evolutionary Computation, IEEE Intelligent Systems, and European Journal of Operational Research. He has contributed to over 40 international scientific events as a program committee member, including major conferences such as ACM GECCO, IEEE CEC, and EMO. His professional activities extend to project-based learning initiatives in industrial engineering education, demonstrating his commitment to both research and teaching excellence. His laboratory work centers around the ALGORITMI Centre's SEOR research group, where he collaborates on developing optimization frameworks for distributed manufacturing systems, agricultural technology applications, and emergency resource management. Current projects include applying multi-objective optimization to olive cultivation challenges and developing intelligent systems for firefighting resource allocation.

Jorge Manuel Pereira DuqueView profile

Professor

• Data Science
• Machine Learning
• Statistics
• +3 more

Jorge Manuel Pereira Duque is an Associate Researcher and Professor at ISLA – IPGT and Lusófona University. At ISLA, he holds leadership roles including Director of the Bachelor of IT for Electronic Commerce and Coordinator of postgraduate programs in Analytics and Business Data Science. He teaches courses such as Artificial Intelligence, Business Intelligence, and Parallel Programming. He earned his PhD from the University of Trás-os-Montes and Alto Douro (UTAD) in 2018. His research centers on Data Science , employing statistical and computational methods for knowledge extraction. Key areas include: Machine Learning algorithms and applications Statistical data analysis Programming methodologies Artificial Intelligence systems Business Intelligence frameworks He actively contributes to academia through conference committees and peer review, with publications across journals and conferences, though specific works are unlisted here.

Myoungsoo JungView profile

Professor

• Computer Architecture
• Operating Systems
• Solid State Drives
• +6 more

Myoungsoo Jung is the KAIST Endowed Chair Professor and Full Professor at Korea Advanced Institute of Science and Technology, holding primary appointment in the School of Electrical Engineering with additional affiliations in the School of Semiconductor System Engineering, Graduate School of AI Semiconductor, Graduate School of System Architect, and Graduate School of AI. His research focuses on cutting-edge computer architecture and operating systems with specialization in memory and storage systems. Professor Jung's research interests span computer architecture, operating systems, flash memory, solid-state drives, non-volatile memory, file systems, parallel processing, and heterogeneous computing. He has pioneered work in CXL-based memory expansion, computational SSDs, and memory disaggregation technologies that are transforming modern data centers and AI infrastructure. His recent publications demonstrate significant advancements in CXL-driven architectures, computational storage, and memory systems. The research trends show increasing integration of storage and memory technologies with AI workloads, particularly in large-scale graph processing, federated learning, and billion-scale data management. His team's work frequently appears in top-tier venues including ISCA, HPCA, SOSP, and USENIX ATC. Hall of Fame, IEEE/ACM ISCA (2024) Digital Innovation Award from Minister of Science and ICT (2024) CES Innovation Award Winner, CXL-Enabled AI Accelerator (2025) Korea Innovative Startup Award, Ministry of Science and ICT (2025) Samsung Best Paper Award Winner (Grand Prize) (2022) Professor Jung has successfully advised numerous PhD students including Miryeong Kwon (recipient of KAIST Outstanding PhD Dissertation Award) and Donghyun Gouk. His CAMEL research lab has secured over $13M in funding from sources including DOE, NSF, and Korean government agencies. The lab maintains strong industry partnerships with Samsung, SK Hynix, and Panmnesia, focusing on translating research into practical systems. Current projects include CXL-based memory expansion, computational SSDs for AI acceleration, and next-generation storage architectures for hyperscale data centers.