Find Academic Supervisors

Assoc Prof Anupam Chattopadhyay is an Associate Professor in the College of Computing & Data Science at Nanyang Technological University (NTU), Singapore. He also holds a courtesy appointment in the School of Physical & Mathematical Sciences. His research focuses on computer architecture, security, design automation, and quantum computing. Anupam received his PhD from RWTH Aachen University in 2008, followed by roles at CoWare R&D and RWTH Aachen as a Junior Professor before joining NTU in 2014. Education: B.E., Jadavpur University, India MSc, ALaRI, Switzerland PhD, RWTH Aachen University, Germany Research Interests: Anupam’s work spans quantum computing, hardware security, AI security, post-quantum cryptography, and emerging technologies. His contributions include novel high-level synthesis techniques for cryptography, reliability estimation flows for embedded processors, and exploration of coarse-grained reconfigurable architectures. His research has been featured in major outlets like The Economist and Asian Scientist. Awards: Borcher's plaque (2008) for outstanding doctoral dissertation Nomination for Best IP Award (ACM/IEEE DATE 2016) Nomination for Best Paper Award (International Conference on VLSI Design 2018) Advising & Grants: Anupam leads a team of over 20 researchers, overseeing projects funded by various grants. He has advised numerous doctoral students and collaborates with institutions like Temasek Labs and the Indian Statistical Institute. Labs & Teams: His research group focuses on advanced topics in secure computing, quantum-resistant systems, and hardware-software co-design, leveraging cutting-edge tools and platforms for next-generation technologies.

• Computer Architecture
• Computer Security
• Quantum Computing
• +5 more

Harry Xu is a Professor in the Computer Science Department at the Samueli School of Engineering , University of California, Los Angeles . His research spans computer systems, programming languages, compilers, and AI infrastructure. He co-founded BreezeML for GenAI risk management and has held visiting roles at Microsoft Research and IBM Watson Research Center. Current research focuses on user-defined clouds and AI application infrastructures Founded BreezeML and contributed to Niijima (SOSP'19) and Yak GC (OSDI'16) Developed VQPy, integrated into Cisco's DeepVision Scientific Awards 2018 Dahl-Nygaard Junior Prize ACM Distinguished Scientist Advising and Collaborations Current students: Shan Yu, Zhenting Zhu, Shu Anzai, Yicheng Liu Alumni: Shi Liu (Databricks), Jiyuan Wang (AWS), Haoran Ma (ByteDance AI Infra), Yifan Qiao (UC Berkeley), Christian Navasca (BreezeML), Pengzhan Zhao (BreezeML co-founder)

• Computer Systems
• Programming Languages
• Compilers
• +7 more

Andrei Popescu is a Senior Lecturer (Associate Professor level) in the Department of Computer Science at the University of Sheffield, where he conducts research in formal methods, proof assistants, and information flow security. He previously held academic positions at Middlesex University and TU Munich. University: University of Sheffield Department: Department of Computer Science Previous Affiliations: Middlesex University, TU Munich His research focuses on the logical foundations and practical applications of proof assistants, particularly Isabelle/HOL. He has made foundational contributions to inductive and coinductive datatypes, syntax with bindings, higher-order logic, and the formal verification of secure systems. His work bridges theoretical logic with real-world systems such as conference management (CoCon) and social media platforms (CoSMeDis). The recent publications highlight a strong trend in formalizing deep logical results (e.g., Gödel’s incompleteness theorems), advancing datatype theory, verifying complex security properties, and applying formal methods to practical systems. His work consistently appears in top-tier venues such as POPL, CAV, ITP, and CSF. Distinguished Paper Award at POPL 2025 Distinguished Paper Award at POPL 2024 Distinguished Paper Award at POPL 2023 RS 3 Best Paper Award for 2012–2013 He has advised PhD students including Lorenzo Gheri and has been actively involved in organizing major academic events such as the Midlands Graduate School, CPP, ITP, and TABLEAUX conferences. He has served on numerous program committees including POPL, ITP, CSF, and CAV, and has led research projects funded by VeTSS and industrial partners. He is a key contributor to the Isabelle proof assistant ecosystem, particularly in the development of the (co)datatype package and foundational consistency results. His work combines deep theoretical insight with practical implementation, making significant impacts in both academia and applied security.

• Proof Assistants
• Formal Verification
• Inductive and Coinductive Datatypes
• +12 more

Michael E. Cotterell is a Senior Lecturer of Computer Science and Undergraduate Coordinator at the University of Georgia's School of Computing. He holds a B.S. (2011) and Ph.D. (2017) in Computer Science from UGA. His roles include directing the Computer Science Undergraduate Assistant (CSUA) and UGAHacks experiential learning programs. He chairs the Undergraduate Program & Curriculum Committee and serves on UGA’s University Council. Dr. Cotterell’s teaching career began in 2012 with Software Development courses, transitioning to full-time instructor in 2015. He has won multiple teaching awards, including the Teaching Excellence in Computer Science Award (2018, 2020) and was promoted to Senior Lecturer in 2021. He has also served as a UGA Online Learning Fellow, Writing Fellow, and Teaching Academy Fellow. His research interests span computational education, active learning methodologies, and technical fields like big data analytics, ontology-based semantics, and energy informatics. His work bridges pedagogical innovation with applied computational science. Dr. Cotterell’s publications focus on improving educational practices, predictive analytics, and interdisciplinary applications of computer science. His most recent work emphasizes student sentiment analysis in active learning environments and scalable energy systems modeling. Awards include the 2016 Outstanding Faculty Teaching Award and multiple fellowships recognizing his contributions to pedagogy and online education. He oversees undergraduate program development and coordinates experiential learning initiatives, emphasizing hands-on learning through hackathons and assistantship programs.

• Computer Science Education
• Active Learning
• Big Data Analytics
• +3 more

Mae Milano is an Assistant Professor in the Department of Computer Science at Princeton University. She joined in 2024 after earning her Ph.D. from Cornell University in 2020. Her research focuses on designing programming languages to address challenges in distributed systems, with particular emphasis on concurrency safety, language interoperability, and formal verification. Education: Ph.D. in Programming Languages and Systems, Cornell University, 2020 Research Interests: Milano's work bridges programming languages and distributed systems. She develops type systems for safe concurrency (e.g., fearless concurrency ), designs languages for distributed state management (e.g., Gallifrey, Hydro), and explores compiler techniques for interoperability between systems. Her projects include: Fearless Concurrency – Safe shared-memory programming Gallifrey – Language for geographically distributed applications Hydro – Cloud-native programming models Grants & Collaborations: Milano collaborates with researchers like Alvin Cheung (University of Washington) and Joseph M. Hellerstein (UC Berkeley). Her work has been supported by projects such as the Hydro Framework and the Gallifrey language initiative. Labs & Teams: She leads the Princeton Systems Group and collaborates with the Programming Languages Group , fostering interdisciplinary research between PL and distributed systems.

• Programming Languages
• Distributed Systems
• Systems & Networking
• +3 more

Hubie Chen is a Senior Lecturer in the Department of Informatics at King's College London, part of the Faculty of Natural, Mathematical & Engineering Sciences. Prior to working in the UK, he was an Ikerbasque Research Professor in Donostia-San Sebastian, Spain. He has held invited positions at institutions such as École Polytechnique, Humboldt-Universität zu Berlin, and Universität Wien. Dr. Chen received his PhD and BS degrees in computer science and mathematics from Cornell University and Stanford University, respectively. His academic career spans multiple prestigious institutions across Europe and the United States, demonstrating his international recognition in theoretical computer science. Dr. Chen's research focuses on the theoretical foundations of computer science, with particular expertise in database theory, logic in computer science, computational complexity, and constraint satisfaction. His work bridges theoretical computer science with practical database applications, exploring the fundamental limits and possibilities of computation and data management. His recent book "Computability and Complexity" published by MIT Press provides a comprehensive introduction to automata theory, computability theory, and complexity theory, including parameterized complexity. Dr. Chen's publication record demonstrates a consistent contribution to top-tier theoretical computer science venues. His recent work shows a strong focus on constraint satisfaction problems, database query theory, and computational complexity. He has made significant contributions to understanding the theoretical foundations of database queries, constraint satisfaction, and computational complexity, with publications in prestigious venues such as Computational Complexity, ACM Transactions on Computation Theory, and proceedings of ICDT, PODS, and LICS. Dr. Chen has received recognition for his work, including the ICDT 2017 Best Paper Award. His research has been supported by the Engineering and Physical Sciences Research Council (EPSRC), with active projects on "Algebraic methods for Quantified Constraints" (2024-2026) and "Query Evaluation" (2023-2026). Within King's College London, Dr. Chen is affiliated with the Software Systems Group and contributes to the broader research ecosystem of the Department of Informatics, which includes hubs for Trusted Autonomous Systems, Finance (FinTech), Algorithms and Data Analysis, and Security.

• Database theory
• Logic in computer science
• Computational complexity
• +3 more

Georgios Manis is an Associate Professor in the Department of Computer Science and Engineering at the School of Engineering, University of Ioannina, Greece. He holds a PhD from the National Technical University of Athens and has been a faculty member at the University of Ioannina since 2002, progressing from Lecturer to Associate Professor in 2018. He has also served as temporary teaching staff at the University of Patras, University of Crete, and University of Ioannina in the late 1990s and early 2000s. Education: B.Sc. in Computer Engineering (Diploma), National Technical University of Athens (NTUA), 1987–1992 MSc in Advanced Methods in Computer Science (Distributed and Parallel Systems), Queen Mary, University of London, 1992–1993 PhD in Computer Engineering, NTUA, School of Electrical and Computer Engineering, 1993–1997 His research interests lie at the intersection of Biomedical Engineering and Computing Systems , with a strong emphasis on Biomedical Signal Processing , Entropy Analysis , and Machine Learning . He has pioneered work in Bubble Entropy —a parameter-free entropy measure—and developed fast algorithms for entropy computation. His work also extends to compiler design and parallel computing, particularly in the automatic parallelization of recursive functions and loops. The trends in his recent publications reflect a dual focus: (1) biomedical applications involving entropy, heart rate analysis, and disease diagnosis using machine learning (especially Random Forests and SVMs), and (2) high-performance computing, including parallelization techniques and compiler optimizations for multi-core and SVP architectures. His research is highly interdisciplinary, combining signal processing, algorithm design, and clinical applications. Scientific Leadership and Recognition: Guest Editor, Special Issue on “Entropy in Biomedical Engineering”, Entropy (MDPI) Member of the IPAN Laboratory, University of Ioannina Active contributor to IEEE, Elsevier, and MDPI journals He has supervised several graduate students and is involved in funded research projects such as Palimpsest and Homore , focusing on smart systems for cultural interaction and elderly monitoring. His advising contributions are evident in co-authored papers with students like Evanthia Tripoliti and Aristeidis Mastoras. He teaches both undergraduate and postgraduate courses, including Compilers I/II and Biomedical Data Analysis . Laboratories and Teams: He is a member of the IPAN lab at the University of Ioannina, which supports interdisciplinary research in informatics and biomedical applications. His collaborative network includes researchers from Greece and abroad, particularly in the fields of biomedical signal analysis and entropy-based methods.

• Biomedical Engineering
• Biomedical Signal Processing
• Entropy Analysis
• +7 more

Salvador Garrigues Mateo is a Professor at the University of Valencia in the Faculty of Chemistry and Department of Analytical Chemistry . He leads the research group SOLINQUIANA (Solutions & Innovation in Analytical Chemistry) , focusing on green analytical chemistry and innovative spectroscopic methods. Education: PhD in Analytical Chemistry from the University of Valencia (1993) with a thesis on Quantitative analysis by Fourier Transform Infrared Spectrometry . Research Interests: Green Analytical Chemistry, Fourier Transform Infrared Spectroscopy (FTIR), Ion Mobility Spectrometry (IMS), environmental and biomedical analysis, sample preparation techniques, and forensic chemistry. His recent publications highlight trends in environmental analysis (wastewater drug monitoring, bioaerosol assessment), forensic chemistry (illicit drug detection, synthetic cannabinoids), and green sample preparation (natural sorbents, microextraction techniques). He also contributes to food analysis (oil degradation, essential oil authentication) and biomedical applications (urinalysis for drug exposure, serum diagnostics). His work emphasizes green chemistry principles , focusing on reducing solvent consumption, developing non-invasive testing protocols, and applying chemometrics for improved analytical accuracy. He has published extensively on spectroscopic methods for both environmental and clinical applications, often combining FTIR with ion mobility spectrometry for enhanced detection capabilities. Contact: salvador.garrigues@uv.es

• Analytical Chemistry
• Green Analytical Chemistry
• Environmental Analysis
• +6 more

Dr. Alan William Dougherty is a Lecturer at the School of Computing and Data Science, University of Hong Kong. He holds an MEng in Electronic Engineering from King’s College London (2013) and a PhD from Hong Kong Polytechnic University (2019), where he received the prestigious Hong Kong PhD Fellowship. His professional background includes engineering roles in compiler design for edge AI on FPGAs, autonomous robotic systems, and computer vision applications such as human emotion classification and 3D mesh generation from single images. Affiliations: School of Computing and Data Science (HKU) Research Interests: Computer Vision, Machine Learning, Medical Robotics, Edge AI, Autonomous Systems His research spans interdisciplinary areas including immersive online learning systems, human pose estimation using transformers, and computational material science for energy applications. Notable contributions include the SAILS platform for young learners and advanced catalyst discovery methodologies. He integrates practical engineering challenges with theoretical research to address real-world problems. Dr. Dougherty has been recognized for his work with awards such as the Hong Kong PhD Fellowship. His teaching philosophy emphasizes bridging theory and practice, fostering critical thinking in emerging tech fields.

• Computer Vision
• Machine Learning
• Medical Robotics
• +3 more

Anne C. Elster is a Professor in the Department of Computer Science at the Norwegian University of Science and Technology (NTNU), within the Faculty of Information Technology and Electrical Engineering. She is the founder and director of the HPC-Lab, a leading research group in heterogeneous and parallel computing. She also maintains a long-standing affiliation with the Oden Institute at the University of Texas at Austin as a Senior Visiting Scientist until Summer 2025. Research Interests: Her work spans high-performance computing (HPC), GPU computing, parallel algorithms, auto-tuning, performance optimization, and machine learning applications in scientific computing. She leads research in heterogeneous architectures and has contributed significantly to compiler and runtime systems for GPUs and accelerators. Publications Trends: Her recent publications (2021–2024) focus on GPU acceleration, auto-tuning frameworks (e.g., BAT, LS-CAT), performance modeling (Roofline), machine learning integration in HPC, and applications in geophysical and scientific computing. There is a strong emphasis on empirical evaluation, benchmarking, and practical optimization techniques. Scientific Awards and Recognition: IEEE Senior Member (2000) IEEE Computer Society Distinguished Contributor Charter member, NTNU's Board (2021) Distinguished Speaker, IEEE Computer Society (2019–2022) Advising and Grants: She has advised over 100 master’s students and several PhD students. She has led major funded projects including the RCN SFI Centre for Geophysical Forecasting, EU H2020 CloudLightning and TICOH, and NFR FRINATEK on Computational Microscopy. She has served on numerous international program committees and evaluation boards. Labs and Teams: She leads the HPC-Lab at NTNU, which includes postdocs, PhDs, and master’s students, and collaborates with international researchers. The lab is a hub for innovation in GPU computing, auto-tuning, and HPC applications.

• High Performance Computing
• Parallel Computing
• Heterogeneous Computing
• +12 more

Louis-Noël Pouchet is an Associate Professor in the Department of Computer Science at Colorado State University, with a joint appointment in the Electrical and Computer Engineering department. He leads research in high-performance computing, focusing on polyhedral compilation, performance portability, and hardware-software co-design. His research interests include polyhedral compilation, iterative and adaptive compilation, machine learning for compilers, performance-oriented domain-specific languages, energy-aware program optimization, and high-level synthesis. He develops compiler technologies to optimize and parallelize code for heterogeneous platforms, with applications in scientific computing and embedded systems. The 15 most recent publications highlight a strong focus on compiler optimization for high-performance systems, particularly using the polyhedral model. Key themes include data locality, parallelization, vectorization, memory access optimization, and performance modeling. His work spans both theoretical advances in program transformation and practical implementations in tools like PoCC and PolyOpt. Member, Center for Domain-Specific Computing (NSF) Member, DSL Technology for Exascale Computing (DoE) Lead, Polyhedral Compilation Research (NSF and Intel ISRA) Former member, Platform-Aware Compilation Environment (DARPA) He teaches courses on polyhedral compilation and has developed widely used software tools such as PoCC, PolyBench/C, and PolyOpt/C. His research is supported by major funding agencies including NSF, DoE, and Intel.

• polyhedral compilation
• iterative and adaptive compilation
• auto-tuning compilers
• +15 more

Florian Borgwardt is an Assistant Professor at the University of Natural Resources and Life Sciences, Vienna , affiliated with the Institute of Hydrobiology and Aquatic Ecosystem Management under the Department of Natural Sciences and Sustainable Resources . His work focuses on river ecology, freshwater biodiversity, and the impacts of climate change and human activities on aquatic systems. He leads projects on river restoration, thermal regime analysis, and sustainable water resource management across Europe, often integrating GIS and species distribution modeling. Research Focus River network connectivity and fragmentation Climate change effects on fish populations Aquatic-terrestrial ecosystem interactions Hydropower and water temperature dynamics Biodiversity conservation in freshwater systems Meta-ecosystem frameworks for restoration Scientific Awards 2020: Primus von Quack Preis - Publikationspreis Institut für Hydrobiologie und Gewässermanagement 2018: Reinhard Liepolt-Preis für Donauforschung Publications and Projects Borgwardt has published extensively on river restoration, fish ecology, and climate-water interactions, with recent work analyzing pan-European restoration needs and hydropower impacts on connectivity. He contributes to EU-funded initiatives like DANUBElifelines and NaturaConnect , addressing free-flowing rivers and ecological networks.

• River Ecology
• Freshwater Biodiversity
• Water Temperature Dynamics
• +4 more

Matthew J. Parkinson is a Principal Researcher at Microsoft Azure Research in Cambridge, UK. His work focuses on memory and concurrency safety , with significant contributions to formal verification , systems programming , and language design . He actively participates in academic communities as a session chair and committee member for conferences like OOPSLA , PLDI , and ISMM . Research Trends : His recent publications (2023-2025) emphasize dynamic region ownership , wait-free reference counting , and allocator optimization for concurrent systems. These works span systems programming , formal verification , and domain-specific language tools , reflecting his interdisciplinary approach. Conference Contributions : Parkinson has served as session chair for tracks including MPLR Session 2 (2023) and PLDI: Memory Models & Program Logics (2023). He has also contributed to program committees for POPL , IWACO , and The Future of Weak Memory (2024).

• Verification
• Runtimes
• Compilers
• +6 more

Xiaoxing Ma is a Professor at the State Key Laboratory for Novel Software Technology , Nanjing University , focusing on Software Engineering , Self-adaptive Software Systems , and Software Engineering for Machine Learning . His recent work bridges neuro-symbolic reasoning and formal verification. Key research areas: Software Engineering, Self-adaptive Systems, Neuro-symbolic AI Awards: China National Awards (2006, 2011), MOE Award (2010), CVIC SE Award (2009) His 2023-2024 publications emphasize: Formal semantics for hardware description languages (Verilog) Neuro-symbolic frameworks for mathematical reasoning Dynamic update verification and CRDT model checking LLM-driven API migration and traceability recovery He serves as Program Co-Chair for SEAMS 2024 and contributes to major software engineering conferences (ICSE, ASE, FSE, PLDI).

• Software Engineering
• Self-adaptive Software Systems
• Software Engineering for Machine Learning
• +3 more

Lingkun Kong is a researcher at Rice University, United States, actively contributing to programming languages, compiler optimization, and high-performance computing. His work focuses on regular expression matching, bit-parallel algorithms, and hardware-software co-design. Recent Research Trends: Analysis of automata-based regex engines, GPU acceleration for pattern matching, and domain-specific languages for streaming data. Publications span venues like SPLASH, PLDI, and OOPSLA tracks.

• Computer Science
• Software Engineering
• Parallel Computing
• +3 more