Find Academic Supervisors

Find and connect with academic supervisors, professors, and scholars for your research journey.

Showing 46-60 of 578 supervisors

Profile data may be stale. It is sourced from public faculty pages.

Clément Pit-ClaudelView profile

Assistant Professor

InriaFrance

Clément Pit-Claudel is an Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL), leading the SYSTEMF lab focused on programming languages, formal methods, and systems engineering. His work bridges mathematical formalisms with practical system development to achieve full assurance in critical software and hardware. PhD in Computer Science from MIT (2016) William A. Martin Memorial Thesis Award recipient Former Senior Applied Scientist at Amazon AWS Teaching accolades including the Frederick C. Hennie III Teaching Award Research spans three axes: extensible proof-producing compilers for performance-critical systems, verified hardware compilation with cycle-accurate semantics, and interactive theorem prover tooling for democratizing verification technology. Key projects include Kôika for hardware verification, Alectryon for Coq proof visualization, and Fiat for correct-by-construction program synthesis. Recent publications address JavaScript regex verification (ICFP 2024), cryptographic server integration (PLDI 2024), and hardware simulation optimization (ASPLOS 2021). Articles demonstrate expertise in functional-to-imperative translation, domain-specific compiler extensions, and hardware-software co-verification. Scientific contributions recognized through: Distinguished artifact award (SLE 2020) MIT William A. Martin Thesis Award Frederick C. Hennie III Teaching Award Teaching philosophy emphasizes hands-on lab instruction , oral assessment , and automated tooling . Courses taught include Software Construction (undergraduate) and Interactive Theorem Proving (graduate) at EPFL. Research service includes program committee roles at Dafny, POPL, and SPLASH conferences.

Official University Profile

George T. HeinemanView profile

Associate Professor

Worcester Polytechnic InstituteUnited States

George T. Heineman is an Associate Professor of Computer Science at Worcester Polytechnic Institute (WPI). He holds a BS from Dartmouth College (1989), an MS (1990), and a PhD (1996) from Columbia University. His research focuses on software engineering, component-based systems, and modularity, with notable contributions to type-safe modular software evolution through the CoCo design pattern. Heineman emphasizes professional software engineering practices in teaching, challenging students with industry-relevant projects to foster best practices. His work has been published in leading venues like ECOOP, with a 2021 paper on CoCo gaining attention for its impact on Java language design. He received the WPI Trustees' Award for Outstanding Teaching in 2022, reflecting his dedication to education. His research spans algorithm design, system architecture, and cybersecurity, with publications ranging from foundational theory to practical applications in automated assessment and network security. Education: BS in Computer Science, Dartmouth College, 1989 MS in Computer Science, Columbia University, 1990 PhD in Computer Science, Columbia University, 1996 Research interests include software evolution, design patterns, and modular software systems. His recent work addresses challenges in maintaining stable APIs and enabling cohesive extensions in object-oriented systems. Collaborations with institutions like the University of Copenhagen and TU Dortmund highlight his international academic engagement. Beyond research, Heineman contributes to curriculum development, including WPI's new graduate programs in computing and workforce development initiatives.

Official University Profile

Elisa BaniassadView profile

Teaching Professor

University of British ColumbiaCanada

Elisa Baniassad is a Teaching Professor in the Department of Computer Science at the University of British Columbia (UBC), within the Faculty of Science. She specializes in software engineering education and has received numerous teaching accolades including the UBC Killam Teaching Prize and CS-Can/INFO-CAN Excellence in Teaching Award. Her courses focus on software construction, engineering principles, and advanced software design. Dr. Baniassad has taught CPSC 310 (Introduction to Software Engineering), CPSC 210 (Software Construction), and CPSC 410 (Advanced Software Engineering) across multiple terms since 2000. Her research interests span educational methodologies in software engineering, aspect-oriented programming, and the design of effective learning tools. Notable contributions include studies on team dynamics in software development, automated assessment techniques, and pedagogical frameworks for large-scale programming courses. She has authored over 50 peer-reviewed articles on topics ranging from mutation analysis in student tests to the efficacy of online learning environments. Awards include recognition for teaching excellence at UBC and contributions to computer science education. Her work emphasizes practical applications of software engineering principles in academic settings, with a focus on fostering student mastery through innovative assessment strategies and feedback mechanisms.

Official University Profile

Asta Halkjær FromView profile

Researcher

InriaFrance

Asta Halkjær From is a postdoctoral researcher in the Department of Computer Science at the University of Copenhagen, affiliated with the Software, Data, People & Society (SDPS) section under Dmitriy Traytel. She previously completed her PhD at DTU Compute from 2020 to 2023, focusing on formalized deduction methods in computational logic. She holds a Master’s and Bachelor’s degree from DTU in Computer Science and Software Technology, respectively, with a specialization in Artificial Intelligence and Algorithms. Her research lies at the intersection of formal logic and computer science, particularly in automated reasoning, proof assistants (Isabelle/HOL and Lean), and mechanized metatheory. She has contributed extensively to synthetic completeness proofs, tableau systems, and verified theorem provers. Her work emphasizes formal verification of logical systems, including epistemic logic, hybrid logic, and first-order logic, with a focus on soundness and completeness. The recent publications highlight a consistent trend: the mechanization of logical foundations in proof assistants. Her work bridges theoretical logic with practical verification tools, enabling reliable automation in theorem proving. She has developed and verified provers, explored axiomatic systems, and advanced the methodology of synthetic completeness, often leveraging Isabelle/HOL’s framework. Distinguished Paper Award, CPP 2023 DTU Young Researcher Award DTU Travel Grant (Executive Board Recognition) Otto Mønsted Fonden Travel Grant She has supervised BSc and MSc theses, special courses, and research projects at DTU, and currently teaches Software Development for Digital Health . She has served on program committees for CPP, ITP, and Dalí workshops and has reviewed for journals including Journal of Automated Reasoning and Journal of Logic and Computation . She has also participated in international research visits, including at VU Amsterdam. She is actively involved in building tools for formal reasoning and maintains a personal website with resources, including an Isabelle snippets generator and bibliography tools. Her work continues to advance the foundations of formal logic through mechanized proofs and practical automation.

Official University Profile

Wenguang ChenView profile

Researcher

Max Planck Institute for Software SystemsGermany

Wenguang Chen is a researcher affiliated with Tsinghua University and Pengcheng Laboratory , specializing in computer science and high-performance computing . His work bridges theoretical advancements with practical applications in domain-specific languages , parallel programming , and machine learning . Research Interests include: Development of modular DSLs for numerical methods (e.g., Mat2Stencil) Performance optimization in distributed and parallel systems Compiler frameworks for privacy-preserving AI (e.g., FHE-based neural network inference) Graph algorithms scaling to trillion-edge datasets Applications of Rust in memory-safe pointer analysis Recent Publications span 2014–2025, focusing on: Parallelization strategies for supercomputing Compiler automation tools Extreme-scale data processing Performance variance diagnosis in production environments

Official University Profile

Kinan Dak AlbabView profile

Assistant Professor

Brown UniversityUnited States

Kinan Dak Albab is an Assistant Professor at the Faculty of Computing and Data Sciences (CDS) at Boston University, where he joined in summer 2024. His research spans systems, cryptography, and programming languages, focusing on building practical tools for data privacy and compliance-by-construction. He has developed influential systems such as Sesame, K9db, and DP-PIR, which have been published in top venues like SOSP, OSDI, and USENIX Security. PhD in Computer Science, Brown University MS in Computer Science, Boston University (2020) BS in Computer Science, American University of Beirut (2015) Kinan's research centers on data privacy , secure computation , and systems security . He designs tools that allow developers to build applications that are privacy-compliant by construction. His work leverages systems design, cryptographic protocols, and language-level enforcement to reduce developer burden while ensuring strong privacy guarantees. He is particularly interested in GDPR compliance, private information retrieval, and usability of secure systems. His publications span high-impact areas including end-to-end privacy enforcement (Sesame), database systems with built-in privacy (K9db), and efficient private information retrieval (DP-PIR). These works combine systems performance with strong theoretical foundations, enabling real-world deployment in domains like wage gap analysis and public policy. Presidential Award for Excellence in Teaching, Brown University (2025) Teaching Excellence Award, Boston University (2020) Vivli and Microsoft datatheon Outstanding Graduate Submission (2019) Hariri Institute Graduate Fellow (2017–2020) Mark Sawaya Excellence Award, AUB (2015) 1st Place, ACM Lebanese Collegiate Programming Contest (2015) Kinan has advised and collaborated on real-world secure computation deployments, including a project with the Boston Women's Workforce Council and the Greater Boston Chamber of Commerce to measure wage gaps across over 100 companies. His work contributed to the formation of the startup nthparty and has been cited in the White House’s National Strategy on Privacy-Preserving Data Sharing, the UN Handbook on Privacy-Preserving Computation, and the European Commission’s report on Technological Enablers for Privacy. He is the lead developer of the JIFF framework for secure multi-party computation on the web and has created tools like Carousels for resource estimation in secure programs. He leads the ETOS group and is affiliated with multiparty.org , an initiative focused on advancing privacy-preserving technologies through open-source tools and real-world applications.

Official University Profile

Thomas FarrenkopfView profile

Professor

Technical University of MittelhessenGermany

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 .

Official University Profile

Matteo AcclavioView profile

Assistant Professor

IT University of CopenhagenDenmark

Matteo Acclavio is an Assistant Professor in Computer Science at the School of Engineering and Informatics, University of Sussex, affiliated with the Foundations of Software Systems (FoSS) research group. A logician specializing in proof theory and its applications to computer science, his work bridges mathematical logic with concurrency theory and process calculi. Education: PhD in Mathematics, Aix-Marseille University, France Master in Discrete Mathematics and Foundations of Theoretical Computer Science, Aix-Marseille University Master in Mathematics, Roma Tre University, Italy Bachelor in Mathematics, Roma Tre University His research focuses on graphical proof systems, linear logic, modal logic, and concurrency theory. Publications highlight contributions to deep inference, sequent calculus, and the intersection of logic with distributed systems. Recent work explores logical frameworks for concurrency, such as choreographic programming, and graphical models for proof systems. He teaches courses like Operating Systems and maintains active collaborations in theoretical computer science.

Official University Profile

Kamyar SarsharView profile

Professor

Hamburg School of Business AdministrationGermany

Kamyar Sarshar is a Professor of Business Informatics at the Hamburg School of Business Administration (HSBA) since January 2014, serving as Academic Director of the Bachelor's program in Business Informatics within the Department of Technology & Markets. His educational background includes: Computer Science degree from the University of Hamburg MBA from Cardiff University, United Kingdom PhD from the Institute of Business Informatics in Saarbrücken Prior to HSBA, he worked as a Managing Consultant at Logica (now CGI), leading cross-industry process management projects. Research interests focus on: Business Process Management E-Business IT in Healthcare His work emphasizes empirical evaluation of modeling techniques like Event-driven Process Chains and Petri nets, particularly in healthcare applications and end-user usability. Publications from 2004-2008 reveal consistent contributions to business process modeling methodology, with strong empirical validation across healthcare, energy, and construction sectors, highlighting practical applicability and user-centered design principles. No scientific awards are documented in the provided materials. Information regarding student supervision, research grants, laboratories, or collaborative teams is not specified in the source text.

Official University Profile

Daniel RobertzView profile

Professor

RWTH Aachen UniversityGermany

Daniel Robertz is a University Professor of Algebra and Number Theory at RWTH Aachen University, Germany, with his office located at Pontdriesch 14/16, Room 102 in Aachen. He actively participates in several academic seminars including the Joint Algebra Seminar at RWTH Aachen University, the Kolchin Seminar in Differential Algebra (online/New York), and the Diff.-Equations and Singularities Seminar (online). Professor Robertz's research spans multiple mathematical disciplines with primary focus on Differential Algebra , Difference Algebra , Computer Algebra , Discrete Geometry , Simplicial Surfaces , Group Theory , Invariant Theory , and Algebraic Systems Theory . He has developed several influential Maple packages including Janet , Involutive , JanetOre , LDA , and OreModules that have advanced computational methods in algebraic analysis of differential systems. His scholarly output demonstrates a consistent focus on algorithmic approaches to differential equations with increasing interdisciplinary applications, particularly in structural engineering through discrete geometry and origami-inspired designs for carbon-reinforced concrete structures. This research trajectory shows how abstract mathematical concepts can solve practical engineering problems, especially in sustainable construction materials development. Editorial Board of Mathematics in Computer Science Special Issue in Honor of Vladimir Gerdt (2022) Applications of Computer Algebra (ACA 2017, Jerusalem) (2019) Professor Robertz has organized numerous international workshops on computational differential and difference algebra and maintains active research collaborations across mathematics, engineering, and materials science disciplines. His work on algebraic methods for structural design involves partnerships with researchers in civil engineering, architectural design, and materials science. He leads research activities in the Chair of Algebra and Number Theory at RWTH Aachen, where his team develops computational methods for algebraic analysis of differential systems. His group maintains strong international connections with research communities in computer algebra, differential algebra, and mathematical engineering applications.

Official University Profile

Andrej BogdanovView profile

Professor

University of OttawaCanada

Andrej Bogdanov is a Professor at the University of Ottawa in the School of Electrical Engineering and Computer Science . He earned his B.S. and M.Eng. from MIT and Ph.D. from UC Berkeley . Before joining Ottawa, he held positions at the Chinese University of Hong Kong , ITCS (Tsinghua) , DIMACS (Rutgers) , and the Institute for Advanced Study . He has served as a Visiting Professor at the Tokyo Institute of Technology (2013) and the Simons Institute (2017, 2021). Research Interests : Computational complexity, cryptography foundations, pseudorandomness, one-way functions, property testing, quantum algorithms, and sublinear-time algorithms. Teaching : Courses on Discrete Mathematics, Great Algorithms, Computational Complexity, and Cryptography at University of Ottawa, Chinese University of Hong Kong, and Rutgers University. Publications : 15+ recent works in TCC , CRYPTO , ICALP , RANDOM , and journals like Journal of Cryptology and Theory of Computing . Service : Program co-chair for SAC 2026 , and committee member for major conferences including CRYPTO , TCC , Eurocrypt , and FOCS . Advising : 12 current and former Ph.D./M.Phil. students, with postdoctoral advisees at institutions like IIT Palakkad and Academia Sinica . His work bridges theoretical computer science with applications in cryptography, quantum computing, and network security.

Official University Profile

Brigitte PientkaView profile

Professor

Max Planck Institute for Software SystemsGermany

Brigitte Pientka is a Professor at McGill University's School of Computer Science , where she leads the Computation and Logic group . She earned her PhD from Carnegie Mellon University in 2003 and previously studied at the University of Edinburgh and Technical University of Darmstadt. Education PhD in Computer Science, Carnegie Mellon University (2003) University of Edinburgh Technical University of Darmstadt Research Interests Her work focuses on the theoretical and practical foundations for building reliable software systems, combining logic, type theory, and verification with system-building. Key areas include: Type Theory and Dependent Types Logical Frameworks and Mechanized Metatheory Session-Typed Concurrency and Linear Logic Metaprogramming and Contextual Type Systems Theorem Proving and Formal Verification Functional Programming and Language-Based Security Professional Roles She has served as: PC Chair for ICFP'24 and CPP'24 General Chair for POPL'20 Executive Editor of Logical Methods in Computer Science Steering Committee Member for LICS, POPL, and ESOP Scientific Awards Dr. Pientka has received: Test of Time Award at PPDP'18 Humboldt Fellowship for research at MPI-SWS, Germany Labs & Teams She actively develops the Beluga programming language , a tool for mechanizing meta-theory proofs and type-driven program manipulation.

Official University Profile

Martin OderskyView profile

Professor

Swiss Federal Institute of Technology in LausanneSwitzerland

Martin Odersky is a Full Professor at École Polytechnique Fédérale de Lausanne (EPFL) in the School of Computer and Communication Sciences, where he heads the Programming Methods Laboratory (LAMP1). He maintains dual teaching appointments in the Systems and Software Engineering (SIN) and Software and Systems Engineering (SSC) sections. Education: Doctorate from ETH Zurich (1989) Odersky's research fundamentally explores the unification of object-oriented and functional programming paradigms. His work spans language design, type theory, compiler construction, and semantic foundations, driven by the thesis that these paradigms are complementary facets of a single computational model. This vision materialized in the Scala programming language, engineered for seamless Java/.NET interoperability while advancing type-safe abstractions for modern software development. His publication trajectory (1997-2005) reveals consistent innovation in bridging theoretical rigor with industrial applicability. Key themes include component-based modularity (Scalable Component Abstractions), dependent type systems for objects, and practical implementations of generics and functional constructs, all converging toward expressive yet safe programming models. Advising and Funding: Odersky has mentored 29 PhD students across his career, including 5 current candidates. His research sustains major funding from the Swiss National Science Foundation, European Commission, and Hasler Foundation, enabling foundational work in language design and implementation. Laboratory: He directs EPFL's Programming Methods Laboratory (LAMP), which drives Scala's evolution and investigates next-generation programming abstractions for concurrency, modularity, and type-driven development.

Official University Profile

Eric Van WykView profile

Professor

University of Minnesota Twin CitiesUnited States

Eric Van Wyk is a Professor in the Department of Computer Science and Engineering at the University of Minnesota's College of Science and Engineering. His research focuses on programming languages, particularly extensible languages and language tools. He leads the Minnesota Extensible Language Tools (MELT) group and has made significant contributions to attribute grammars, compiler design, and language specification techniques. Professor Van Wyk's research centers on programming languages, especially extensible languages. His team has developed techniques for specifying languages and extensions that add new syntax and semantics to a "host" language. His work focuses on mechanisms guaranteeing that independently-developed domain-specific extensions can be automatically composed into well-defined languages. He has created two major systems: Silver, an attribute grammar specification language enabling highly-modular language specification, and Copper, an integrated parser and context-aware scanner generator that uses parser information to return more discriminating tokens. His publication record shows a clear progression from foundational work on language composition to increasingly sophisticated techniques for metatheoretic reasoning, scope management, and strategic tree rewriting. The research demonstrates a consistent pattern of developing practical tools (Silver, Copper, ableC) alongside theoretical advances in language specification and composition, bridging the gap between formal methods and practical language implementation. Distinguished Paper award at SLE2020 Professor Van Wyk has advised multiple Ph.D. students including Ted Kaminski (2017), Lijesh Krishnan (2012), August Schwerdfeger (2010), Jimin Gao (2007), and Dawn Michaelson (2024). His research has received substantial support from the National Science Foundation through projects such as "FMitF: Track I: ComScaN" (2021-2026), "XPS: EXPL: Enabling An Ecosystem of Parallel Programming" (2016-2021), and "SI2-SSE: Collaborative: Extensible Languages for Sustainability" (2010-2015). He leads the Minnesota Extensible Language Tools (MELT) group, which has developed influential systems for language specification while advancing theoretical understanding of language composition and extensibility. The group's work has established significant contributions to the field of software language engineering with particular expertise in attribute grammars and language composition techniques.

Official University Profile

Michael Reichhardt HansenView profile

Associate Professor

Technical University of DenmarkDenmark

Michael Reichhardt Hansen is an Associate Professor at the Department of Applied Mathematics and Computer Science (DTU Compute) at the Technical University of Denmark. He holds a MSc in Engineering (1982) and a PhD in Computer Science (1987) from DTU. He has held postdoctoral and visiting roles, including a fellowship at IBM Research Center (1984–1985) and a guest professorship at Oldenburg University (1992–1993). His research focuses on formal methods, embedded systems, and real-time systems, emphasizing mathematically grounded software development. He has authored/co-authored three books and over 70 scientific articles. Research interests include model-based program construction, temporal logic, functional programming, and ontology alignment. He has led projects on ontology matching frameworks (e.g., MDMapper) and formal methods for real-time systems. Hansen has supervised PhD students in areas like data integration and genetic circuit synthesis. He has contributed to international conferences and serves as a reviewer/examiner for academic programs. His work bridges theoretical foundations with industrial applications, particularly in embedded systems and data management. He has collaborated internationally, with projects addressing ESG reporting standards and regulatory compliance through automated data traceability.

Official University Profile