Find Academic Supervisors

Luís Moreira de SousaView profile

Assistant Professor

• Geoinformatics
• Spatial Simulation
• Semantic Web
• +5 more

Luís Moreira de Sousa is an Assistant Professor at the Department of Computer Engineering, Higher Technical Institute (Instituto Superior Técnico), University of Lisbon. His academic work bridges computer science and geography, with a focus on Geoinformatics rather than traditional GIS. He is affiliated with the Information and Decision Support Systems research unit and teaches Data Administration and Information Systems. His research spans several interconnected domains: spatial simulation, semantic web technologies for geospatial data, hexagonal grid systems, and resource depletion studies. Dr. de Sousa has developed innovative approaches to spatial simulation through his DSL3S (Domain Specific Language for Spatial Simulation Scenarios) and has contributed significantly to the Semantic Web through the GloSIS web ontology for soil data. His current major project is the book Spatial Linked Data Infrastructures , which bridges geospatial science and semantic web technologies. His publication record shows consistent contributions to spatial simulation tools, semantic web applications in geospatial domains, and resource depletion analysis. His work demonstrates a clear trajectory from practical spatial simulation tools toward more sophisticated semantic web applications for geospatial data. The recent focus on spatial linked data infrastructures represents the culmination of his interdisciplinary approach, combining computer science rigor with geospatial domain knowledge. Dr. de Sousa is a strong advocate for open source tools and maintains an active presence in the FOSS4G (Free and Open Source Software for Geospatial) community. His professional digital footprint includes Codeberg, Mastodon, ORCID, Google Scholar, LinkedIn, ResearchGate, and StackExchange. Outside his academic work, he maintains interests in resource depletion (having created the Portuguese Peak Oil website PicoDoPetroleo.net in 2005 and contributed to TheOilDrum), cycling (covering thousands of kilometers annually), music, and literature. His Goodreads profile shows an active engagement with science fiction, history, and science literature.

• Case-Based Reasoning (CBR)
• Artificial Intelligence
• Multi-Agent Systems
• +4 more

Dr. Pascal Reuss is a Researcher at the Intelligent Information Systems (IIS) Division within the Institute of Computer Science , University of Hildesheim . His work focuses on Case-Based Reasoning (CBR) systems, Multi-Agent Systems , and Knowledge Management applications. Active in CBR framework development and game-based AI research Teaching Computer Science III (Databases) for winter 2025/26 Participating in university sustainability initiatives like Stadtradeln 2024/25 Reuss contributes to AI education through practical implementations in gaming environments and has developed visualization tools for CBR agent behavior. His research spans multi-agent collaboration , dynamic case bases , and domain-specific language implementations for knowledge maintenance. Notable contributions include: Co-developing the FEATURE-TAK framework for knowledge extraction Designing case factories for distributed CBR systems Implementing finite state machines for tactical game agents Creating CBR-based fitness planning systems His work appears in various CBR and Game Development publications from 2011-2024. The research demonstrates practical applications of CBR in aircraft maintenance diagnostics , training plan generation , and educational technology contexts.

Jaakko Timo Henrik JärviView profile

Professor

• Generic Programming
• Programming Language Design
• Graphical User Interfaces (GUI)
• +7 more

Jaakko Timo Henrik Järvi is a Professor in the Department of Informatics at the University of Bergen, Norway, with additional affiliations at the University of Turku, Finland. His research focuses on programming language design, generic programming, and human-computer interaction, particularly in GUI frameworks and software reuse. His research interests include generic programming, programming language design (especially the Magnolia language), high-performance computing, array programming, and GUI engineering. He emphasizes formal methods and algebraic specifications to build reusable and efficient software systems. His work bridges theoretical foundations with practical applications in software development and education. The recent publications highlight a strong trend in declarative GUI frameworks, multi-selection models, and generic programming. His work explores domain-specific languages for GUI structure manipulation, reusable selection semantics across platforms, and optimizing array computations using the Mathematics of Arrays. These efforts reflect a consistent focus on software abstraction, correctness, and reusability. Jaakko Järvi has supervised doctoral students, including Tetiana Yarygina, whose dissertation explored microservice security. While no specific grants are detailed, his work on VisAST was supported by the Research Council of Norway (Project 250683), indicating active external funding. He frequently collaborates with researchers like Magne Haveraaen, Knut Anders Stokke, and Sean Parent. He contributes to tools and frameworks such as the MultiselectJS library and the VisAST educational tool. These are outcomes of collaborative research teams focused on improving software development practices and computer science education.

• Digitalization
• Multi-Agent Systems
• Semantic Web
• +5 more

Prof. Dr. Thomas Farrenkopf is a full-time Professor in the Department of Business Informatics at the Technische Hochschule Mittelhessen , serving as Dean of Studies . He leads the Business Informatics Bachelor program and specializes in digitalization, multi-agent systems, and AI-driven decision support. Expertise Areas : Industry 4.0, Smart Factory, Semantic Web, full-stack software development Contact : thomas.farrenkopf@mnd.thm.de Research Focus : His work bridges knowledge-based methods with practical applications in artificial intelligence, particularly through multi-agent systems for traffic modeling and business simulations. He developed AGADE Traffic (a knowledge-based traffic simulator) and ATHOS (a domain-specific language for multi-agent simulations), focusing on scalability and complexity reduction. Recent studies explore individual preferences' impact on traffic policies and agent-based feedback mechanisms in business contexts. Academic Contributions : With over 15 publications since 2013, his research spans agent-based modeling, semantic web applications, and smart manufacturing - notably improving throughput times in toolmaking by 90% through Industry 4.0 implementations. Teaching & Supervision : Actively supervises Bachelor's Practical Projects (BPP), providing guidance for internship-related academic work through structured evaluation processes and electronic reporting systems. Collaborations : Works with international researchers like Johannes Nguyen, Simon T. Powers, and Michael Guckert, publishing in venues such as SN Computer Science , Lecture Notes in Computer Science , and Journal of Artificial Societies and Social Simulation .

Sandra Diaz PierView profile

Researcher

• Computational Neuroscience
• High Performance Computing
• Machine Learning
• +3 more

Dr. Sandra Diaz Pier is a Scientific Lead at the Jülich Supercomputing Centre (JSC) within the Jülich Research Centre , Germany. Specializing in computational neuroscience , high performance computing (HPC) , and machine learning , she bridges neuroscience and advanced computational methods through her research. Education: B.Sc. in Electronic Systems Engineering, Mexico M.Sc. in Computer Science (focus: machine learning, quantum computing), Mexico Second M.Sc. in Electrical Engineering, Ontario, Canada Ph.D. in Computer Science, Germany (2021) Her research focuses on modeling and simulating brain dynamics and plasticity at multiple scales, leveraging HPC to accelerate large-scale neural network simulations. She actively contributes to EU projects like the Human Brain Project (HBP) , Virtual Brain Cloud , and EBRAINS 2.0 , emphasizing infrastructure development and educational training. Her work includes open-source tools such as the NEST simulator , The Virtual Brain , and L2L , enabling efficient parameter exploration and multiscale co-simulation frameworks. The 15 most recent publications highlight her interdisciplinary approach, spanning topics from quantum computing in biomolecular simulations to neural plasticity algorithms and cloud-based brain modeling . These articles reflect her expertise in integrating machine learning , multi-scale simulation , and HPC infrastructure for neuroscience challenges, including seizure propagation, Parkinson’s disease progression, and swarm intelligence in spiking networks. She leads technical coordination in projects like EBRAINS and serves as a task leader in the HBP infrastructure work package , while also organizing workshops and hackathons for open-source tools. Her role involves supporting domain scientists through methodological research and workflow optimization for brain simulations.

Peter SestoftView profile

Professor

• Programming Languages
• Software Development
• Parallel Programming
• +4 more

Peter Sestoft is a Professor at the IT University of Copenhagen (ITU), leading the Computer Science Department since 2017. His primary roles include academic leadership, research in programming languages and software engineering, and teaching. He holds a PhD in Computer Science from the University of Copenhagen (1991) and has held academic positions at institutions like the Royal Veterinary and Agricultural University and the Technical University of Denmark before joining ITU in 1999. His research focuses on programming languages, functional and managed object-oriented languages, parallel programming, compilers, and spreadsheet implementation technologies. He has developed influential tools like the C5 Generic Collection Library for C# and Moscow ML, a Standard ML implementation. His work on Funcalc and Corecalc advanced spreadsheet technology with user-defined functions and efficient recalculation algorithms. Key contributions include over 30 publications, including books on programming language concepts and Java/C# syntax. He has led major research projects such as 'Popular Parallel Programming' (P3) and 'Probabli' for actuarial calculations. His academic service includes roles on national grant committees and international conference organizing committees. Notable advising includes PhD students like Andrzej Wasowski (ITU Professor) and David Christiansen (Director of Haskell Foundation). His work has been recognized through grants exceeding 25 million DKK and collaborations with institutions like Microsoft Research and Harvard University.

Stephen A. EdwardsView profile

Associate Professor

• Embedded Systems
• Real-Time Systems
• Hardware Synthesis
• +5 more

Stephen A. Edwards is an Associate Professor at the Computer Science Department of Columbia University , where he explores automating software for embedded systems and real-time control . His work focuses on compiler techniques for languages like Esterel and domain-specific solutions for device drivers and communication protocols . Education : PhD in Electrical Engineering, University of California, Berkeley (1997) MS in Electrical Engineering, UC Berkeley (1994) BS in Electrical Engineering, California Institute of Technology (1992) Research Interests span hardware synthesis , functional programming , and synchronous languages . He develops domain-specific languages to bridge software and hardware, emphasizing determinism and timing precision in embedded systems. His group's work includes projects like the FHW compiler and the Sparse Synchronous Model . Article Trends show a focus on FPGA-based systems , garbage collection for accelerators, and parallel functional programming . These reflect his broader interests in hardware-software co-design and compiler optimization for real-time applications. Students : John Hui (2021-2024, Apple) Max Levatich (2020-) Richard Townsend (2013-2019, Tufts) Nalini Vasudevan (2007-2011, Google) Marcio Buss (2004-2008) Jia Zeng (2002-2008) Cristian Soviani (2002-2007, Synopsys) Consulting & Expert Services : He provides litigation support and expert witness services in patent cases involving software architecture and computer design , including ITC cases. Labs & Projects : Leads research on sparse synchronous systems and hardware synthesis , with initiatives like the GAPS CLOSURE Project and FHW Compiler for translating Haskell to System Verilog.

Tiark RompfView profile

Assistant Professor

• Compiler Design
• Programming Languages
• Runtime Code Generation
• +8 more

Tiark Rompf is an Assistant Professor at Purdue University , with research spanning programming languages, compilers, and systems. His work bridges domains including architecture, databases, machine learning, and AI through projects like Reachability Types and Rhyme. Co-director of the Purdue Center for Programming Principles and Software Systems (PurPL) Scientific Advisor at SambaNova Systems Previously a member of the Scala team at EPFL His research focuses on: Runtime code generation and advanced compiler technology Expressive data-centric query languages (Rhyme, Datalog) Reachability type systems for memory safety and effect handling Metaprogramming and logical relations for formal verification Recent publications highlight contributions to Datalog compilation (Flan), nested data structures (Rhyme), and polymorphic reachability types. He leads projects exploring: Compiler optimizations for emerging architectures (GPU, TPU, FPGA) ML-driven compiler improvements Secure multi-party computation via metaprogramming Scientific awards include: NSF CAREER Award (2016) Google Faculty Research Awards (2017, 2018) DOE Early Career Research Award (2017) ACM SIGPLAN PL Software Award (2019) GPCE Test of Time Award (2020) Students and alumni from his group have joined institutions like Databricks, DeepMind, Galois, and Meta. He teaches advanced compiler courses including: CS 590 - Advanced Topics in Compilers CS 352 - Compilers CS 502 - Graduate Compilers

• Computer Architecture
• Parallel Processing
• FPGA Design
• +3 more

Frank Hannig is a Professor at the University of Erlangen-Nuremberg, Germany, specializing in computer architecture and high-performance computing. His research focuses on FPGA acceleration, hardware-software co-design, neural network optimization, and embedded systems. He has collaborated extensively with co-authors such as Jürgen Teich and Oliver Reiche, producing over 200 publications since 2001. His work emphasizes domain-specific languages (DSLs) for image processing (e.g., Hipacc) and compiler optimizations for FPGAs. Key contributions include techniques for quantized neural networks on microcontrollers, CGRA toolchain evaluation, and efficient mapping of CNNs onto processor arrays. Hannig also explores energy-efficient architectures and reconfigurable computing for emerging applications like edge AI and automotive systems. Publications span conferences like ASAP, FPL, and ARC, reflecting his interdisciplinary approach to bridging algorithm design and hardware implementation. His research often addresses practical challenges in deploying machine learning models on resource-constrained devices while maintaining performance and energy efficiency.

Michael CoblenzView profile

Assistant Professor

• Usability of programming languages
• User-centered programming language design
• Type systems for safety
• +6 more

Michael Coblenz is an Assistant Professor in the Computer Science Department at University of California, San Diego. His research focuses on integrating user-centered design into programming language development, creating safer languages for blockchain and scientific computing. He completed his Ph.D. at Carnegie Mellon University under Jonathan Aldrich and Brad A. Myers, followed by a Basili postdoctoral fellowship at University of Maryland. Specializes in usability of programming languages Created Obsidian language for safer smart contracts Developed PLIERS methodology for iterative language design Active in Rust usability and REST API quality research His work bridges programming languages and human-computer interaction, with recent projects including Kale (safer spreadsheets) and climate change-focused programming tools. He has served on program committees for SPLASH, VL/HCC, and HATRA conferences. 2025: Graduate Consortium Co-chair at VL/HCC 2024: HATRA Organizing Chair 2023: Doctoral Symposium Chair at SPLASH

Sarah E. ChasinsView profile

Assistant Professor

• Programming Languages
• Human-Computer Interaction
• Program Synthesis
• +3 more

Sarah E. Chasins is an Assistant Professor at the University of California at Berkeley , affiliated with the College of Engineering and Department of Electrical Engineering and Computer Sciences . She leads the PLAIT Lab (Programming Languages for Approachable and Inclusive Tools), with additional affiliations at the Berkeley Institute for Data Science (BIDS) and collaborations across disciplines. Her research focuses on democratizing programming through Program synthesis Human-Computer Interaction for programming languages Tools for non-traditional programmers Embedded domain-specific language design Web automation frameworks She has developed systems like Ringer for browser automation and Skip Blocks for execution history reuse. Recent publications highlight trends in Direct manipulation programming Synthesis-backed refactoring Sequence-to-tree code search DSL usability for domain experts Functional programming practices Web script optimization She has advised numerous graduate and undergraduate researchers, including: Current PhD students: Justin Lubin, Eric Rawn, Parker Ziegler Alumni: Gabriel Matute (MSc), Rebecca Hicke (undergraduate) Her service includes committee roles at top conferences like OOPSLA, PLDI, and PLATEAU, as well as teaching courses on CS164: Programming Languages and Compilers CS294-184: Building User-Centered Programming Tools CS39-001: Technology, Society, and Power

Tiantai DengView profile

Lecturer

• FPGA-based Hardware Acceleration
• Sparse Processing Architecture for CNN and GEMM
• Number System and Approximation Computing
• +3 more

Dr. Tiantai Deng is a Lecturer in Electronics and Digital Systems at the School of Electrical and Electronic Engineering , University of Sheffield (since 2021). His industrial background includes a senior research engineer role at HiSilicon/Huawei , where he focused on hardware architecture design for CNN, GEMM, and image/video processing on FPGAs/ASICs. Education: BEng, MSc, PhD Research interests span FPGA-based hardware acceleration , sparse processing architecture for CNN/GEMM, number system design , approximation computing , and high-level design environments . His work integrates algorithm-hardware co-optimization for efficiency in AI and mathematical computing. Recent publications emphasize neurodynamic systems for opinion modeling, parallel processing elements for ODE/AI acceleration, and low-power FPGA implementations for clustering/modulation classification. Earlier work addressed combustion dynamics and image processing pipelines. Contact: t.deng@sheffield.ac.uk | Office: G108, Sir Frederick Mappin Building, Sheffield S1 3JD | ORCID 0000-0003-4507-5746

Diego Sevilla RuizView profile

Associate Professor

• Software Engineering
• Database Systems
• NoSQL Technologies
• +3 more

Diego Sevilla Ruiz is an Associate Professor at the University of Murcia's Faculty of Informatics, Department of Computer Engineering and Technology, where he leads initiatives in Software Engineering research. He completed his PhD in 2008 on distributed component models (CORBA-LC). His research focuses on database technologies, particularly schema evolution in NoSQL and relational databases, model-driven engineering approaches, and unified metamodeling. Recent work develops Skiql (a schema query language), Athena (schema definition language), and methodologies for referential integrity in graph databases. His publications advance database abstraction techniques, schema migration frameworks, and automated tools for database management and modernization.

Zhenjiang HuView profile

Professor

• Programming Languages
• Software Engineering
• Functional Programming
• +7 more

Zhenjiang Hu is a Chair Professor and Dean of the School of Computer Science at Peking University. He serves as Director of the Programming Languages Laboratory and has held significant academic positions including Professor at the National Institute of Informatics and University of Tokyo. BS and MS from Shanghai Jiaotong University (1988, 1991) PhD from University of Tokyo (1996) Lecturer/Assistant Professor at University of Tokyo (1997) Associate Professor at University of Tokyo (2000) Full Professor at National Institute of Informatics (2008) Full Professor at University of Tokyo (2018-2019) Professor Hu's research primarily focuses on programming languages and software engineering, with special emphasis on functional programming, bidirectional transformation, and software adaptation. His work explores transformational programming approaches for automatic program optimization, systematic parallelization of sequential programs, efficient manipulation of structured documents, and bidirectional model transformation for software development. His research has significantly advanced the field of bidirectional programming, developing foundational theories and practical applications that enable more reliable and maintainable software systems. His recent publications demonstrate a strong trajectory in bidirectional programming, program synthesis, and graph processing. The research shows increasing sophistication in handling program transformations, with growing emphasis on practical applications in software engineering contexts. His work increasingly integrates formal methods with practical programming language design, creating systems that maintain theoretical soundness while addressing real-world software development challenges. The research spans multiple venues including top conferences like PLDI, POPL, ICFP, and OOPSLA, reflecting its broad impact across programming language research. Fellow of JFES (Japan Federation of Engineering Society, 2016) ACM Distinguished Scientist (2016) Member of Academia Europaea (2019) IEEE Fellow (2020) Member of Engineering Academy of Japan (2020) Professor Hu actively mentors students and has welcomed excellent candidates to join his group through Peking University's International Elite PhD Program and Boya Postdoctoral Fellowship Program. He serves on numerous program committees for major conferences including PLDI, POPL, ICFP, and OOPSLA, and holds editorial positions for prestigious journals such as Journal of Functional Programming and Science of Computer Programming. His leadership extends to conference organization, having served as PC Chair for CNCC 2024 and General Co-Chair for SoICT 2019. As Director of the Programming Languages Laboratory at Peking University, Professor Hu leads a research team focused on advancing programming language theory and practice. His lab has developed influential frameworks like BiGUL for bidirectional programming and Fregel for graph processing. The laboratory maintains strong international collaborations and contributes to both theoretical foundations and practical implementations in programming languages and software engineering.

John ClementsView profile

Lecturer

• Computer Science
• Programming Languages
• Functional Programming
• +5 more

John Clements is a Lecturer in the Department of Computer Science at California Polytechnic State University. He teaches undergraduate and graduate courses including CSC 430 (Programming Languages) and CSC 202 (Data Structures). His research focuses on programming languages, functional programming, and educational technology, with contributions to the Racket language ecosystem and tools like DrRacket. He emphasizes ethical computing and pedagogical innovation in introductory courses. Clements is actively involved in curriculum design, particularly in integrating test-driven development and socially responsible computing principles. His work spans educational research, compiler design, and IDE development, with a focus on making programming more accessible and inclusive. Education: While specific academic credentials are not explicitly detailed, his extensive contributions to Racket and functional programming suggest advanced training in computer science. He has been affiliated with Cal Poly since at least 2008, contributing to courses and research initiatives. Research Interests: Functional programming, language design, educational computing, test-driven development, and ethics in technology. His projects include Racket's Typed Racket extension, spectral analysis tools for music, and password generation systems using Markov models. He advocates for diverse and inclusive learning environments. Publications: Over 20 papers on topics ranging from notional machines for runtime stacks to ethics-first computing education. Recent work emphasizes integrating social responsibility into CS curricula and improving student retention through interest-based CS0 courses. Labs/Teams: Active in the Racket community, contributing to open-source projects like rust-antlr, RSound, and molis-hai. Collaborates with researchers on pedagogy and programming language theory.