Find Academic Supervisors

Yuyan BaoView profile

Assistant Professor

• Programming Languages
• Software Engineering
• Formal Methods
• +5 more

Yuyan Bao is an Assistant Professor in the Department of Computer & Cyber Sciences at Augusta University, affiliated with the School of Computer and Cyber Sciences. His research focuses on programming languages, formal methods, and software security, particularly in developing frameworks for program correctness and security verification. He holds a Ph.D. in Computer Science from the University of Central Florida (2017), a ME from Beihang University (2007), and a BE from Beijing University (2003). Education: Ph.D., Computer Science, University of Central Florida, 2017 ME, Computer Software Engineering, Beihang University, 2007 BE, Computer Science, Beijing University, 2003 Research interests include formal verification, higher-order functional programming, domain-specific languages, and secure multi-party computation. Recent work emphasizes reachability types for aliasing and separation tracking, and graph intermediate representations for optimization in impure languages. His projects include HACCLE for secure MPC and collaborations on cryptographic API misuse detection. His publications span formal methods, type systems, and security analysis, with a focus on practical applications of theoretical frameworks. He serves on the Faculty Search Committee and as a Journal Editor for Computer Software and Media Applications.

Paolo ModestiView profile

Senior Lecturer

• Cybersecurity
• Formal Methods for Security
• Security Protocols
• +5 more

Paolo Modesti is a Senior Lecturer in Cybersecurity at Teesside University's School of Computing, Engineering and Digital Technologies. He holds a PhD in Computer Science from Ca' Foscari University Venice, Italy, and an MSc from the University of Udine. His research focuses on security protocols, formal methods, and tool development for secure systems. He is a Fellow of the Higher Education Academy and a licensed professional engineer. Dr. Modesti's work includes designing formal verification frameworks (e.g., AnBx compiler/IDE) and analyzing protocols like Open Banking APIs and Bitcoin's Payment Protocol. He actively contributes to academic conferences (e.g., IEEE, ACM) and serves on program committees for security-related events. His teaching roles include leading the BSc Cyber Security program and modules on Ethical Hacking and Security Analysis. Research interests span security protocol modeling, automatic code generation, intrusion detection systems, and blockchain security. He advocates bridging the gap between academic tools and industry practices through frameworks like PTES and MITRE ATT&CK. His tools, such as the AnBx ecosystem, aim to simplify formal methods adoption for practitioners.

Arie GurfinkelView profile

Professor

• Automated Program Analysis
• Software Model Checking
• Automated Reasoning
• +4 more

Arie Gurfinkel is a Professor at the University of Waterloo, holding a joint appointment in the Department of Electrical and Computer Engineering and the Cheriton School of Computer Science. His research focuses on automated program analysis, software model checking, automated reasoning, and abstract interpretation. He develops tools like SeaHorn, Avy, and others to enhance the verification and testing of complex computer systems. His work emphasizes formal methods, machine learning integration, and hardware/software verification. Recent publications highlight advancements in interpolation-based model checking, constrained Horn clauses, and algorithm selection for hardware verification. Gurfinkel's contributions include open-source tools and frameworks widely used in academic and industrial verification efforts. He actively seeks motivated graduate students interested in logic, automated reasoning, and formal methods. His research has been presented in top-tier conferences and journals, reflecting his expertise in formal verification and software engineering.

Ken Friis LarsenView profile

Associate Professor

• Programming Languages
• Security
• Privacy
• +7 more

Ken Friis Larsen is an Associate Professor at the Department of Computer Science (DIKU), University of Copenhagen, specializing in programming languages, security, privacy, and functional programming. He contributes to projects like HIPERFIT (high-performance financial computing) and WallViz (visualization tools). Research Focus : Language design, formal methods, functional programming (Standard ML, Haskell, OCaml, Scheme), secure compilation, and performance optimization. Technical Leadership : Maintains Moscow ML (Standard ML implementation) and mGTK (functional GUI library). Key Publications : 2020: Hermes (secure compilation without side-channels) 2019: F (music composition language) 2016: Redomap (GPGPU performance in Futhark) Additional Contributions : Co-developed PaML (parser combinators in SML) Active participant in ICFP Programming Contest (2005, 2008, 2017) Advocate for rigorous testing practices (QuickCheck, Criterion) and type-driven design

Elsa L GunterView profile

Research Professor

• Formal Methods
• Programming Languages
• Software Engineering
• +7 more

Elsa L Gunter is a Research Professor and Senior Lecturer at the University of Illinois at Urbana-Champaign's Department of Computer Science. Her academic background includes a Ph.D. in Mathematics from the University of Wisconsin, Madison. She leads research in formal methods, programming languages, and human-computer systems. Research Interests: Her work spans formal verification, programming language semantics, automated theorem proving, and security. She develops tools for compiler optimization verification, human-automation system safety, and concurrent program analysis. Key projects include the VeriF-OPT framework for parallel program transformations and Tutela for human-computer system protection analysis. Publications Focus: Her recent research emphasizes compiler verification, concurrency models, and human-system interaction. Work includes symbolic analysis for CSP, dependently-typed session systems, and robustness verification for safety-critical interfaces. Awards: Most Influential 10 Year Paper award at Requirements Engineering (RE 2010) EASST Best Software Science Paper at ETAPS 2001 Best Paper award at Fourth International Conference on Requirements Engineering (2000) Funding and Labs: Secured NSF grants for projects on parallel program verification ($450K) and human task analysis ($500K). Leads the Formal Methods and Verification Lab, collaborating with NASA on NextGen aviation systems. Student Advising: Mentored 7 PhD graduates and 12+ Master's students. Current PhD candidates work on secure distributed programming (Dennis Griffith) and formal methods for concurrent systems (Liyi Li, Susannah Johnson).

Mark UttingView profile

Associate Professor

• Software Verification
• Model-Based Testing
• Formal Methods
• +5 more

Associate Professor Mark Utting is affiliated with the University of Queensland (UQ), specifically within the School of Electrical Engineering and Computer Science. He holds the rank of Associate Professor and focuses on software verification, model-based testing, and programming language design. His academic journey includes roles at multiple Queensland universities, Waikato University (NZ), and the University of Franche-Comte (France). He earned his PhD from UNSW on object-oriented language semantics. Utting has authored over 80 publications and the book 'Practical Model-Based Testing: A Tools Approach.' His current research emphasizes verifying compilers, blockchain smart contracts, ARM64 binaries, and AI-generated code. Key projects include the Algorand Centre for Sustainability Informatics and the BASIL project on secure information-flow logics. His research spans formal methods, theorem proving, and software engineering. Utting leads supervision in areas like compiler verification and smart contract analysis, with active involvement in grants such as the 'Directed and Incremental Analysis for DevSecOps' project. Utting collaborates on interdisciplinary projects, including energy grid simulations and cybersecurity strategies. His work bridges academia and industry, with past experience in genomics and manufacturing software development.

Tobias GrosserView profile

Associate Professor

• Compilers
• Programming Languages
• Performance Programming
• +7 more

Tobias Grosser is an Associate Professor in the Department of Computer Science and Technology at the University of Cambridge. His research focuses on rethinking performance programming by bridging the gap between developers and compilers. He holds a PhD from École Normale Supérieure Paris and has held positions including Reader at the University of Edinburgh and Ambizione Fellow at ETH Zurich. His research interests span compilers, programming language design, static/dynamic analysis, and the integration of machine learning into compiler development. He emphasizes making compilation more modular, automatic, and trustworthy, with applications in quantum computing, climate science, and open-source hardware. Key projects include xDSL (a Python-native compiler framework), LoopOpt, and the Open Earth Compiler for climate simulations. Recent publications highlight advancements in multi-level intermediate representations (IR), formal verification in MLIR, and performance optimization for GPUs and FPGAs. His work often addresses barriers between programmers and compilers, aiming for intuitive collaboration between developers and automated systems. Tobias mentors a dynamic team of PhD students, postdocs, and researchers, including notable contributors like Siddharth Bhat, Arjun Pitchanathan, and Mathieu Fehr. His lab focuses on compiler toolchains for domain-specific hardware accelerators, quantum computing ecosystems, and verified compilation techniques.

• Formal Verification
• Parallel and Distributed Systems
• GPU Programming
• +4 more

GANESH GOPALAKRISHNAN is a Professor of Computer Science at the University of Utah's School of Computing. His work focuses on formal verification of parallel/distributed systems, GPU programming, and numerical error analysis. He has contributed to tools like ISP for MPI verification, ARCHER for OpenMP race detection, and FLiT for floating-point consistency testing. His research spans theoretical foundations (e.g., concurrency models) and practical applications (e.g., GPU error analysis). Recent work includes advancing formal methods for mixed-precision computing and resilience in exascale systems. Notable projects include rigorous error estimation for floating-point operations and compiler-assisted verification techniques. Research Interests: Formal Verification of Parallel Systems | GPU & HPC Correctness | Floating-Point Numerical Analysis | Concurrency Bugs | Tools for Distributed Systems. Current work emphasizes hybrid approaches combining formal methods with dynamic analysis to address emerging challenges in heterogeneous computing architectures. Articles Trends: Recent publications (2020–2025) emphasize GPU verification (data races, error analysis), mixed-precision computing (matrix operations, tensor cores), and resilience in HPC systems. Tools like FPDetect and BinFPE highlight practical contributions to error detection in production runs. Workshops (DOE/NSF) indicate leadership in defining correctness strategies for exascale computing. Labs/Teams: Leads research groups focused on formal methods for parallel computing and numerical system reliability. Collaborations include Argonne National Lab, NVIDIA, and LLNL on verification tools and HPC correctness frameworks.

• Compilers
• Software Testing
• Formal Verification
• +3 more

John Regehr is a Professor in the School of Computing at the University of Utah. His research focuses on compilers, formal verification, software testing, and embedded systems. He has contributed to tools like Alive2, YARPGen, and ARMor, which address compiler correctness, fuzz testing, and secure isolation. His work emphasizes uncovering compiler bugs, optimizing low-level code, and ensuring system reliability. Key collaborations include Eric Eide, Yang Chen, and Nuno P. Lopes. His articles span compiler verification, fuzzing techniques, and embedded system safety, reflecting a strong commitment to both academic rigor and practical impact. Research interests include compiler optimization validation, undefined behavior analysis, and program synthesis. His work on peephole optimizations and formal methods has influenced LLVM and industry practices. He also explores scheduling algorithms for real-time systems and memory safety in constrained environments like TinyOS. Notable contributions include foundational papers on compiler bug detection (e.g., 'Finding and understanding bugs in C compilers') and tools like Minotaur for SIMD optimization. His lab's work often bridges theory and practice, with applications in security, performance, and embedded software reliability.

Tomás Fernández PenaView profile

Professor

• High Performance Computing (HPC)
• Parallel and Distributed Systems
• Quantum Computing
• +5 more

Tomás Fernández Pena is a Full Professor at the University of Santiago de Compostela (USC) and Senior Researcher at the Research Center in Intelligent Technologies (CiTIUS) . With a career spanning over three decades, he has held academic positions since 1990 and contributed extensively to High Performance Computing (HPC), Big Data, and emerging quantum computing fields. Ph.D. in Physics from USC (1994) Senior Member of IEEE Associate Editor for IEEE Transactions on Computers and IEEE Access Research Contributions : His work focuses on parallel systems architecture, cloud computing middleware, and quantum simulation optimization. He has pioneered methods for NUMA systems, LiDAR data processing, and Big Data applications in bioinformatics/cheminformatics. His recent articles show increasing emphasis on quantum computing frameworks and distributed quantum processing. Scientific Recognition : Holds four Spanish Ministry of Education six-year research excellence periods (sexenios de investigación) and has served as Principal Investigator in 3 public projects and co-investigator in 31 EU/Xunta de Galicia funded initiatives. Supervised 7 Ph.D. theses and published 43+ international journal papers. International Collaborations : Maintains academic connections through funded research stays at Loughborough University, University of Tennessee, and University of Illinois Urbana-Champaign. Active in IEEE and participates in global conferences like Euro-Par and CHEP.

Juan Carlos Pichel CamposView profile

Professor

• parallel and distributed computing
• Big Data technologies
• programming models
• +7 more

Juan Carlos Pichel Campos is a Full Professor at the University of Santiago de Compostela (USC) specializing in high performance computing and language technologies. His research spans quantum computing, distributed systems, and Big Data technologies with a focus on practical applications in health informatics and computational physics. He received his B.Sc. and M.Sc. in Physics from University of Santiago de Compostela (Spain) and completed his Ph.D. there in 2006. He conducted postdoctoral research at University Carlos III de Madrid and University of Illinois at Urbana-Champaign, and worked as a researcher and project manager at Galicia Supercomputing Center. Professor Pichel's research interests include parallel and distributed computing, Big Data technologies, programming models, and software optimization techniques for emerging architectures. His recent work has focused on bridging quantum computing with classical high performance computing systems, developing efficient algorithms for processing massive biological datasets, and creating tools for health-related information retrieval and misinformation detection. His interdisciplinary approach combines techniques from computer science, physics, and biomedical informatics to solve complex computational problems. Analysis of his recent publications reveals a strong trend toward quantum computing applications and integration with classical HPC systems (accounting for approximately 40% of his recent work), followed by health informatics and natural language processing (about 30%), and bioinformatics and computational physics (about 30%). His research demonstrates a consistent focus on developing practical tools and frameworks that address real-world computational challenges across multiple domains. rePowerSiC: High-Efficiency High-Power Laser Beaming In-Space Systems Based On Sic (2024-2028) C3HS: Content curation for consumer health search - Search and misinformation detection (2023-2026) Big-eRisk: Early Prediction of Personal Risks on Massive Data (2021-2024) eRISK: Technologies for the early prediction of signs related with psychological disorders (2019-2021) BigNLP: Approaching High Performance Computing to Big Data Technologies: Natural Language Processing as Case Study (2015-2018) Professor Pichel has established strong collaborations with research groups across Europe and the United States, particularly in the fields of quantum computing and biomedical informatics. He is actively involved with CiTIUS (Centro singular de investigación en tecnoloxías da información e da comunicación de USC), contributing to its mission of advancing information and communication technologies through interdisciplinary research.

Jörg RobertView profile

Professor

• German Literature
• Early Modern Period
• Poetics and Aesthetics
• +5 more

Professor Jörg Robert holds the Chair of Literary History of the Early Modern Period at the Department of Modern Languages within the Faculty of Humanities at Eberhard Karls University of Tübingen. His research focuses on German literature in a European context from the 16th to 18th centuries, with particular emphasis on poetics and aesthetics, cultural and intellectual history, and intermediality and intertextuality. His research interests span multiple dimensions of early modern German literature, including: Early Modern literary aesthetics and alternative aesthetic frameworks Language history and purism in the 16th-18th centuries Intermedial relations between literature, visual arts, and music Anthology culture and textual compilation practices Intellectual history of the early modern period Translation studies and cross-cultural exchange Professor Robert's scholarly output shows consistent engagement with major figures of German literature including Martin Opitz, Friedrich Schiller, Friedrich Hölderlin, and Gotthold Ephraim Lessing, while also exploring broader theoretical frameworks for understanding early modern literary production. His recent publications indicate a growing interest in comparative approaches to aesthetics and interdisciplinary methodologies for studying premodern cultural artifacts. His academic leadership is evident through his editorial role in the Literaturstraße: Chinesisch-deutsche Zeitschrift für Sprach- und Literaturwissenschaft and his participation in the DFG-funded project VL17: Literaturwissenschaftliches Verfasserlexikon 17. Jahrhundert , where he serves as one of the principal editors for this major reference work documenting authors from 1620-1720. Professor Robert has supervised numerous doctoral students whose dissertations cover diverse topics within his research domains, including utopian narratives, archival poetics, interculturality, and literary aesthetics of the early modern period. His students' research demonstrates the breadth of his scholarly influence across multiple subfields of German literary studies. He is actively involved in multiple research projects including SFB 1391 "Andere Ästhetik" (Different Aesthetics), the DFG project on Hybrid Edition of Martin Opitz's German-language works, and the journal Artes: Journal of Literature and Arts of the Early Modern World .

Fabio CiambellaView profile

Researcher

• Corpus Linguistics
• Shakespeare Studies
• Translation Studies
• +3 more

Fabio Ciambella is a Researcher at the Department of European, American, and Intercultural Studies of Sapienza University of Rome . His academic work focuses on Corpus Linguistics , Shakespeare Studies , Translation Studies , and Early Modern English pragmatics. Teaches Second Language Acquisition (first semester) and English Language 3 (second semester) Specializes in dance lexicon analysis, historical translation reception, and CLIL methodology His publications demonstrate interdisciplinary connections between: Shakespearean language and modern media (ads, news, memes) Italian Renaissance dance manuals and English theatrical practices AI-assisted translation of historical varieties Eco-discourse pragmatics in food columns Office hours available via individual scheduling through fabio.ciambella@uniroma1.it

Lisovenko Iryna DmytrivnaView profile

Assistant Professor

• Parallel and Distributed Computing
• GPU Computing
• Automatic Program Parallelization
• +3 more

Lisovenko Iryna Dmytrivna serves as Assistant Professor in the Department of Computer Systems and Networks at Yuriy Fedkovych Chernivtsi National University since 2002, following her 2000 diploma in Computer Systems and Networks from the same institution. Her professional trajectory includes software engineering at a municipal medical institution (2000–2002) and ongoing contractual collaboration with Elogic Commerce since 2018. Her academic credentials include: Yuriy Fedkovych Chernivtsi State University, Faculty of Physics, Department of Computer Science, specialty "Computer Systems and Networks" (2000) Dr. Lisovenko's research centers on parallel and distributed computing, emphasizing automatic parallelization techniques, GPU-accelerated non-graphical computing, and structural analysis of program intermediate representations. She concurrently investigates specialized computer systems for data stream processing and develops methodologies for enterprise accounting automation, bridging theoretical computer science with business process optimization. Her scholarly output demonstrates sustained innovation in high-performance computing architectures. Analysis of her 15 most recent publications (2012–2021) reveals three dominant research thrusts: GPU-based parallelization (40% of works, including Kalyna encryption and bitonic sorting implementations), algorithmic optimization for diverse hardware (33%, covering sorting networks and structural matrices), and applied systems for real-world problems (27%, spanning smart home control, social media analysis, and enterprise automation). This evolution reflects increasing focus on practical GPU applications while maintaining core expertise in parallel algorithm design. She actively contributes to academic development through teaching Parallel and Distributed Computing, Economic and Legal Aspects of Enterprise Automation, and DevOps/DevNet courses, while authoring 12+ methodological manuals including "Parallel and Distributed Computing: Laboratory Workshop" (2022) and "System Administration of Linux OS" (2021). Her professional development includes certifications in Constitutional Law, Finance and Investment, DevNet Associate, and All Digital Week initiatives (2020–2021).

• Medieval Literature
• Arthurian Studies
• Heraldic Semiotics
• +4 more

Dr. Manuel Mildner is a researcher at the Institute for German Philology, Faculty of Philosophy, Julius-Maximilians-Universität Würzburg. His research focuses on medieval German literature, particularly Arthurian romances and Konrad von Würzburg's works, with expertise in heraldic semiotics and intermediality. Academic Career: Academic Counselor on Contract (since 2023), former Research Assistant at TU Braunschweig (2016–2021) Research Areas: Medieval epic poetry, literary heraldry, manuscript studies, translation cultures, and compilation poetics His 2025 monograph Wortgewandte Wappen analyzes heraldic codes in medieval literature. Current projects include a critical edition of Konrad von Würzburg’s Turnier von Nantes and organizing interdisciplinary conferences on medieval manuscripts. Scientific Awards: 2025 Dissertationspreis des Mediävistikverbands (2nd Place) 2024 Joint Dissertationspreis Universität Würzburg/Unterfränkische Gedenkjahrstiftung He contributes to editorial work (Zeitschrift Das Mittelalter ) and academic societies, including Deutsche Gesellschaft für Ästhetik and Internationale Artusgesellschaft. His recent publications explore intermedial relations in Arthurian manuscripts and translation practices in early modern Europe.