Find Academic Supervisors

Nikolaos PapaspyrouView profile

Professor

• Programming Languages
• Software Engineering
• Formal Verification
• +4 more

Nikolaos Papaspyrou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA) and a member of the Software Engineering Laboratory . His research focuses on the theory and implementation of programming languages, including semantics, type systems, compilers, static analysis, and formal verification. Since October 2021, he has been on leave from NTUA, working as a Software Engineer for Google in the memory management team for the V8 JavaScript and WebAssembly engine. He previously served as Director of the Division of Computer Science (2017-2019) and was on sabbatical with Google's compiler group in Munich (2015-2016). His work includes the RELEASE project (EU FP7 STREP) for reliable large-scale server software and uncertainty handling in distributed databases (European Social Fund). Ph.D. and Diploma in Electrical and Computer Engineering from NTUA M.Sc. in Computer Science from Cornell University His research interests span programming languages , software engineering , and formal verification , with recent publications on coinductive proofs in Liquid Haskell, concurrency semantics, and quantum compilation. He has supervised over 50 diploma projects and mentored numerous students now at institutions like MIT, Princeton, and UC Berkeley. Awards include conference organizing and program committee roles, though no formal scientific prizes are listed.

Rodriguez Zalepinos Ramon AntonioView profile

Associate Professor

• distributed systems
• databases
• Big data
• +6 more

Dr. Ramon Antonio Rodriguez Zalepinos is an Associate Professor at the Department of Software Engineering, Faculty of Computer Science, National Research University Higher School of Economics (HSE). With 16+ years of scientific and teaching experience, he specializes in geospatial data systems, distributed databases, and high-performance computing. Doctor of Science in Computer Science (2024) Candidate of Technical Sciences (2013) Master's in Computer Science (2008, Donetsk National Technical University) His research focuses on geospatial array databases , distributed systems , and Big Earth Data engineering , particularly through his ChronosDB and Quantum Tensor DBMS projects. He has pioneered cloud-native solutions for multi-terabyte environmental datasets and developed novel approaches for in-database road traffic simulations. Key publication trends show 7+ years of contributions to VLDB and SIGMOD conferences, with special emphasis on: Quantum-enhanced geospatial processing Web-based array database systems Cellular automata integration High-speed raster data aggregation Scientific recognition includes: Best Teacher award (2017-2021, 2023) HSE Personnel Reserve member Additional post-doctoral funding (2024-2027) Multiple publication bonuses (2019-2023) He supervises student research in geospatial data science and leads projects on satellite data processing systems, with implementations at major institutions including Amazon and Planet Labs.

Matthias BaitschView profile

Professor

• Construction Informatics
• Numerical Methods
• Structural Optimization
• +3 more

Matthias Baitsch serves as Professor of Construction Informatics and Numerical Methods in the Department of Civil and Environmental Engineering at Bochum University of Applied Sciences, where he concurrently heads the BIM Institute. His academic trajectory includes research assistant and senior engineer roles at Ruhr-University Bochum (2000-2009), academic coordination at the Vietnamese-German University (2009-2012), and an acting professorship at the University of Kassel (2012-2014). His educational foundation comprises: Civil Engineering studies at the University of Dortmund (1991-1997) under the interdisciplinary "Dortmund Model" Doctorate from Ruhr-University Bochum (2003) on geometric imperfection-based optimization of compressive beam structures Professor Baitsch's research integrates computational mechanics with civil engineering practice, specializing in construction informatics, numerical optimization, and high-order finite element methods. His work pioneers distributed optimization frameworks, structural health monitoring for wind energy infrastructure, and BIM-based construction informatics. Key methodological contributions include hp-FEM implementations, parallel optimization algorithms, and mobile structural analysis tools. Analysis of his recent publications reveals three dominant research trajectories: (1) Advanced numerical methods for structural optimization under uncertainty, (2) Health monitoring-driven lifetime prediction for wind turbine systems, and (3) Computational modeling of tunnel environments using viscoacoustic inversion techniques. These threads demonstrate consistent focus on robust numerical implementations and real-world civil engineering applications. As Head of the BIM Institute, he leads institutional efforts in digital construction technologies, fostering industry-academia collaboration on building information modeling standards and applications. His teaching portfolio spans foundational mathematics, numerical methods, and computer science for civil engineering students, emphasizing practical computational skills.

• Research Data Management
• Data Governance
• Data Sharing Practices
• +3 more

Chris Wiley serves as the Physical Sciences and Engineering Research and Data Services Librarian and Associate Professor at the University of Illinois at Urbana-Champaign. Based at the Grainger Engineering Library, he focuses on data management, research practices, and digital accessibility across scientific disciplines. Research Interests: Specializing in data governance and stewardship across engineering and physical sciences Advancing FAIR data principles and open repository systems Developing accessible data visualization tools Researching data privacy frameworks for scientific contexts Exploring cloud storage limitations for academic institutions Creating educational resources for data management transitions Contact: Email: cawiley@illinois.edu Phone: 217-300-5801 Location: Grainger Engineering Library, 1301 W. Springfield Ave., Urbana, IL 61801

• Computer Architecture
• Parallel Computing
• Compiler Technology
• +3 more

Keiji Kimura is a Professor in the Department of Computer Science and Engineering at Waseda University's Faculty of Science and Engineering, School of Fundamental Science and Engineering. He earned his Doctor of Engineering from Waseda University and has held academic positions at the university since 1999, progressing from Research Associate to Assistant Professor (2004-2005), Associate Professor (2005-2012), and Professor (2012-present). He is affiliated with multiple professional organizations including ACM, IEEE Computer Society, The Institute of Electronics, Information and Communication Engineers, and Information Processing Society of Japan. His research focuses on computer architecture, particularly parallel computing systems and compiler technology. Kimura has made significant contributions to the development of the OSCAR (Optimally Scheduled Advanced Multiprocessor) automatic parallelizing compiler framework. His work spans multiple areas including multicore processor architecture, power reduction techniques for embedded systems, non-volatile memory systems, and parallelization methods for heterogeneous architectures. His research interests specifically include Multiprocessor Architecture and Parallelizing Compiler development, with applications in real-time systems and energy-efficient computing. Analysis of his recent publications reveals a strong focus on practical implementations of parallel computing technologies across diverse hardware platforms including RISC-V, ARM, and heterogeneous multicore systems. His work demonstrates a consistent trajectory from theoretical compiler development toward practical applications in embedded systems, security, and non-volatile memory technologies. The publications show increasing emphasis on RISC-V architecture, persistent memory programming, and power-efficient computing solutions. MEXT Award for Science and Technology (Research category), 2014.04 Ministry of Education, Culture, Sports, Science and Technology (MEXT) Kimura has served on numerous prestigious conference program committees including PACT, IPDPS, HPCA, and LCPC. His research has been supported through collaborations with major technology companies and government initiatives such as the METI/NEDO project entitled "Multicore Technology for Realtime Consumer Electronics." His work with the OSCAR compiler framework has demonstrated significant performance improvements and power reductions in real-world applications. He leads research in the APAL laboratory (http://www.apal.cs.waseda.ac.jp/) at Waseda University, focusing on advanced parallel processing technologies. His team works on compiler-directed approaches to solve challenges in heterogeneous multicore architectures, with particular emphasis on making parallel programming more accessible while optimizing for both performance and power efficiency. Current research directions include RISC-V secure boot verification, non-volatile memory systems, and GPU-based persistent memory solutions.

• Artificial Intelligence
• Smart and Service Industry
• Mobility and Transport
• +5 more

Marco Schutten is an Associate Professor at the Digital Society Institute of the University of Twente, affiliated with the Industrial Engineering & Business Information Systems department. His work bridges Artificial Intelligence , Transportation , and Operations Research , focusing on optimizing complex systems. Expert in Urban Logistics and Freight Transport Specializes in Mathematical Programming and Optimization Research interests include Vehicle Routing , Machine Scheduling , and Agent-Based Simulation . Key trends in his 15 most recent articles (2015–2025) involve: Dynamic scheduling under time constraints Urban logistics and smart city applications Heuristics for combinatorial optimization Integration of MILP and Simulation models No scientific awards, formal supervisory roles, or part-time appointments are explicitly mentioned.

• Parallel Computing
• High Performance Computing
• Data-Intensive Computing
• +3 more

Geoffrey C. Fox serves as Professor and Director of the Digital Science Center at Indiana University Bloomington's Luddy School of Informatics, Computing, and Engineering, with over 1,200 publications spanning physics and computer science. His career encompasses foundational contributions to parallel computing methodology, algorithms, and data-intensive systems. Educational background includes a PhD in Theoretical Physics from Cambridge University. Fox's research focuses on synergies between high-performance computing and data analysis, pioneering decomposition principles for MIMD hypercubes and message-passing efficiency. He developed innovative systems like Twister (enhanced MapReduce for iterative computations) and SPIDAL (Scalable Parallel and Interoperable Data-intensive Application Library), bridging HPC with data-intensive applications through architectures comparable to Apache Spark and Flink. Major recognitions include: ACM-IEEE CS Ken Kennedy Award (2019) for foundational contributions to parallel computing methodology, algorithms, software, and data analysis interfaces with broad applications ACM Fellow (2011) for contributions to high-performance computing software applications and diversity outreach Fox demonstrates exceptional commitment to community engagement through teaching Java and parallel computing courses to Historically Black Colleges and Universities since 1997, creating a Computerworld-recognized 'Big Data Applications' MOOC, and leadership roles in Open Grid Forum and Java Grande Forum standards development. As principal investigator of the FutureGrid cyberinfrastructure testbed, he enabled novel scientific computing approaches while serving as General Chair for multiple conferences. He directs Indiana University's Digital Science Center and leads the SPIDAL project, which supports diverse data-intensive applications across high-performance computing platforms through interoperable library frameworks.

Michael L. ScottView profile

Professor

• Parallel Computing
• Operating Systems
• Programming Languages
• +7 more

Michael L. Scott is the Arthur Gould Yates Professor of Engineering in the Department of Computer Science at the University of Rochester's Hajim School of Engineering and Applied Sciences. He received his Ph.D. from the University of Wisconsin-Madison in 1985 and has been a faculty member at Rochester since 1985, serving as Department Chair multiple times (1996-99, 2007, 2017, 2020-2024). He is a Fellow of the ACM, IEEE, and AAAS, and recipient of numerous awards including the Edsger W. Dijkstra Prize in Distributed Computing. Dr. Scott's research focuses on parallel and distributed systems, with particular expertise in synchronization mechanisms, transactional memory, and persistent memory systems. His work spans theoretical foundations to practical implementations, with numerous influential publications and open-source systems like RSTM and Ralloc. His research has addressed critical challenges in concurrent programming, memory management, and system reliability. His publications show a consistent focus on improving the reliability and performance of concurrent systems, with recent work centered on persistent memory technologies. The trajectory of his research demonstrates a progression from fundamental synchronization algorithms to sophisticated systems addressing modern hardware challenges. His publications span top venues in systems, architecture, and programming languages. His scientific honors include: ACM Fellow (2006) IEEE Fellow (2010) AAAS Fellow Edsger W. Dijkstra Prize in Distributed Computing (2006) University of Rochester's Goergen Award for Teaching (2001) Hajim School Lifetime Achievement Award (2018) IEEE TCCA/HPCA Test of Time Award (2022) Dr. Scott has advised over 25 Ph.D. students who have gone on to successful careers in academia and industry at institutions including Lehigh University, Google, Intel, Facebook, and NVIDIA. His textbook 'Programming Language Pragmatics' is a standard reference in the field, now in its 5th edition. He also co-authored 'Shared-Memory Synchronization,' a comprehensive treatment of the field. He spent the 2014-2015 academic year as a Visiting Scientist at Google. His research group, the Rochester Concurrent Systems Group, has developed numerous influential systems including RSTM (a software transactional memory system), Ralloc (a persistent memory allocator), and Montage (a system for persistent data structures). His work often bridges theoretical correctness with practical performance considerations.

Hongyi WuView profile

Professor

• Security and Privacy
• Intelligent Computing Systems
• Communication Systems
• +7 more

Hongyi "Michael" Wu is the Department Head and Thomas R. Brown Leadership Chair in the Department of Electrical and Computer Engineering at the University of Arizona, part of the College of Engineering. He is a full-time Professor and a Fellow of IEEE, with a strong leadership presence in both academic administration and research. Education: PhD in Computer Science, State University of New York (SUNY) at Buffalo, 2002 MS in Electrical Engineering, State University of New York (SUNY) at Buffalo, 2000 BS in Scientific Instruments, Zhejiang University, China, 1996 His research is focused on security and privacy in intelligent computing and communication systems , with applications in cybersecurity, mobile and wireless networks, Internet of Things (IoT), and distributed computing. His work bridges theoretical foundations with real-world systems, emphasizing robustness and trust in next-generation networks. While specific article titles are not listed in the provided text, his publication record exceeds 160 technical papers in top-tier journals and conference proceedings, indicating sustained contributions in cybersecurity, mobile computing, and networked systems over two decades. His editorial roles in IEEE Transactions on Mobile Computing, IEEE Internet of Things Journal, and others reflect his influence in these domains. Scientific Awards and Honors: NSF CAREER Award (2004) UL Lafayette Distinguished Professor Award (2011) IEEE Percom Mark Weiser Best Paper Award (2018) IEEE Fellow Dr. Wu has served as Principal or Co-Principal Investigator on over 50 funded research projects totaling more than $23 million from NSF, NSA, DOD, DOE, NATO, state governments, and industry partners. He actively mentors graduate students, with recent advisees securing faculty positions at Old Dominion University, Chongqing University, and the University of Hawaii at Manoa. He currently has openings for postdoctoral researchers and research assistants in AI, security, and wireless networks. He has chaired major conferences including IEEE INFOCOM 2020 and WoWMoM 2021, and has served on the editorial boards of several leading journals such as IEEE Transactions on Computers, IEEE Transactions on Mobile Computing, IEEE Internet of Things Journal, and Elsevier Parallel Computing.

Caleb StanfordView profile

Assistant Professor

• Programming Languages
• Formal Methods
• Distributed Systems
• +4 more

Caleb Stanford is an Assistant Professor in the Department of Computer Science at the University of California, Davis. He specializes in programming languages and formal methods with applications to distributed systems, data processing, and computer security. His research focuses on developing practical tools and theoretical foundations for secure and reliable systems. Research interests span programming languages theory, formal verification techniques for distributed systems, Rust ecosystem security, stream processing verification, and automata theory extensions. Specific projects include securing Rust crates through automated auditing tools, extending derivative-based abstractions for regular expressions, and developing verification frameworks for dataflow programming. His publications demonstrate consistent focus on formal methods applications, with recent emphasis on Rust program safety (2025), stream processing verification (2020-2024), and incremental graph algorithms (2023). Article keywords frequently include formal verification, programming languages, distributed systems, and automata theory. Dr. Stanford actively recruits students for research positions: Undergraduates should demonstrate excellence in relevant coursework Prospective PhD students must apply through UC Davis admissions Current openings focus on Rust security, formal methods, and distributed systems verification He leads the Guided Incremental Digraphs (GID) research project and collaborates with UCSD on Rust security initiatives. Community contributions include serving as Artifact Evaluation Co-Chair for POPL 2024 and committee member for PLDI and OOPSLA conferences.

Peter DienerView profile

Research Professor

• General Relativity
• Numerical Relativity
• Black Hole Physics
• +2 more

Peter Diener is a Research Professor at Louisiana State University's Department of Physics & Astronomy within the College of Science. His primary research focuses on computational astrophysics and numerical relativity, with specialized interests in general relativity, black hole physics, gravitational waves, and neutron star mergers. He contributes significantly to the development and application of the Einstein Toolkit, an open-source software framework for relativistic simulations. Diener's investigations center on modeling extreme astrophysical phenomena using advanced computational methods. His work on neutron star mergers examines ejecta dynamics, kilonovae emissions, and gravitational wave signatures. Through particle-based numerical approaches like SPHINCS_BSSN, he explores black hole dynamics, dynamical spacetimes, and relativistic hydrodynamics.

Dan HuView profile

Lecturer

• Biomechanical Engineering
• Vehicle Dynamics
• Estimation Algorithms
• +3 more

Dan Hu is a Lecturer in Mechanical Engineering at the CEES School of Engineering. He specializes in biomechanical modeling, vehicle dynamics, and estimation algorithms. His research focuses on human movement analysis, musculoskeletal systems, and advanced control systems for automotive applications. He is currently accepting PhD students in two projects: developing predictive modeling tools for personalized rehabilitation devices and creating experiment-free clinical diagnosis systems using machine learning. Dr. Hu holds a Doctorate in Biomechanics & Automotive Engineering from Jilin University (2014), where his thesis addressed musculoskeletal modeling of drivers' hands. He also earned an MSc in Automotive Engineering (2009), focusing on Kalman filter applications for vehicle state estimation. His research interests span biomechanical engineering, computational modeling of human motion, and vehicle state estimation using extended Kalman filters. Notable contributions include 3D whole-body walking models, metatarsophalangeal joint kinematics studies, and biomimetic prosthetics design. His work bridges biomechanics with automotive engineering, aiming to improve healthcare technologies and vehicle safety systems. Dr. Hu has peer-reviewed for journals like Scientific Reports , IEEE Transactions on Neural Systems , and Computer Methods in Biomechanics . His research collaborations span biomechanics, robotics, and automotive control systems. Current projects emphasize predictive modeling and clinical diagnosis innovation.

Wan FokkinkView profile

Professor

• Distributed Systems
• Formal Analysis of Protocols
• Concurrency Theory
• +3 more

Prof. Wan Fokkink is a Full Professor in Theoretical Computer Science at Vrije Universiteit Amsterdam (VU) and holds a part-time position as Professor of Model-Based System Engineering at Eindhoven University of Technology (TU/e). His research focuses on distributed systems, formal analysis of protocols, and supervisory control synthesis. He leads the Theoretical Computer Science group at VU and has authored three influential textbooks: Introduction to Process Algebra , Modelling Distributed Systems , and Distributed Algorithms: An Intuitive Approach . Education: MSc in Mathematics (University of Amsterdam, 1990) and PhD in Computer Science (University of Amsterdam, 1994). Postdoctoral work at Utrecht University and lectureship at Swansea University preceded his leadership roles at CWI (2001–2004) and VU (since 2004). Teaching includes courses on logic, concurrency, and distributed algorithms. He is editor of Logical Methods in Computer Science and co-founder of the Electronic Proceedings in Theoretical Computer Science . Active in professional organizations: co-founder of IFIP WG 1.8 (Concurrency Theory) and steering committee member of the CONCUR conference. Research interests span formal verification, concurrency theory, and practical applications of supervisory control in engineering systems (e.g., traffic management, ship locks). His work aligns with sustainable development goals through contributions to reliable system design and optimization. Recent articles explore model-based specification, distributed control under communication delays, and tools like Eclipse ESCET for supervisory control synthesis. Collaborations span international teams in Europe and beyond.

• Edge Computing
• Cloud Computing
• Artificial Intelligence
• +7 more

Hadi Tabatabaee is an Assistant Professor at the School of Computer Science, University College Dublin (UCD), leading the Sustainable Orchestration in Computing Continuum (SOC² Lab). His research focuses on sustainable orchestration of services across edge-cloud environments, emphasizing energy efficiency, carbon-aware systems, and AI-driven applications like large language models (LLMs). Key roles include Associate Editor for IEEE Access and Management Committee member of COST Action CA22151 (CYPHER). He holds a PhD in Computer Engineering from the University of Isfahan and has held academic positions at Maynooth University, Shahid Beheshti University, and Trinity College Dublin's CONNECT research program. Education: PhD (Computer Engineering, University of Isfahan), MSc (Computer Engineering), with a research visit at TU Delft (2010-2011). Certifications include Epigeum's Research Leadership and Research Integrity courses. Languages: Persian (fluent), Azerbaijani (spoken). Research Interests: Edge-cloud continuum, dynamic service placement, distributed AI workloads, LLM optimization, and sustainable resource management. Recent work includes zero-trust vehicular networks, parallel algorithms for recommender systems, and geospatial event processing. Awards: None explicitly listed, though his contributions include over 20 journal articles in IEEE/Elsevier/Springer venues. Professional Activities: IEEE Senior Member, TPC member for IEEE conferences, and reviewer for multiple journals. Teaching: Coordinates/teaches Cloud Computing, Computer Networks, and Principles of Computer Organization at UCD.

Maria Ribera SanchoView profile

Professor

• Software Engineering
• Conceptual Modeling
• Ontologies
• +4 more

Dr. Maria Ribera Sancho is a Professor at the Polytechnic University of Catalonia (BarcelonaTech), holding roles as Dean of the Faculty of Informatics of Barcelona (2004–2010), Vice-Dean (1998–2004), and currently Manager of the Education and Training Department at the Barcelona Supercomputing Center (BSC-CNS). She chairs the EQANIE Accreditation Committee and serves on the ACM-W Europe Executive Committee. Her research focuses on Software Engineering, Conceptual Modeling, Ontologies, Learning Analytics, and IoT applications. Notable contributions include work on automated design using conceptual models, model-driven software development, and semantic-based IoT infrastructure monitoring. She leads projects like LinDaFIX (social welfare data tools) and REMEDiAL (ontology-driven software automation). Key awards include the UPC Quality in Teaching Prize (2005, 2021), Jaume Vicens Vives Distinction (2005), Sapiens Award (2011), and Festibity Award (2011). She advises doctoral and master’s students on topics like IoT semantic monitoring and educational ontology development. Academic director of the inLab FIB Talent Program, she also directs the PRACE Advanced Training Center at BSC. Main projects include TINTIN (SQL integrity tool), e-Catalunya (collaborative government platform), and PILARES (learning analytics for secondary education). Her work bridges academia and industry through competitive projects with companies and institutions.