Find Academic Supervisors

• Static Analysis
• Logic Programming
• Program Verification
• +4 more

Manuel V. Hermenegildo is a Professor at the Universidad Politécnica de Madrid, Spain. He is a prominent researcher in the field of programming languages and static analysis, with significant contributions to logic programming, program verification, and formal methods. His work focuses on advancing static analysis techniques, compiler optimization, and energy-efficient computing. He has co-authored numerous papers and organized international conferences such as LOPSTR and SAS, demonstrating his leadership in academic and research communities. His research explores topics including abstract interpretation, runtime checking, and parallel logic programming systems. He is a key contributor to the Ciao Prolog system, emphasizing comprehensive tool integration and formal methods. His research interests span static analysis frameworks, program verification, resource usage analysis, and energy efficiency in computing. He has developed methodologies for optimizing program performance while ensuring correctness, with applications in both theoretical and applied domains. His work often bridges the gap between high-level program analysis and low-level hardware constraints, particularly in embedded systems. Recent trends in his publications include advancements in static cost analysis, dynamic inference of invariants, and tools for incremental assertion checking. His collaborations with institutions like the University of Copenhagen and the University of Kent reflect a global network in advancing computational logic and software engineering. He has been actively involved in academic service, including editorial roles for conference proceedings and journals. His contributions highlight a commitment to both foundational research and practical tools for the programming language community.

Arthur CharguéraudView profile

Researcher

• Program Verification
• Separation Logic
• Interactive Theorem Proving
• +8 more

Arthur Charguéraud is a senior researcher (Directeur de Recherche) at Inria, based in Strasbourg within the Camus team, affiliated with the iCube laboratory at Université de Strasbourg. His research spans program verification, program optimization, and mechanized semantics of programming languages, with a strong focus on separation logic and interactive theorem proving using Coq. Affiliation: Inria, Camus team, iCube Laboratory, Université de Strasbourg Position: Senior Researcher (Directeur de Recherche) Research Focus: Formal verification, separation logic, source-to-source transformations, high-performance computing His research interests center on developing formal methods to ensure correctness and efficiency in software systems. He works extensively on separation logic to verify both time and space complexity of programs, especially in the presence of garbage collection. His work bridges theoretical foundations with practical tools, such as the CFML framework and the OptiTrust optimization framework, which enables trustworthy source-to-source transformations with formal guarantees. His publications reveal a consistent focus on interactive verification, formal semantics, and performance optimization. Key themes include granularity control in parallelism, mechanized semantics (e.g., for JavaScript), and verified compilation. He has made significant contributions to separation logic, including extensions for time and space credits, big-O reasoning, and higher-order representation predicates. Arthur Charguéraud has received notable recognition for his work, including: Distinguished Paper Award at CPP 2022 SIGPLAN Research Highlight at PPoPP 2019 He has advised several PhD students and postdoctoral researchers, including Guillaume Bertholon, Alexandre Moine, and Armaël Guéneau. He leads the ANR-funded OptiTrust project (2022–2027), which aims to build a framework for verified source-to-source optimizations. He has also been involved in other major projects such as ANR VOCAL, ANR AJACS, and ERC DeepSea. His work is supported by both national (ANR, Inria) and institutional (CEA, ENS) grants. He is actively involved in the programming languages research community, serving on the program committees of top conferences including POPL, ICFP, PLDI, CPP, and CoqPL, and has chaired several workshops. He is also engaged in education and outreach, co-authoring the book Separation Logic Foundations in the Software Foundations series and designing challenges for the Concours Castor Informatique to promote computer science among young students.

Balázs VassView profile

Associate Professor

• Network Resilience
• Programmable Packet Scheduling
• Discrete Optimization
• +3 more

Assoc. Prof. Balázs Vass is an Associate Professor at University Babeș-Bolyai (Cluj-Napoca, Romania) and holds a Marie Skłodowska-Curie Postdoctoral Fellowship for his QoSeRM project. Previously, he conducted postdoctoral research at Budapest University of Technology and Economics (BME) under Gábor Rétvári and visited institutions in Vienna, Jerusalem, and Bucharest. His research focuses on network resiliency, programmable packet scheduling, and discrete optimization in backbone networks. Education: BSc/MSc in Mathematics/Applied Mathematics (ELTE University), PhD in Future Internet Research at BME under János Tapolcai. Postdoctoral work included collaborations with Stefan Schmid (TU Berlin), David Hay (Hebrew University), and Costin Raiciu (UPB). Research priorities include disaster-aware network design, SRLG-disjoint path algorithms, and compiling packet programs for reconfigurable switches. Recent grants include a Romanian Young Teams grant (2025) and a Marie Curie fellowship (2024-2026). Teaching responsibilities at UBB include courses on algorithms, data structures, and communication networks. Supervises PhD students Zoltán Tasnádi and Nándor Bándi, with student advisees winning multiple awards at national informatics competitions. Key projects: SMR-A-DRT (disaster-resilient routing), QoSeRM (QoS optimization), and contributions to frameworks like eFRADIR for network resilience. Active in conference organizing (INFOCOM TPC since 2023) and journal reviewing (ToN, TNSM).

Michael NaraineView profile

Associate Professor

• Sport Marketing
• Digital Sport Management
• Fan Engagement
• +3 more

Dr. Michael Naraine is an Associate Professor in Sport Management at Brock University. He previously taught at Deakin Business School in Melbourne, Australia, and currently serves as Vice-Chair of the Canada Snowboard board of directors. His research focuses on digital sport management, including social media strategies, esports, and sports gambling, with an emphasis on fan engagement and organizational transformation. He holds affiliations with the North American Society for Sport Management, American Marketing Association, and other global sport organizations. His research interests span sport marketing innovations, digital transformation in non-profits, and DEI initiatives. Notable awards include the 2024 Lough Award for DEI contributions and 2022 Emerging Scholar recognition. His publications include leading textbooks like *The Routledge Handbook of Digital Sport Management* (2023) and *Sport Management: Principles and Application* (2022, 6th ed.). His recent articles analyze social media perceptions in sport governance, toxicity in women’s sports discourse, and analogous forecasting for innovation adoption. Teaching focuses on sport marketing, sponsorship, and entrepreneurship. He advises professional and amateur sport organizations in Canada and Australia, contributing to strategic digital and governance frameworks.

• Concurrency and Parallelism
• Real-time Systems
• Distributed Systems
• +6 more

Lukasz (Luke) Ziarek serves as Associate Dean for Academic Affairs and Associate Professor in the Department of Computer Science and Engineering at the University at Buffalo's School of Engineering and Applied Sciences. His work bridges theoretical computer science with practical systems engineering, focusing on real-time capabilities in distributed environments and safety-critical applications. His educational foundation includes a PhD in Computer Science from Purdue University (2011) and a BS in Computer Science from the University of Chicago (2003). Ziarek's research centers on formal verification of distributed protocols , real-time systems engineering , and mobile/embedded computing . He pioneers session type theory for IoT security, develops real-time variants of Android (RTDroid) and Standard ML (RTML), and investigates UAV software reliability. His work consistently addresses the tension between theoretical guarantees and practical system constraints in concurrency, timing, and security. Recent publications (2022-2025) reveal three dominant trajectories: formal methods for rate-based session types in IoT protocols, performance analysis of visual SLAM systems for robotics, and security vulnerabilities in embedded platforms like ARM TrustZone. These threads converge on ensuring correctness and timeliness in resource-constrained distributed systems. His scientific accolades include the IEEE Region One Technological Innovation Award (2023) and NSF CAREER Award (2018), reflecting dual excellence in research and education. IEEE Region One Technological Innovation (Academic) Award, 2023 President Emeritus and Mrs. Meyerson Award for Distinguished Undergraduate Teaching and Mentoring, 2022 NSF CAREER Award, 2018 SEAS Early Career Teacher of the Year, 2016 Halstead Award for Outstanding Research in Software Engineering, 2009 Intel Fellowship, 2008 GAANN Fellowship, 2004 Ziarek directs significant research initiatives including a $900K NSF UAV infrastructure project (as PI) and a $1.7M MRI grant for connected vehicle testing. His funding portfolio spans real-time systems, compiler design, and pocket-scale data management, emphasizing collaborative, interdisciplinary approaches to software reliability. CRI:CI-New UAV Infrastructure ($900K, PI 31%) NSF CAREER: Real-time Object-Oriented Systems ($500K, PI 100%) MRI: iCAVE2 Vehicle Testing ($1.7M, co-PI 14%) III: Just-in-Time Data Structures ($499K, co-PI 50%) II-EN: MLton Compiler Research ($606K, PI 63%) He leads an open-source ecosystem including RTDroid (real-time Android), Multi-MLton (parallel SML compiler), and BlueSeal (Android security analyzer), fostering community-driven advances in systems software.

Steve SmithView profile

Professor

• Political Philosophy
• Social Policy
• Well-being
• +5 more

Steve Smith is a Professor of Political Philosophy and Social Policy at the Faculty of Creative Industries. He leads the WISERD Well-being Research Network and has held roles including Research Consultant at the Institute of Technology Carlow and Chair of the Newport City Council Fairness Commission. His academic background includes a PhD from Warwick University (1996), an MSc/CQSW from Oxford (1988), and a BA from Newcastle upon Tyne (1983). Research interests focus on well-being, disability rights, political philosophy, and social policy. Key projects include developing the South Wales Social Well-being Scale and analyzing tipping points in climate policy. He has published extensively, with recent works addressing ethical life between social theory and philosophy, political tipping dynamics, and the ontology of well-being. Smith serves on editorial boards (e.g., Ethics and Social Welfare) and has acted as an external examiner across multiple universities. His work bridges theory and practice, emphasizing interdisciplinary approaches to complex societal challenges like inequality and environmental sustainability.

Deian StefanView profile

Associate Professor

• Security
• Programming Languages
• Systems
• +7 more

Deian Stefan is an Associate Professor in the Computer Science and Engineering (CSE) Department at University of California, San Diego (UCSD) . His research focuses on secure systems , spanning security , programming languages , and systems . Notably, he works on WebAssembly , JavaScript JITs , and language-based security (e.g., constant-time programming, memory safety, information flow control). Education : PhD in Computer Science from Stanford University (2015), M.Eng and B.Eng in Electrical Engineering from Cooper Union (2011) His research trend emphasizes secure compilation , transient execution attacks , and hardware-software co-design for security . Key themes include SFI (Software Fault Isolation) , constant-time cryptography , and WebAssembly hardening . Scientific Awards Distinguished paper awards at POPL 2023, IEEE MICRO Top Picks 2024 IEEE Cybersecurity Award for Practice 2022 CSA W first place (2020), DJB Prize (2010) He teaches graduate courses like CSE 227: Graduate Computer Security and CSE 291: Building Secure Systems , covering topics from supply chain attacks to hardware defenses . He co-founded web-security startup Intrinsic (acquired by VMWare).

Vivek SarkarView profile

Professor

• Parallel Computing
• Heterogeneous Computing
• High-Performance Computing
• +5 more

Vivek Sarkar is currently the Chair of the School of Computer Science and the Stephen Fleming Chair for Telecommunications in the College of Computing at Georgia Institute of Technology. His career spans both industry and academia, with significant contributions to parallel computing, including programming models, compilers, and runtime systems. Ph.D. from Stanford University (1995-2007: IBM Academy of Technology member) 2007-2017: Chair of Computer Science Department at Rice University 2017-present: Georgia Institute of Technology Research Interests focus on programmability and productivity in parallel, heterogeneous, and high-performance computing systems. His work encompasses: Programming language design (e.g., X10, Habanero-C/C++) Compiler optimization and runtime systems Formal verification for parallel programs Education initiatives (Coursera specialization on parallel programming) Recent Publications highlight verification techniques in compilers, machine learning integration for code optimization, and Rust-based interfaces for distributed C++ systems. Scientific recognitions include: ACM Fellow IEEE Fellow 2020 ACM-IEEE CS Ken Kennedy Award He has mentored over 30 Ph.D. students/postdocs and leads the Habanero Extreme Scale Software Research Laboratory , which develops scalable parallel programming frameworks. Current advisory roles include: US Department of Energy’s ASCAC (2009-present) Computing Research Association (CRA) Board (2015-2022) Founding co-chair of CRA-Industry committee (2021)

Nodir DjanibekovView profile

Researcher

• Land reform and agricultural restructuring
• Agricultural and water management institutions
• Sustainability and resilience
• +4 more

Dr. Nodir Djanibekov is a Researcher at the Leibniz Institute of Agricultural Development in Central and Eastern Europe (IAMO) , serving as Deputy Head of the Agricultural Policy Department since 2012. He leads the CARe research group on rural community resilience and acts as IAMO's contact for Central Asia international collaboration . Doctorate from University of Bonn's Center for Development Research (ZEF) Specializes in Central Asian agriculture , focusing on: Land and water governance Behavioral economics in farming Institutional analysis of agricultural reforms Climate change adaptation strategies His recent publications focus on water governance challenges (2025), economic integration impacts (2025), and adoption of sustainable practices (2024-2025). Research employs experimental economics and bio-economic modeling across Kazakhstan, Uzbekistan, and Kyrgyzstan. Key projects include: UzFarmBarometer - Understanding sustainable practice adoption AGRIWANET - Climate change and water scarcity CAWAMNET - Water conflicts and migration SUSADICA - Doctoral program on sustainable agriculture

Michel SchinzView profile

Lecturer

• Software Engineering
• Programming Languages
• Compiler Construction
• +1 more

Michel Schinz serves as a Lecturer at École Polytechnique Fédérale de Lausanne (EPFL) in the School of Computer and Communication Sciences, holding dual affiliations with the Department of Systems and Networking (SIN) and Department of Software and Systems Engineering (SSC). His roles include teaching responsibilities in SIN-ENS and SSC-ENS units, and scientific duties within the SIN-GE administrative division at BC 140, Station 14, Lausanne. His pedagogical focus centers on core software development methodologies, particularly evident in his courses Practice of object-oriented programming—where students implement Java projects exploring collections and design patterns—and Advanced compiler construction, which covers implementation techniques for functional programming languages through hands-on compiler development. These offerings highlight his expertise in programming language theory and practical software engineering. No information regarding academic advising, research grants, laboratory leadership, or scientific awards is available in the provided materials, as the profile emphasizes teaching and administrative functions without research output documentation.

• Program Analysis
• Program Synthesis
• Program Transformation
• +5 more

Kihong Heo is an Associate Professor at the School of Computing, Korea Advanced Institute of Science and Technology (KAIST), where he leads the Programming Systems Laboratory. He received his Ph.D. in Computer Science & Engineering from Seoul National University and previously served as an Assistant Professor at KAIST (2017-2019) and a Post-doctoral Researcher at the University of Pennsylvania (2009-2017). His research focuses on developing program reasoning systems for safe and reliable software, with three main thrusts: AI-based program analysis systems for detecting deep semantic software bugs, general-purpose program simplification systems for secure and efficient software, and scalable program synthesis systems for automatic software generation and repair. His work bridges formal methods, programming languages, and machine learning to address critical challenges in software reliability and security. Prof. Heo's recent publications demonstrate a strong trend toward integrating machine learning techniques with traditional program analysis and verification methods. His research spans compiler correctness (particularly for JavaScript engines), mobile security verification, and automated program transformation. The work on 'Safeguarding Mobile GUI Agent via Logic-based Action Verification' (MobiCom 2025) and 'Optimization-Directed Compiler Fuzzing for Continuous Translation Validation' (PLDI 2025) exemplifies his focus on practical verification techniques for real-world systems. ACM SIGSOFT Distinguished Paper Award (FSE 2025) Amazon Research Award (2024) The Soo-Young Lee Teaching Innovation Award, KAIST (2024) Prize for Excellence in Teaching, KAIST (2024) Best Artifact Award, ICSE (2022) ACM SIGPLAN Distinguished Paper Award, PLDI (2019) Prof. Heo actively mentors graduate students, currently advising three Ph.D. students (Yeonhee Ryou, Taeeun Kim, Sujin Jang) and four Master's students. He serves on program committees for major conferences including ICSE, PLDI, OOPSLA, and SAS, and is an Associate Editor for ACM Transactions on Software Engineering and Methodology (TOSEM). His Programming Systems Laboratory develops tools like Sparrow, a state-of-the-art static analyzer for C programs that applies abstract interpretation techniques to verify the absence of fatal bugs.

Antonia ZhaiView profile

Associate Professor

• Compiler Optimizations
• Computer Architecture
• Parallel Processing
• +4 more

Antonia Zhai is an Associate Professor in the Department of Computer Science and Engineering at the University of Minnesota. She holds a Ph.D. in Computer Science from Carnegie Mellon University (2005), an M.A.Sc. in Computer Engineering from the University of Toronto (1998), and a B.A.Sc. in Computer Engineering from the University of Toronto (1996). Her office is located at 6-205 Kenneth H. Keller Hall, Minneapolis, MN. Her research focuses on developing novel compiler optimizations and computer architecture features to enhance both performance and non-performance aspects of computing systems. Key interests include: Thread-level speculation for parallel processing Multicore architecture optimization Hardware/compiler co-design for security and reliability Dynamic performance tuning in heterogeneous systems High-speed network packet processing architectures Her publications demonstrate sustained focus on parallel computing, compiler optimizations, and hardware security, with recent work expanding into network function virtualization and cache-side channel attack detection. She leads the High-Performance Computing and Compilers (HPCC) group and organizes the weekly HPCC seminar series focused on architectures and compilers. She has advised 12+ graduate students including 8 PhD graduates now at companies like AMD, NVIDIA, and Oracle. Significant research grants include: NFLambda: NFV Framework (NSF 2021-2025) Dynamic Binary Translation (NSF 2015-2019) In Vivo Software Monitoring (NSF 2009-2014) Embedded Fault Detection (NSF 2009-2014)

Anders MøllerView profile

Professor

• Programming Languages
• Software Engineering
• Static Program Analysis
• +4 more

Anders Møller is a Professor and Vice Head of Department at the Department of Computer Science, Aarhus University, Denmark. He is a leading researcher in programming languages and software engineering, with a primary focus on static and dynamic program analysis. He serves as Chairman of the PhD Committee and holds leadership roles in the international research community, including Vice-Chair of ACM SIGPLAN and Associate Editor for ACM TOPLAS and ACM TOSEM. His research interests include programming languages, software engineering, static and dynamic analysis, program verification, and security. His work bridges theoretical foundations and practical applications, particularly in improving software reliability and security through advanced analysis techniques. The trends in his recent publications reflect a strong emphasis on static analysis for security, scalability, and real-world impact—especially in web applications, smart contracts, and open-source software supply chains. His research has evolved toward practical deployment, demonstrated by the founding and acquisition of Coana by Socket in 2025 for enhanced vulnerability detection. Recipient of the Danish Elite Research Prize 2020 ACM Distinguished Member He actively mentors students and contributes to the academic community through conference leadership (e.g., OOPSLA, PLDI, ICSE). He also co-authored the widely used textbook Static Program Analysis with Michael I. Schwartzbach. His work is deeply integrated into both academic and industrial advancements in software analysis and security.

Tuan Phong NgoView profile

Researcher

• Formal methods
• Concurrent program verification
• Weak memory models
• +2 more

Tuan Phong Ngo is a Researcher in Computer Science at Uppsala University , Sweden, affiliated with the Department of Information Technology under the Disciplinary Domain of Science and Technology . He specializes in formal methods and software verification.

• Programming Languages
• Type Theory
• Compiler Construction
• +4 more

Björn Lötters, M.Sc., is a Lecturer and research associate at the Technical University of Central Hesse (THM) within the Department of Mathematics, Natural Sciences and Computer Science. He is also a doctoral student in collaboration with the Justus Liebig University. His primary teaching responsibilities include courses on functional programming, compiler construction, and programming language design, with a focus on empowering students to explore advanced topics like dependent types and syntax abstraction. Education: Studied computer science at THM until 2019. Career: Worked as a software engineer until 2021, then transitioned to academia as a research associate and lecturer at THM. Research Focus: Programming languages (design & implementation) Type systems and type theory Metaprogramming tools Software architecture and design His ongoing research projects include a doctoral thesis on the application of intuitionistic type theory in programming languages and a study on syntax abstraction mechanisms. He actively supervises bachelor's and master's theses, offering topics related to dependent type elaborators, reference management systems, and educational LISP platforms.