Find Academic Supervisors

Christof Ferreira TorresView profile

Assistant Professor

• Blockchain Security
• Smart Contract Analysis
• Decentralized Finance (DeFi)
• +4 more

Christof Ferreira Torres is an Assistant Professor at the Department of Computer Science and Engineering (DEI) at Instituto Superior Técnico (IST), University of Lisbon, and a researcher at INESC-ID in the Distributed, Parallel and Secure Systems (DPSS) group. His research focuses on program analysis, software security, and blockchain systems, particularly addressing vulnerabilities in smart contracts and decentralized finance (DeFi). He holds a Ph.D. from the University of Luxembourg and Technical University of Munich under Professors Radu State and Claudia Eckert. Education: Ph.D. in Computer Science, 2022 (University of Luxembourg & TU Munich) Postdoctoral Fellow at ETH Zurich (2022–2023) His research interests include blockchain security, MEV (Maximal Extractable Value) analysis, cross-chain interoperability, and privacy in Web3. Notable contributions include frameworks like Horus for attack detection in smart contracts and Elysium for automatic vulnerability patching. He actively participates in academic service, serving on program committees for major conferences like S&P, CCS, and USENIX. Recent work highlights cross-chain arbitrage dynamics, privacy leaks in web wallets, and centralized risks in blockchain infrastructure. His findings emphasize the need for decentralized solutions to counteract threats to blockchain liveness and finality. Key Awards: TLDR Research Fellowship (2024) Excellent Doctoral Thesis Award (2022) UBRI Impact Award (2022) He teaches courses on information security, dependable systems, and computer science foundations at IST and ETH Zurich. His work bridges theoretical computer science with practical blockchain security challenges, addressing both academic and industry needs.

Leonardo AzevedoView profile

Assistant Professor

• Geostatistics
• Reservoir Geophysics
• Seismic Inversion
• +4 more

Leonardo Azevedo is an Assistant Professor (with Habilitation since 2021) at the Department of Civil Engineering, Architecture and Georesources, Instituto Superior Técnico, University of Lisbon. His academic journey includes a PhD in Georesources from IST (2013), with visiting periods at Stanford University and Heriot-Watt University, and earlier degrees from Aveiro University. He specializes in geostatistical methods for reservoir characterization and seismic inversion, with applications to carbon sequestration, subsurface modeling, and environmental geophysics. Research interests focus on integrating geostatistics with advanced computational techniques, including machine learning and generative adversarial networks (GANs), to improve subsurface modeling accuracy. Key areas include seismic inversion for reservoir properties, uncertainty quantification, and geophysical data interpretation. He has supervised numerous PhD and MSc students, with topics ranging from geostatistical CO2 plume modeling to seismic oceanography. Awards include the Fulbright Scholarship (2018-2019) and recognition for top-tier SEG conference contributions (2015). His work has been published in journals like Geophysics , Computational Geosciences , and Mathematical Geosciences . He leads the EVOLVE team (2018) and advises student chapters of SEG and SPE. Current funded projects include the SMART project for marine debris monitoring and stochastic rock physics inversion research. His industry experience includes roles at Parallel Geoscience and CGG, bridging academic and applied geophysics.

• Digital Circuits
• VLSI Design
• Signal Processing
• +4 more

Paulo Flores holds the position of Associate Professor at the Department of Electrical and Computer Engineering within the Instituto Superior Técnico of the University of Lisbon. His academic career is deeply rooted in Electronics and Digital Systems, with a focus on VLSI design, FPGA optimization, and hardware acceleration for bioinformatics applications. He has contributed extensively to research in multiplierless constant multiplication algorithms, low-power circuit design, and quaternary logic implementations. Notable achievements include the SAT Competition 2014 and 2013 Bronze Medals for innovative contributions in formal methods and algorithmic efficiency. His teaching responsibilities include advanced courses in digital systems design, electronic engineering projects, and laboratory guidance in topics like operational amplifiers and FIR filters. Flores actively collaborates with research units like INESC-ID and has supervised multiple academic projects in electronic engineering and digital signal processing. Research interests span across circuit testing, embedded systems optimization, and multi-valued logic architectures. His work frequently explores trade-offs between computational efficiency and energy consumption in hardware implementations.

• High-Performance Computing
• Neuromorphic Engineering
• Bio-inspired Systems
• +7 more

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

Aleksandar IlicView profile

Assistant Professor

• High-Performance Computing
• Computer Architecture
• Heterogeneous Systems
• +4 more

Aleksandar Ilic is an Assistant Professor at the Department of Electrical and Computer Engineering (DEEC) at Instituto Superior Técnico (IST), University of Lisbon, and a Senior Researcher at the Signal Processing Systems (SiPS) Group at INESC-ID, Lisbon. His research focuses on high-performance computing, energy-efficient architectures, and heterogeneous systems. He holds a Ph.D. from IST, supervised by Prof. Leonel Sousa. Education: Ph.D. in Electrical and Computer Engineering, Instituto Superior Técnico (2014) M.Sc. in Electrical and Computer Engineering, University of Niš, Serbia (2007) Research Interests: His work emphasizes optimizing computational performance and energy efficiency in modern architectures, including GPUs, FPGAs, and multi-core CPUs. Key areas include epistasis detection in bioinformatics, cache-aware performance modeling (CARM), and parallel processing frameworks for heterogeneous systems. Recent projects like SparCity and IntelCARM aim to enhance sparse computation and roofline model applications. Awards & Grants: Intel Innovator Award (2020) HiPEAC Tech Transfer Award (2017) Multiple Excellence in Teaching Awards from IST students (2015–2020) Intel Research Grants (2018–2020) Advising & Labs: He supervises M.Sc. students in topics like FPGA acceleration for epistasis detection, GPU performance modeling, and secure embedded systems. His lab develops tools like CARM and collaborates on EU-funded projects such as SparCity.

• Grid Computing
• Distributed Systems
• Cloud Computing
• +7 more

João Nuno De Oliveira e Silva is an Assistant Professor at the Department of Informatics at Instituto Superior Técnico, University of Lisbon. He teaches Concurrent Programming, Systems Programming, and related courses during the 2024/2025 academic semester. His research focuses on distributed systems, grid computing, cloud computing, and cybersecurity, with notable contributions to secure dataflow programming for Android applications, blockchain-based agent collaboration, and distributed computing frameworks like NuBOINC. His work emphasizes parallel execution environments, resource efficiency in dataflow models, and secure middleware solutions for bags-of-tasks. Key research themes include: Grid and distributed computing architectures Secure distributed applications (e.g., SGX enclave migration, anti-repackaging systems) Cloud infrastructure optimization (A2Cloud, geo-replication QoS) Autonomous agent systems for internet routing domains Biometric authentication for legacy systems Automated biological monitoring systems Notable projects include Flowverine (privacy-sensitive Android apps), TEEnder (SGX enclave migration), and Mercury (automatic parallelization middleware). His work bridges theoretical computer science with practical implementations in distributed and cloud environments. He has collaborated on over 30 publications since 2017, focusing on both foundational research and applied systems development. His teaching and research emphasize hands-on experience with modern distributed computing challenges.

• cooperative multi-robot systems
• decentralized coordination
• resilient autonomy
• +6 more

Dr. Rui Paulo Pinto da Rocha is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Coimbra, with dual affiliation at the Institute of Systems and Robotics (ISR) since 2000. His career spans 15 years of academic leadership and 19 years of active research in cooperative robotics. Key affiliations include: Senior Member of IEEE (since 2021) Chair of the IEEE RAS Technical Committee on Multi-Robot Systems (since 2018) Coordinator of multiple EU-funded projects including REMOORA , EuroAGE+ , and SEMFIRE Research focuses on cooperative multi-robot systems with decentralized coordination, covering: Swarm robotics for aquatic resource monitoring Marsupial robot teams with communication constraints 3D volumetric mapping using entropy gradients Human-robot collaboration in urban fires Multi-sensor fusion for disaster response Edge computing for low-power inference Recent publications (2023-2025) demonstrate technical breadth across ROS cloud integration , semantic mapping , and human detection systems . Notable scientific contributions include: Development of Darwinian Swarm PSO algorithm Benchmarking framework for swarm exploration Communication-constrained coordination models Multi-robot patrolling optimization techniques As an educator, he supervises 2 PhD candidates and numerous MSc students, while teaching courses on autonomous systems, industrial automation, and software engineering. His laboratory leadership includes: Technical management of ISR research infrastructure (2014) Development of RACbot-RT real-time control system Advancements in multi-robot SLAM frameworks

João Carlos Roquete Fidalgo CantoView profile

Associate Professor

• Electrical Engineering
• Electronics
• Computer Science
• +4 more

João Carlos Roquete Fidalgo Canto serves as Associate Professor at the Faculty of Engineering, Lusofona University, and as researcher at the Copelabs unit (Cognitive and People-centric Computing) since 2012. He has maintained continuous academic engagement at Lusofona University since 2009 while holding full membership in the Order of Engineers since 2011. BSc in Electrical and Computer Engineering (2004), Instituto Superior Técnico, University of Lisbon MSc in Electrical and Computer Engineering (2006), Instituto Superior Técnico, University of Lisbon PhD in Electrical and Computer Engineering (2011), Instituto Superior Técnico, University of Lisbon His research spans Electrical Engineering, Electronics, and Computer Science with concentrated expertise in Telecommunications, Metamaterials, and Electromagnetic Wave theory. He specializes in geometric algebra applications for analyzing anisotropic media and metamaterials, with significant contributions to wave propagation in complex media including double negative (DNG) and chiral structures. His fingerprint reveals dominant work in Waveguide Physics, Surface Science, Modal Analysis, and Electromagnetic Radiation. Publication analysis shows consistent theoretical innovation from 2005-2013, with peak output in 2008 (4 conference papers) and 2011 (2 journal articles). His work demonstrates evolving focus from fundamental metamaterial waveguide analysis (2005-2008) toward advanced transformation optics applications (2013), maintaining core emphasis on electromagnetic wave behavior in engineered media. He has served on examination juries for 4 PhD theses and 5 Master's theses. As an active research collaborator, he participates in 4 projects including the Interreg Atlantic Area Programme's "Advancing towards litter-free Atlantic coastal communities" (2023-2026), where he contributes engineering expertise to environmental microplastic reduction. His primary research environment operates within Copelabs' Cognitive and People-centric Computing framework, leveraging university infrastructure through the BioRG Bioengineering & Sustainability Research Group and ECATI School of Communication, Arts and Information.

Ricardo Gonçalves MacedoView profile

Assistant Professor

• Storage Systems
• Operating Systems
• High-Performance Computing (HPC)
• +3 more

Ricardo Gonçalves Macedo is an Invited Assistant Professor at the University of Minho and a Researcher at INESC TEC's Distributed Storage Research (DSR) team since 2016. He holds a PhD in Computer Science (2023) from the MAP-i program at Universities of Minho, Aveiro, and Porto, focusing on user-level software-defined storage data planes. His research emphasizes storage systems and operating systems, addressing performance, reliability, and energy efficiency in large-scale I/O infrastructures. Key areas include kernel-bypass storage stacks, disaggregated resources, and HPC storage challenges. Recent work includes tools like LAZYFS for fault injection and PADLL for metadata QoS control. He leads projects like DisaggregatedHPC (energy-efficient resource disaggregation) and CDMS (healthcare data management). Ricardo has supervised over 10 theses at the University of Minho and contributes to open-source projects in storage optimization. His work is published in top venues like VLDB, IEEE Cluster, and FAST.

José Carlos Rufino AmaroView profile

Professor

• Parallel and Distributed Computing
• High Energy Physics
• Bioinformatics
• +4 more

José Carlos Rufino Amaro is a Professor at the Technology and Management School (ESTiG) of the Polytechnic Institute of Bragança (IPB) , Portugal. He holds an MSc (1998) and PhD (2008) in Distributed Systems and Parallel/Distributed Systems, respectively, from the University of Minho . Current roles: Professor at ESTiG/IPB, head of ESTiG Laboratory of Advanced Computing (since 2004), and IPB scientific/cluster computing infrastructures (since 2010) Research Interests span Parallel/Distributed Computing , with applications in High Energy Physics , Bioinformatics , Wireless Networks , and Numerical Optimization . His work includes deploying one of Portugal’s first wireless community networks in the early 2000s and leading R&D projects in heterogeneous computing, system virtualization, and RNA classification via the Resonant Recognition Model. Article Trends reflect a focus on GPU acceleration , packet capturing platforms , RNA preprocessing techniques , and honeybee genomics . His collaborations extend to domains like meteorological data reconstruction and stochastic epidemic modeling . Labs and Leadership : He has managed the ESTiG Laboratory of Advanced Computing since 2004, the ESTiG IT Centre since 2009, and IPB’s scientific clusters since 2010. He also served multiple terms as head of the Informatics Engineering degree program (1997–2002, 2014–2019).

Nelson RodriguesView profile

Researcher

• Intelligent Manufacturing
• Reconfigurable Manufacturing Control Systems
• Artificial Intelligence
• +5 more

Nelson Rodrigues is a Researcher at the Polytechnic Institute of Bragança (IPB) and a Ph.D. candidate at the University of Porto, conducting research since 2010 with involvement in H2020 PERFoRM and GO0D MAN projects, as well as FP7 ARUM and GRACE initiatives. His academic credentials include: Master of Science in Information Systems, Polytechnic Institute of Bragança His research centers on Intelligent and Reconfigurable Manufacturing Control Systems, investigating Artificial Intelligence applications for self-adaptive manufacturing evolution. Additional expertise spans Industry 4.0, Cyber-physical systems, Multiagent systems, Simulation, and Advanced Data Analytics, with emphasis on enhancing manufacturing flexibility through cutting-edge computational methods. Recent publication analysis reveals a strategic pivot toward energy systems optimization, particularly virtual power plants, utilizing high-performance computing, quantum annealing, and evolutionary algorithms. Concurrent research explores intelligent transportation frameworks, assistive robotics, and manufacturing business analytics, demonstrating interdisciplinary technical agility. He maintains active affiliations with LIACC - Artificial Intelligence and Computer Science Laboratory and the IEEE Technical Committee on Industrial Agents, contributing to over 29 publications with an h-index of 11. Research funding derives from European Union projects including H2020 PERFoRM and GO0D MAN, and FP7 ARUM and GRACE, where he developed intelligent manufacturing control architectures and service reconfiguration systems. Within LIACC and IEEE collaborations, he advances industrial agent technologies for real-time manufacturing adaptation, focusing on dynamic reconfiguration and human-in-the-loop cyber-physical production systems.

Benny ÅkessonView profile

Professor

• Cyber-physical systems
• Real-time systems
• Model-based engineering
• +3 more

Benny Åkesson is a Professor by Special Appointment at the University of Amsterdam, holding the Chair of Design Methodologies for Cyber-physical Systems since 2019. He is also a Senior Research Fellow at ESI (TNO) in Eindhoven. His research focuses on design methodologies for cyber-physical systems, particularly model-based engineering and real-time systems. Åkesson has authored over 60 peer-reviewed papers and two books on memory controllers for real-time embedded systems. He has held positions at Eindhoven University of Technology, Czech Technical University, and CISTER/INESC TEC in Porto. Education: MSc from Lund Institute of Technology (2005), PhD from Eindhoven University of Technology (2010). Research interests span cyber-physical systems, real-time systems, and embedded systems design. Notable contributions include work on mixed-criticality scheduling, memory controllers, and real-time resource management. Awards include the Outstanding Paper Award at RTNS 2019 and Best Paper Award at ESTIMedia 2015. Labs/Teams: Active in CISTER/INESC TEC Research Unit and ESI (TNO), collaborating on projects involving real-time embedded systems and cyber-physical architectures.

Enrico BiniView profile

Associate Professor

• Real-Time Systems
• Embedded Systems
• Control Theory
• +3 more

Enrico Bini is an Associate Professor at the Department of Computer Science, Università degli Studi di Torino, Italy. His research focuses on real-time systems, control theory, and embedded systems. He has contributed extensively to scheduling algorithms, resource management, and system optimization in both academic and practical contexts. His work spans topics such as feedback-based resource allocation, multiprocessor scheduling, and the design of predictable interconnected systems. Recent publications emphasize real-time control systems, low-latency task scheduling, and efficient resource utilization in heterogeneous environments. Bini’s articles highlight advancements in optimizing task execution times, minimizing jitter, and achieving fairness in multi-core systems. His research also includes contributions to Linux kernel modules for temporal verification and novel approaches to handling communication delays in networked control systems. No scientific awards or grants are explicitly mentioned in the provided materials. His advising record is currently empty. He is affiliated with the University of Turin and collaborates with institutions in formal methods and embedded systems research.

• Distributed Systems
• Data Management
• Dependability
• +4 more

Rui Oliveira is an Associate Professor at Universidade do Minho in Portugal, affiliated with the Distributed Systems Group. His research focuses on dependable distributed systems, fault-tolerant database systems, and large-scale distributed systems. He teaches Distributed Systems across undergraduate, master's, and doctoral programs. Research Interests His work spans epidemic communication protocols, data management in cloud environments, and high-performance transactional middleware. Recent contributions include frameworks for privacy-preserving machine learning (SOTERIA), distributed tracing (CAT), and fault-diagnosis tools for I/O behavior analysis. Key Contributions Developed the Loom disaggregated database system, the TADA distributed agreement toolkit, and the DATAFLASKS epidemic storage substrate. His work emphasizes practical implementations of scalable and resilient distributed systems. Labs/Teams Affiliated with HASLab (Hardware and Software Systems Laboratory), focusing on distributed systems research. Collaborates with industry on cloud computing and cybersecurity challenges.

• Antimicrobial Resistance
• Infectious Disease Epidemiology
• Bloodstream Infections
• +3 more

Dr. Alex Aiken serves as a Clinical Associate Professor in the Department of Infectious Disease Epidemiology and International Health at the London School of Hygiene & Tropical Medicine (LSHTM), where his research focuses on antimicrobial resistance (AMR) and infectious disease epidemiology in resource-limited settings across sub-Saharan Africa. His work bridges clinical practice and public health policy through large-scale epidemiological studies and intervention trials. His research portfolio centers on: Burden and mortality of AMR bloodstream infections Antibiotic treatment optimization and stewardship Infection prevention in maternity/neonatal units Environmental hygiene interventions in hospitals Policy evaluation for novel antimicrobial funding models Recent publications (2021-2025) reveal a dominant focus on AMR in African healthcare systems, featuring multi-country cohort studies (MBIRA), cluster-randomized trials (EWASH), and systematic reviews. While most work addresses bloodstream infections and antibiotic use, a 2025 computer science publication on GPU programming represents an unexpected interdisciplinary collaboration within his research network. Dr. Aiken's research is supported by major grants from the Bill & Melinda Gates Foundation (current genomic epidemiology study), Medical Research Council, and pharmaceutical partners. His findings directly inform WHO guidelines and national AMR action plans, with policy impact documented through government citations and clinical guideline references.