Find Academic Supervisors

Paweł MalczykView profile

Associate Professor

• Multibody Systems
• Optimal Control
• Robotics
• +3 more

Paweł Malczyk is an Associate Professor and Head of the Department of Theory of Machines and Robots at the Faculty of Power and Aeronautical Engineering, Warsaw University of Technology. He holds a D.Sc. (habilitation), Ph.D., and M.Eng. His research focuses on multibody systems, optimal control, data-driven modeling, and high-performance computing. He leads the division and oversees research in kinematics, dynamics, and control of complex systems. Key research interests include multibody dynamics simulation, optimal control methods, parallel computing, and applications of machine learning in system modeling. His work emphasizes algorithm development for efficient dynamics simulations and real-time control. Selected articles span topics like neural-network-based inverse dynamics, divide-and-conquer algorithms, and FPGA acceleration. His contributions address both theoretical advancements and practical implementations in robotics and mechanical systems. Malczyk teaches courses on automation, control systems, and multibody dynamics. His lab focuses on computational mechanics and real-time systems, with ongoing projects in parallel algorithms and data-driven control strategies.

Rajit ManoharView profile

Professor

• Asynchronous VLSI Design
• Concurrency
• Formal Methods
• +5 more

Rajit Manohar is the John C. Malone Professor of Electrical & Computer Engineering at Yale University, with appointments in Applied & Computational Mathematics and Computer Science. He is a core member of the interdisciplinary Computer Systems Lab (CSL), which bridges ECE and CS departments. His research focuses on asynchronous VLSI design, neuromorphic computing, and hardware-software co-design. Education: Manohar holds a B.S., M.S., and Ph.D. from the California Institute of Technology. His academic career spans over two decades, with notable contributions to asynchronous circuit theory and neuromorphic engineering. Research Interests: Manohar's work emphasizes energy-efficient asynchronous architectures, concurrency control, and biologically inspired computing. He explores topics like formal methods for circuit verification, cognitive systems, and dynamic sensor networks. His lab develops tools like Fluid (asynchronous synthesis) and Neurobench (neuromorphic benchmarking). Publications: Recent work includes advancements in asynchronous logic synthesis (Maelstrom), neuromorphic frameworks (Neurobench), and scalable brain-computer interfaces (SCALO). His research often intersects NSF-funded projects in energy-aware computing and neuromorphic systems. Awards: Inaugural Misha Mahowald Prize (2025), MIT TR35 (2000s), IBM Goldberg Award (2023) Grants & Labs: Manohar leads NSF-supported initiatives in carbon-aware networking and neuromorphic hardware. The Computer Systems Lab collaborates across disciplines to advance sustainable computing and neuro-inspired architectures.

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.

Jose Manuel Claver IborraView profile

Professor

• Parallel and Distributed Computing
• Cloud Computing
• Video Coding
• +7 more

Dr. José Manuel Claver Iborra is a Full Professor at the Department of Computer Science, School of Engineering (ETSE-UV), University of Valencia. He holds a PhD in Computer Science (Parallel and Distributed Computing program) from the Technical University of Valencia and an MSc in Physics (specialized in Electronics and Computer Science) from the University of Valencia. As an IEEE Senior Member, he focuses on cloud computing, video coding, parallel/distributed systems, reconfigurable computing, and network protocols for real-time applications. Current Research: Cloud-based video encoding, GPU acceleration for DNA analysis, FPGA-based network protocols, and indoor localization systems Academic Leadership: Coordinator of the UV-Tirant node in the Spanish Supercomputing Network (RES) His recent publications analyze GPU-based motion estimation, heterogeneous computing for video standards (H.264/AV1), and QoS scheduling algorithms. He supervises PhD and Master's theses on sensor networks, FPGA programming platforms, and parallel applications. Scientific Awards IEEE Senior Member He has directed funded projects on cloud infrastructure, distributed video processing, and reconfigurable systems since the 1990s.

• Particle Physics
• Nuclear Physics
• Beam Dynamics
• +3 more

Emanuele Laface serves as a Research Fellow within the Particle and Nuclear Physics division at Lund University's Department of Physics, Faculty of Science. His work is deeply integrated with the European Spallation Source (ESS) project, focusing on critical aspects of particle accelerator development and operation. His research expertise spans multiple interconnected domains: Advanced beam dynamics and control systems for particle accelerators Computational physics methods for particle beam simulation Design and optimization of multipole magnets for beam shaping Ion source and low energy beam transport systems High-performance computing applications in accelerator physics Particle accelerator control software frameworks Analysis of his publication record reveals a strong technical focus on solving practical engineering challenges in accelerator physics through innovative computational approaches. His work on FPGA-based computing platforms, phase-space decoupling methods, and covariant Hamiltonian formulations demonstrates both theoretical depth and practical implementation skills. The recurring ESS theme across his publications indicates sustained contribution to this major international facility. Dr. Laface maintains an active collaborative network with international research teams working on the ESS project, as evidenced by his multi-author publications involving researchers from various institutions. His technical contributions span from fundamental theoretical developments to practical implementation of accelerator control systems.

• High-Energy Physics Detectors
• Digital System Design (FPGAs)
• Sensor Systems and Networks
• +3 more

Roles & Affiliations: Kyriakis-Bitzaros Efstathios is a Lecturer in the Department of Electrical and Electronic Engineering at the University of West Attica, part of the School of Engineering. He is affiliated with the Electronics and Computer Technologies Laboratory (ECTLab) and teaches courses like Digital System Design and Operating Systems. His office is located at ZB206, Building Z, Ancient Eleonas Campus. Holds a PhD in Electrical Engineering and a Physics degree from the University of Patras (1994 and 1987, respectively). Research Interests: Focuses on high-energy physics detector electronics, FPGA-based digital systems, sensor array interfaces, energy harvesting for microcontrollers, and optoelectronic interconnects. His work includes contributions to the ATLAS experiment at CERN, including the New Small Wheel detector and MicroMegas electronics. Publications Overview: Over 30 publications spanning topics like high-luminosity LHC upgrades, reconfigurable embedded systems, and optoelectronic simulations. Recent work includes advancements in detector electronics for CERN experiments and energy-efficient sensor networks. Labs & Teams: Leads the ECTLab, focusing on electronics and computer technologies. Collaborates on projects like the ATLAS detector upgrades and smart sensor systems.

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

Anthony GoodacreView profile

Professor

• Computer Architecture
• High-Performance Computing (HPC)
• Embedded Systems
• +7 more

Anthony Goodacre is a Professor of Computer Architectures at the School of Computer Science, holding a part-time role while serving as Director of Technology and Systems at ARM Ltd. in Cambridge. He leads research spanning nanotechnology, hardware design, operating systems, and heterogeneous runtimes, with a focus on scalable, power-efficient systems for embedded, enterprise, and HPC applications. Research interests include: Exascale computing through EU-funded projects like EUROSERVER and ExaNoDe 3D silicon integration and system virtualization for heterogeneous architectures Quantum-classical programming languages (e.g., Quff) Power management techniques like cyclic power-gating Memory models and runtime systems for ARM-based data centers His 15 most recent publications highlight trends in FPGA acceleration, radiation-hardened MPSoC systems, and hybrid quantum-classical programming. Contributions to EU FP7/H2020 projects (e.g., EUROSERVER, ExaNEST) emphasize commercialization of ARM technology for exascale computation. Current collaborations include: KALEAO Limited (CSO/CTO since 2015) ARM Ltd. (Director since 2002) Technology Strategy Board (member since 2015) Academic partnerships in EU H2020 projects He co-supervises two PhD students and contributes to policy discussions, including parliamentary select committee evidence. His work aligns with UN SDGs for energy efficiency and sustainable computing.

Sebastian HackView profile

Professor

• Compiler Construction
• Domain-Specific Languages
• Program Analysis
• +6 more

Sebastian Hack is a Professor of Computer Science at Saarland University since 2010. He previously served as an assistant professor at the same university (2008-2010), a Post-Doc at EPFL in the LAMP lab, and a Post-Doc with INRIA at ENS Lyon. His research focuses on compiler construction, domain-specific languages, program analysis and synthesis, code generation, and vectorization. Recent publications highlight advancements in program synthesis (Sorting Kernels), memory safety instrumentations, automatic differentiation frameworks (MimIrADe), microarchitectural analysis (AnICA), and GPU acceleration for bioinformatics (Anyseq/gpu). His work bridges theoretical compiler design with practical applications in high-performance computing and security. He has held administrative roles as Dean of Study Affairs (2012-2014) and Dean of the Department of Mathematics and Computer Science (2018-2020). His software contributions include libFirm and GrGen , and he maintains active involvement in projects like AnyDSL and UniAna.

• Soil Science
• Agricultural Engineering
• Materials Science
• +3 more

Rui Machado is an academic affiliated with the University of Algarve, University of Évora, and Embrapa. His research spans diverse fields including soil science, materials science, biotechnology, and environmental science. He has published extensively on topics such as soil salinity management, FPGA-based hardware design, and hydrogel-based cancer therapies. His work on tomato root distribution and irrigation regimes has contributed to agricultural sustainability. Machado's recent studies focus on combating skin cancer using advanced biomaterials and analyzing agroforestry systems in Portugal. He has developed computational tools like StemChecker for stem cell research and databases for molecular interaction networks. His interdisciplinary approach bridges engineering, biology, and environmental science. Research Highlights: Leadership in hydrogel applications for medical treatments Pioneer in FPGA-based time-to-digital converter optimization Expertise in soil management and crop physiology Creator of UniHI database for human molecular interactions

Peter MatherView profile

Senior Lecturer

• Signal Processing
• Electronics Engineering
• Renewable Energy Systems
• +6 more

Dr. Peter Mather is a Senior Lecturer in the Department of Engineering at the School of Computing and Engineering, University of Huddersfield. He leads the Complex Pathway program and is affiliated with the Centre for Efficiency and Performance Engineering and the Secure Societies Institute. His research spans analogue/digital electronics, sensor networks, and sustainable technology. PhD in 'Performance optimisation of VLSI circuits' (University of Huddersfield, 1995) MEng/BEng Electronics Course Leader since 2003 Research focuses on non-linear ADC development , partial discharge sensor networks , weapon detection , renewable energy systems , and optical coding via FPGA . His work contributes to UN SDGs for sustainable energy and security technologies. Recent publications analyze WLAN architectures, chaotic ADCs, and radiometric localization techniques. Scientific contributions include: 15+ publications in 2021 (3) and 2020 (2) with Scopus citations Expertise in wireless sensor networks, pulse position modulation, and visible light communication KTP award for radiation detection innovation (2018) He supervises PhD students in signal measurement and FPGA-based optical coding schemes, leveraging expertise in VHDL implementation and Sigma-Delta ADCs.

Anton BurtsevView profile

Associate Professor

• Operating Systems
• Computer Security
• Formal Verification
• +3 more

Anton Burtsev is an Associate Professor at the Kahlert School of Computing, University of Utah. His research focuses on redefining operating system architectures to address modern challenges like security attacks, data center workloads, and heterogeneous hardware. He leads the Mars Research Group, developing systems like the formally verified Atmosphere microkernel in Rust/Verus, and the high-performance DRAMHiT hash table. Key projects include Rust for Linux kernel integration, verified drivers (Veld), and isolation mechanisms like RedLeaf OS. Research interests include kernel isolation, formal verification, language safety (Rust), and overcoming the memory wall. Current work emphasizes clean-slate OS designs and retrofitted security solutions for existing kernels. Collaborative projects include Horizon (secure scientific cloud computing) and RedLeaf OS verification efforts. Advising undergraduate to PhD students interested in OS research. Notable grants include NSF CAREER (NgOS) and collaborative NSF grants on verified systems. Active in the MARS reading group and open-source contributions via repositories.

Rainer HöckmannView profile

Researcher

• Digital Technology
• Microprocessor Systems
• FPGA Accelerators
• +4 more

Rainer Höckmann is a Researcher at the Laboratory for Digital and Microprocessor Technology , part of the Faculty of Engineering and Computer Science at Osnabrück University of Applied Sciences . Since 2008, he has focused on digital systems, FPGA accelerators, and wireless network concepts. Education: Diplom-Ingenieur (FH) in Computer Science (2006) Research interests include: Digital and microprocessor technology FPGA-based hardware acceleration Embedded microcomputing systems Compiler construction and sensor technology Wireless network relaying strategies Quality-of-service mechanisms in telecom networks His publication trends show expertise in: Cooperative relaying topologies Multimedia broadcasting enhancements Portable FPGA design frameworks Next-gen network concepts Teaching activities include: Bildgebende Sensortechnik Compilerbau Digitaltechnik Embedded Systems Hardware/Software Co-Design Rechnerarchitektur Professional projects : HPVis visual data project (2012-2014) C-MOBILE (mobile multicast/broadcast) C-CAST (context-dependent data transport)

Mohammad SadoghiView profile

Professor

• Database Systems
• Distributed Systems
• Blockchain Technology
• +5 more

Mohammad Sadoghi is a Professor in the Department of Computer Science at University of California, Davis, where he leads the Exploratory Systems Lab. His research spans database systems, distributed computing, and blockchain technologies with over 54 publications from 2007-2025 and more than 900 citations. His primary research domains include: Distributed database transactions Byzantine fault tolerance Consensus protocols Event processing systems Blockchain applications Database indexing techniques Prof. Sadoghi's publication trajectory shows evolution from foundational work on boolean expression indexing and event processing to cutting-edge research on blockchain consensus mechanisms. His recent work (2023-2025) demonstrates significant contributions to understanding BFT protocols, with publications in top venues like VLDB, EuroSys, and IEEE TKDE. His research bridges theoretical analysis with practical implementations, particularly focusing on performance optimization and security in distributed environments. His notable recognition includes: ACM Senior Member (2020) Prof. Sadoghi has advised multiple doctoral students who have become active researchers in distributed systems, including Suyash Gupta and Thamir M. Qadah. His lab has secured research funding for projects spanning database engines, consensus protocols, and blockchain infrastructure. The Exploratory Systems Lab maintains strong industry and academic collaborations worldwide, with recent work focusing on edge-cloud consensus applications and high-performance data management systems.

Dustin RichmondView profile

Assistant Professor

• Computer Architecture
• FPGA
• RISC-V
• +4 more

Dustin Richmond is an Assistant Professor in the Department of Computer Science and Engineering at the Baskin School of Engineering, University of California, Santa Cruz. His work focuses on secure, usable hardware systems with applications in FPGA acceleration, RISC-V architectures, and side-channel analysis. Email: drichmond@ucsc Office: Engineering 2, Room 221 Research Interests: Secure hardware systems FPGA-based computing Manycore processors High-level synthesis Side-channel vulnerabilities Notable Article Trends: Recent publications emphasize cloud FPGA security, manycore design optimization, and hardware security. Earlier works focus on RISC-V acceleration, OpenCL compiler enhancements, and heterogeneous computing systems. GitHub Contributions: Maintains open-source projects like RISC-V-On-PYNQ and PYNQ-HLS, addressing FPGA programming challenges and RISC-V integration. Active in resolving community issues related to toolchain compatibility and hardware-software interfaces.