Find Academic Supervisors

Magnus O. MyreenView profile

Professor

• Formal verification
• Interactive theorem provers
• Compilers
• +6 more

Magnus O. Myreen is a Professor at Chalmers University of Technology in the Department of Computer Science and Engineering. His research focuses on formal verification , interactive theorem provers, compilers, machine code, and functional programming. He leads the CakeML project, aiming to create verified compilers and runtime systems. Education: B.A. in Computer Science from University of Oxford, Ph.D. in Program Verification from University of Cambridge. Current Roles: Professor at Chalmers, part-time researcher at Arm Ltd., and steering committee chair for ITP conference. His research integrates decompilation into logic , proof-producing synthesis , and verified stacks that connect software and hardware verification. Recent work includes verified compilers for Scheme and Dafny via CakeML, and end-to-end verification of subgraph-solving algorithms. Key publications highlight verified compiler ecosystems , including bootstrapping CakeML, cross-architecture compilation, and hardware verification. Trends in his work emphasize automated reasoning , compiler optimization , and verified computation for AI/ML . Scientific Awards: BCS Distinguished Dissertation Competition 2010 ACM SIGPLAN Most Influential POPL Paper Award 2024 Amazon Research Award for Compiling Dafny to CakeML (2023) Myreen has supervised PhD students Alejandro Gomez , Oskar Abrahamsson , and Andreas Loow . Funding includes grants from the Swedish Research Council and a Royal Society University Research Fellowship . He also contributes to projects like Milawa and HOL Light verification.

Cameron FreerView profile

Researcher

• Probabilistic Computing
• Random Structures
• Mathematical Logic
• +4 more

Cameron Freer is a Research Scientist at the Massachusetts Institute of Technology's Probabilistic Computing Project. His academic career spans multiple institutions including Keio University, Harvard University, and University of Hawaii at Manoa, with roles ranging from Postdoctoral Fellow to Project Associate Professor. Current affiliation: MIT Probabilistic Computing Project Past academic roles: Keio University SFC (2021–2024), MIT Brain and Cognitive Sciences (2013–2015), MIT Mathematics (2008–2010) Research interests focus on probabilistic computing , random structures , and their intersections with logic, mathematics, and artificial intelligence. Key contributions include foundational work on Markov categories , graphons , and feedback computability . Recent publications explore probabilistic programming systems , random graph modeling , and computable aspects of measure theory . Collaborators include prominent researchers from Harvard, Oxford, and MIT. Professional engagements include committee memberships in major conferences like POPL (2024), LAFI (2024–2025), and PLDI (2024). Holds PhD in Mathematics from Harvard University (2008).

• Theoretical Computer Science
• Automata Theory
• Formal Languages
• +4 more

Arnaud Carayol is a Professor of Computer Science at Gustave Eiffel University, where he has been working since September 2020. He is a member of the Models and Algorithms team at the Laboratoire d'informatique Gaspard Monge (LIGM). Prior to his current position, he was a full-time researcher at CNRS. His research focuses on theoretical aspects of computer science, with particular emphasis on: Automata Theory Formal Languages Logic in Computer Science Model Checking Pushdown Systems Games on Infinite Structures Professor Carayol's recent publications demonstrate a consistent focus on automata theory, particularly on infinite trees and pushdown systems, with applications to verification and game theory. His work often explores the connections between formal languages, logic, and computational models, with a particular emphasis on decidability and complexity questions. The trend shows increasing sophistication in handling higher-order systems and probabilistic elements in computational models. He has served on program committees for numerous prestigious conferences including LICS, STACS, ICALP, and FOSSACS. Notably, he was PC Co-Chair and organizer for CIAA 2017 and PC Chair and organizer for FICS 2013. Professor Carayol has led significant research projects: Head of project AMIS (2011-2014) financed by ANR Head of project VAPF (2011-2012) financed by Digiteo Member of project LiFoundations (2018-2022) His research continues to advance our understanding of theoretical models in computer science, with implications for program verification, formal methods, and computational theory.

• Portfolio Optimization
• Asset Pricing
• Factor Investing
• +3 more

Raman Uppal is a Professor at EDHEC Business School in Lille, France, and a Fellow at the Centre for Economic Policy Research (CEPR) in London, United Kingdom. With a prolific academic career spanning several decades, he has established himself as a leading scholar in finance with 43 scholarly papers accumulating over 41,500 downloads and 705+ citations on SSRN. His research focuses on several critical areas of finance: Portfolio optimization under parameter uncertainty and model misspecification Cross-sectional asset pricing and factor investing Behavioral finance and household portfolio decisions Financial market regulations and their economic implications The impact of transaction costs on investment strategies General equilibrium models with heterogeneous agents Professor Uppal's work demonstrates a consistent pattern of bridging theoretical models with practical investment applications. His recent research has increasingly focused on the practical implementation challenges of portfolio theory, examining how constraints like transaction costs, market frictions, and regulatory requirements affect investment outcomes. His studies often combine sophisticated mathematical modeling with rigorous empirical analysis to address fundamental questions in investment management. Among his notable achievements are: CEPR Fellowship, recognizing his contributions to economic policy research Publications in top finance journals including Journal of Finance, Review of Financial Studies, and Management Science Influential work on portfolio choice under uncertainty that has shaped academic and practitioner thinking Professor Uppal maintains active research collaborations with leading finance scholars including Victor DeMiguel, Lorenzo Garlappi, and Alberto Martin-Utrera. His current research agenda addresses pressing questions in finance, including ESG investing effectiveness, mutual fund performance evaluation frameworks, and the implications of financial market regulations for portfolio construction.

Paul DownenView profile

Assistant Professor

• Programming Languages
• Logic
• Formal Methods
• +5 more

Paul Downen is an Assistant Professor in the Miner School of Computer & Information Sciences at the University of Massachusetts Lowell, where he has been teaching since Fall 2021. His academic journey began with dual Bachelor's degrees in Computer Science and Computer Engineering from Lawrence Technological University in 2010, followed by a Ph.D. in Computer Science from the University of Oregon in 2017. He has also been a visiting researcher at INRIA and Microsoft Research. His educational background includes: Ph.D. in Computer Science (2017), University of Oregon - Eugene, OR Dissertation Title: Sequent Calculus: A Logic and a Language for Computation and Duality B.S. Computer Science (2010), Lawrence Technological University - Southfield, MI B.S. Computer Engineering (2010), Lawrence Technological University - Southfield, MI Dr. Downen's research centers on the intersection of logic and programming languages, with a focus on using logical foundations to improve the efficiency, correctness, and safety of programs and their compilation. His primary research lies in the Curry-Howard correspondence or proofs-as-programs paradigm, exploring how logical principles can inform both program design and compiler optimization. He is particularly interested in duality principles in computation, where he investigates how concepts like functional and object-oriented programming paradigms represent dual perspectives on the same underlying computational processes. His publication record shows a consistent focus on foundational aspects of programming languages, with recent work exploring copatterns, macro systems, evaluation strategies, and the relationship between type systems and machine representation. His research often bridges theoretical concepts with practical implementation, particularly through contributions to the Glasgow Haskell Compiler (GHC). Among his notable achievements are: Best Paper Award (2017) at Programming Languages Design and Implementation (PLDI) Oregon Doctoral Research Fellowship (2017) from the University of Oregon Best Paper Award nomination (2012) at European Joint Conferences on Theory and Practice of Software Best Paper Award nominee (2025) at Trends in Functional Programming Dr. Downen has been instrumental in organizing the Oregon Programming Languages Summer School, expanding its reach to diverse audiences through a "Foundations" lecture series. His teaching portfolio includes courses on Organization of Programming Languages, Assembly Language Programming, and Effective Functional Programming. His research has resulted in practical implementations within GHC, including Sequent Core (an alternative intermediate language based on sequent calculus) and Join Points (an optimization for control flow).

Hannah SandeView profile

Associate Professor

• Phonological Processes
• Syntax-Phonology Interface
• Morphology-Phonology Interface
• +2 more

Hannah Sande is Associate Professor of Linguistics at UC Berkeley, specializing in phonological theory and its interfaces with syntax/morphology. She holds a PhD from UC Berkeley and conducts extensive fieldwork on West African languages, particularly Guébie (Kru) and Lobi (Gur). Her research investigates phonological domains, morphologically conditioned phonology, prosodic systems, and linguistic typology. Current NSF-CAREER funded projects focus on multiword tone and harmony systems across four languages. Publications center on tonal phonology, morphological conditioning, prosodic typology in African languages, and theoretical frameworks like Cophonologies by Phase. Recent work examines recursion in morphology and noun classification systems. Morris Halle Memorial Award for Phonology (2024) Peder Sather Grant Award (2023-2025) NSF CAREER Grant (2023-2028) Stanford CASBS Fellowship (2018-2019) NSF Documenting Endangered Languages Grant (2018-2022) She directs the Guébie Documentation Project, maintains the California Language Archive collections, and founded the TwistedTongues database tool. Current PhD students investigate topics in phonology and morphology.

• Business Analytics
• Operational Research
• Artificial Intelligence
• +7 more

Dr. Wolfgang Garn is an Associate Professor in Analytics at the University of Surrey’s Surrey Business School, specializing in Business Analytics and Operations. His roles include Programme Director of Business Analytics and Acting Head of the Business Transformation Department. He holds a PhD in Technical Mathematics and Computer Science from the Vienna University of Technology. His research focuses on operational research, machine learning applications in logistics and healthcare, and sustainable supply chains. He has led industry projects with organizations like Royal Mail, Surrey County Council, and Smartana, his analytics consultancy firm. Research interests include Discrete Event Simulation (DES), Artificial Intelligence (AI) ethics, and optimizing transportation networks. Notable contributions include frameworks like SAGE (Settings, Audience, Goals, Ethics) for explainable AI and the PURE framework for e-waste management. He has authored books on Data Analytics and teaches modules in machine learning, business intelligence, and supply chain analytics. His industry collaborations span telecommunications optimization, military decision support systems, and environmental sustainability. Dr. Garn advises PhD students exploring topics like sustainable supply chains (Sheeba Pathak), fraud detection (Eleanor Mill), and medical AI applications (Vasilis Nikolaou). He is a member of professional bodies including INFORMS, EURO, and the Society for Modeling & Simulation International.

• Analytic Combinatorics
• Enumerative Combinatorics
• Asymptotic Analysis
• +2 more

Stephen Melczer is an Assistant Professor in Combinatorics and Optimization at the Cheriton School of Computer Science, University of Waterloo. His research advances analytic combinatorics, lattice path enumeration, and symbolic computation techniques. Research develops multivariate methods for asymptotic enumeration, including work on generating functions, lattice paths, and tree structures. Recent publications focus on SageMath implementations, AVL tree encodings, and singularity analysis. Publications demonstrate consistent innovation in combinatorial algorithms with applications to information theory and data structures. Work integrates symbolic computation with asymptotic analysis for rigorous combinatorial results.

Jakob StoustrupView profile

Professor

• Control Theory
• Smart Grid
• Energy Systems
• +5 more

Jakob Stoustrup is a Professor in the Department of Electronic Systems at Aalborg University, affiliated with The Technical Faculty of IT and Design. His research focuses on control systems engineering with applications in smart grids, energy sustainability, and medical technology. He leads the Green Lab mission on sustainable Danish energy systems and has contributed to UN Sustainable Development Goals related to clean energy and climate action. Key roles: PI on major projects like ADAPT-T2D (Type 2 Diabetes Management) and BEO-COVID (pandemic modeling) Expertise: Smart grid control, fault-tolerant systems, renewable energy integration Leadership: Chair of AAU's Research Indicator Committee (2022-2023) Research interests span control theory fundamentals, climate change mitigation strategies, and interdisciplinary innovation frameworks like the BUMP portfolio system. Over 380+ publications and 47+ projects demonstrate his impact in energy systems, medical engineering, and pandemic response technologies. Active in media discussions on energy policy and smart infrastructure.

• Algorithms
• Machine Learning
• Deep Learning
• +6 more

David Li serves as Program Director for Data Analytics and Visualization at the Department of Graduate Computer Science and Engineering, part of the Katz School of Science and Health at Yeshiva University. His research focuses on algorithmic modeling, machine learning, and interdisciplinary applications in fields such as computational chemistry, finance, and ecology. He has published extensively on topics including MapReduce optimization, reinforcement learning frameworks, and ecological forecasting. Notable work includes the Best Regional Paper Award-winning Dual-Path Deep Learning Framework for Video Quality Assessment presented at IEEE ICCE 2025. Education: Details not provided in current text. Courses Taught: Deep Reinforcement Learning, Numerical Methods, Data Acquisition & Management, Independent Study. Grants & Collaborations: Collaborates with students on projects across algorithm design, machine learning, and interdisciplinary applications. His work bridges theoretical computer science with practical challenges in diverse domains, emphasizing scalable solutions for complex systems.

Tomasz StrzaleckiView profile

Professor

• Decision Theory
• Macroeconomic Theory
• Behavioral Economics
• +3 more

Tomasz Strzalecki is the Henry Lee Professor of Economics at Harvard University's Department of Economics. He has held this position since 2009, following his 2008 Ph.D. from Northwestern University and a 2002 M.A. from the University of Warsaw. His research focuses on decision theory, ambiguity aversion, temporal preferences, and bounded rationality, blending foundational axiomatic studies with applied economic analysis. His work explores how decision-makers handle uncertainty and time, with contributions to stochastic choice models, dynamic utility frameworks, and behavioral economic theory. Key themes include resolving ambiguity in economic decisions, modeling optimal timing of choices, and understanding deviations from classical rationality assumptions. Strzalecki’s articles span theoretical economics, cognitive science, and finance, addressing topics like drift-diffusion models in decision-making, coarse competitive equilibrium, and quasi-hyperbolic discounting. He has contributed to prestigious journals in economics and interdisciplinary fields. His research has implications for understanding consumer behavior, financial markets, and policy design under uncertainty. Despite his prolific output, no formal student advisees are listed in the provided information. He holds no currently noted scientific awards in the text, though his academic contributions are widely recognized in his field.

Harmen de WeerdView profile

Assistant Professor

• Human-machine teamwork
• Multi-agent systems
• Agent-based modeling
• +3 more

Harmen de Weerd is an Assistant Professor at the Faculty of Science and Engineering, University of Groningen. He is affiliated with the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence. His research focuses on human-machine teamwork, agent-based modeling, and higher-order reasoning. Key interests include strategic interaction among artificial systems and humans, with a focus on cooperation dynamics and decision-making under uncertainty. Research areas include multi-agent systems, theory of mind modeling, negotiation strategies, and computational linguistics. Notable work examines how artificial agents can enhance human cognitive processes through interactive training and simulation. His studies often blend AI, game theory, and cognitive science to explore complex social interactions. Publications span topics like lie detection mechanisms, predictive theory of mind models, and cross-cultural game-playing behaviors. He has contributed to agent-based simulation frameworks for bargaining dialogues and developed methodologies for estimating higher-order reasoning in human-agent systems. His work emphasizes practical applications in educational technology, behavioral change modeling, and metacognitive agent design. The Bernoulli Institute provides his primary research infrastructure, focusing on interdisciplinary computational science and AI innovation.

Liz CountrymanView profile

Associate Professor

• Creative Writing
• Contemporary Poetry
• Poetry Composition
• +1 more

Liz Countryman is an Associate Professor and McCausland Faculty Fellow in the Department of English Language and Literature at the University of South Carolina's McCausland College of Arts and Sciences. She holds office HUO 515 and can be contacted via email (countrym@mailbox.sc.edu) or phone (803-576-5891). Education PhD in English (University of Houston, 2012) MFA in Creative Writing (University of Maryland, 2006) Research Focus Countryman specializes in contemporary poetry and creative writing processes, with emphasis on experimental forms, ecopoetics, and the intersection of material culture with literary expression. Her work explores spatial narratives and creative methodology. Editorial Leadership Serves as co-editor (with Samuel Amadon) of Oversound , an innovative poetry journal that features experimental and contemporary verse. Teaching Portfolio ENGL 200: Creative Writing, Voice, and Community ENGL 286: Poetry ENGL 360: Introduction to Creative Writing ENGL 460: Advanced Writing ENGL 464: Poetry Workshop ENGL 600: Seminar in Verse Composition

• Industrial Wireless Networks
• Cognitive Radio
• Deep Reinforcement Learning
• +7 more

Haibin Yu is a researcher active in computer science and industrial engineering domains, with a focus on Industrial Wireless Networks , Cognitive Radio , and Deep Reinforcement Learning . Their collaborative work spans institutions and disciplines, addressing challenges in Edge Computing , Digital Twin , and Blockchain applications. Research Interests : Yu's work intersects Industrial Wireless Networks , AI in Healthcare , Multi-Domain Recommendation Systems , and Wireless Sensor Networks . Their contributions include optimizing resource allocation, enhancing secure task offloading, and developing frameworks for edge computing in manufacturing. Article Trends : Recent publications emphasize 5G Networks , Industrial Automation , and Digital Twin-Driven Collaborative Scheduling , reflecting a shift toward Intelligent Manufacturing and Trustworthy Computing in industrial contexts. Collaborations : Yu frequently collaborates with researchers like Peng Zeng , Chi Xu , and Wei Liang , indicating a strong network in wireless and AI-driven industrial systems.

Doug J StarkView profile

Assistant Professor

• Media Theory
• Critical Theory
• Game Studies
• +4 more

Douglas J. Stark is an Assistant Professor of Technology and Digital Media in the English Department at The University of Texas at Arlington. His research focuses on the intersections of film and media studies, game studies, and science and technology studies, particularly examining how play adapts to social and technological changes from the Industrial Revolution to the Information Age. He is currently developing a project titled Untimely Play: History, Habit, Games , which critiques the relationship between play and neoliberal power structures. Stark holds a PhD in English and Comparative Literature from the University of North Carolina (UNC) Chapel Hill, an MA and BA in English from Loughborough University (UK). His awards include the Experiential Learning Faculty Fellowship (UTA Libraries, 2024) and multiple NSF Travel Grants. He is a member of the Society for Cinema and Media Studies, Digital Games Research Association, and Society for Literature, Science, and the Arts. His research interests span media theory, critical theory, biopolitics, and esports pedagogy. Notable publications include analyses of gamification’s epistemic roles, recursive game structures in Lewis Carroll’s Alice’s Adventures in Wonderland , and critiques of neoliberalism in video game narratives like Ready Player One . Stark teaches courses on critical theory, digital media, and game studies, emphasizing interdisciplinary approaches. Recent articles explore topics such as strategic achronicity in experimental games, embodied literacy in QWOP , and the ethical implications of cybernetic game models. His work bridges humanities scholarship with emerging media practices, advocating for critical frameworks that interrogate play’s societal roles.