Find Academic Supervisors

Charlie FrenchView profile

Associate Professor

• Community Development/Revitalization
• Agriculture/Food Studies--Developing Countries
• Economic Development
• +3 more

Charlie French is an Extension Associate Professor in Community and Economic Development at the University of New Hampshire (UNH) and leads the Community and Economic Development program at UNH Cooperative Extension. He focuses on fostering civic leadership, community engagement, and sustainable economic strategies. His research emphasizes civic agriculture, community development impacts, and international agriculture. French holds a Ph.D. in Natural Resources Policy from UNH, an M.A. in Regional Planning from Western Illinois University, and a B.A. in Geography from Dartmouth College. His work bridges academic and practical applications, including teaching in UNH’s Development Policy and Practice program. Key research interests include rural community resilience, innovation in economic development, and international agricultural initiatives. French has extensive experience in program evaluation, having led studies on community visioning, manufactured housing ownership, and census participation trends. He has authored over 20 publications and contributed to grants focusing on digital equity, rural economic resilience, and wildlife conservation. French’s career includes roles at the University of Illinois Extension and service as a Peace Corps Volunteer in Panama, where he promoted sustainable agriculture. He collaborates with institutions like the NH Department of Business & Economic Affairs and the Pennsylvania State University, emphasizing applied research to drive policy and community outcomes. His grants include projects on rural innovation’s economic impact, NH’s wildlife action plan, and broadband development. French’s teaching and research highlight interdisciplinary approaches to solving complex community challenges, blending policy, education, and field-based solutions.

• Creativity and Innovation
• Groups and Teams
• Meaning of Work
• +3 more

Brent Rosso is an Associate Professor at the Jake Jabs College of Business & Entrepreneurship, Montana State University, affiliated with the Department of Management. He holds a Ph.D. (2011), M.S. (2007), and B.A. (2000) from the University of Michigan–Ann Arbor and St. Olaf College, respectively. His research focuses on Creativity and Innovation , Groups and Teams , and the Meaning of Work , with notable contributions to understanding playfulness in teams, constraints in creative processes, and work purpose. Teaching interests include Organizational Behavior, Entrepreneurship, and Leadership. Recent publications span creativity dynamics, team innovation, and workplace meaning, blending theoretical frameworks with empirical insights. Awards: Faculty Award for Excellence (2022) Susan Carstensen & Larry Haferman Excellence in Teaching Award (2020) President’s Award for Excellence in Teaching (2019) He teaches courses like Leading and Managing People (BMGT 366) and Management and Organization (BMGT 335), emphasizing practical application of theoretical concepts. His work bridges academic research with real-world organizational challenges.

Jip DekkerView profile

Research Fellow

• Constraint Programming
• Optimization
• Programming Languages
• +5 more

Jip Dekker is a Research Fellow at the Department of Data Science & AI, Monash University. His expertise lies in constraint programming, optimization, and neuro-symbolic AI. He holds a PhD from Monash University (2021), an MSc from Uppsala University (2017), and a BSc from Radboud University (2014). Research interests include constraint-based modeling languages, SAT solving techniques, hybrid optimization solvers, and applications in transportation scheduling. He has contributed to projects such as the Next-Gen Lazy Clause Generation (NLCG) and sports scheduling optimization frameworks. Recent work spans neuro-symbolic AI explainability, circadian rhythm protocols, and rail dispatch algorithms. His articles demonstrate cross-disciplinary impact across computer science, operations research, and biomedical research. Received the OPTIMA Education Award (2022) and recognition for SETU results (2020) Contributed to 6 peer-reviewed publications since 2017, with 15+ citations Advising roles include collaborative projects on sports fixtures and constraint solver development. Active in organizing international conferences like CPAIOR and AAAI, and maintains visiting researcher ties with Uppsala University.

Christoph SeidlView profile

Associate Professor

• Software Engineering
• Virtual Reality
• Software Visualization
• +5 more

Christoph Seidl is an Associate Professor in the Department of Software Engineering at the IT University of Copenhagen. His research focuses on software visualization, software archaeology, and the application of virtual reality in software engineering tasks. He leads the Immersive Software Archaeology project, exploring collaborative systems and legacy system analysis in virtual environments. Key research areas include software product lines, feature modeling, and model-driven development. Seidl has received awards such as the SoSyM Best Reviewer Award (2018) and SPLC'19 Distinguished Reviewer Award (2019). His work emphasizes innovative tools for software exploration, including immersive 3D visualization and collaborative note-taking systems in VR. He has published extensively on topics like variability management, configuration testing, and domain-specific languages. Research trends in his articles highlight advancements in using VR for software archaeology, collaborative software exploration, and methodologies for managing software evolution. His projects address challenges in legacy system understanding, feature model synthesis, and automated testing for configurable systems. Seidl collaborates internationally, with projects funded by the Independent Research Fund Denmark. His contributions span academic publications, datasets (e.g., VaMoS 2022 artifacts), and tool development for software product line engineering.

• Software Engineering
• Formal Methods
• Automatic Test Generation
• +5 more

Prof. Maria Christakis is a full professor at TU Wien's Faculty of Informatics, leading the Rigorous Software Engineering Group and the Software Engineering Research Unit. Her research focuses on developing reliable software tools and improving developer productivity through formal methods, automatic test generation, and program analysis. She holds a PhD from ETH Zurich and a diploma from the National Technical University of Athens. Her work bridges verification and systematic testing, with notable contributions to fuzzing, static analysis, and neural network certification. Key projects include tools like Harvey (smart contract fuzzer), DeepSearch (neural network attack framework), and Nomos (specification language for machine learning models). Her research has received awards including the Best Presentation Award at FSE'20 and a Distinguished Paper Award at ICSE'16. She advises multiple PhD and master's students and teaches courses in advanced software engineering and formal methods. Current projects explore green fuzzer benchmarking, compositional smart contract verification, and testing code translation models. Grants: Austrian Science Fund (FWF) doctoral school on Automated Reasoning Labs/Teams: Rigorous Software Engineering Group, Software Engineering Research Unit

Nancy DayView profile

Associate Professor

• Software Engineering
• Formal Methods
• Software Requirements Modelling
• +3 more

Nancy Day is an Associate Professor at the University of Waterloo's Department of Computer Science. Her research focuses on software engineering and formal methods, particularly in declarative behavioral modeling languages and model checking techniques. She holds a Ph.D. (1998) and M.Sc. (1993) from the University of British Columbia, and a B.Sc. (1991) from the University of Western Ontario. Her work emphasizes formal specification of software requirements, with contributions to tools like Alloy integration with SMT solvers, hierarchical state modeling (Dash), and static analysis of formal models. Notable projects include Portus for linking Alloy with SMT-based model finding and ALDB for debugging Alloy-based behavioral requirements. Recent publications (2018–2024) explore diversity in software engineering conferences, static symmetry breaking, and formal methods for automotive feature interactions. She teaches computer-aided verification courses (e.g., CS 745) and has contributed to tools like Metro for template semantics analysis.

• Inverse Problems
• Computational Algorithms
• Medical Imaging
• +3 more

Rosemary Renaut is a Professor and Associate Director for Faculty Development at the School of Mathematical and Statistical Sciences, Arizona State University. Her research focuses on computational algorithms for solving inverse problems in medical and geophysical applications, emphasizing regularization techniques and numerical linear algebra. She holds a Ph.D. in Applied Mathematics from the University of Cambridge (1985). Education: Ph.D. in Applied Mathematics, University of Cambridge, UK (1985) Research Interests: Dr. Renaut specializes in developing algorithms for solving ill-posed inverse problems, particularly in medical imaging (e.g., PET, MRI) and geophysics (e.g., gravity/magnetic data inversion). Her work addresses challenges like data noise, model ill-posedness, and parameter regularization. She has contributed to methods like total variation regularization, χ²-based parameter estimation, and iterative solvers (e.g., LSQR). Articles Trends: Recent publications (2020–2025) emphasize large-scale inversion techniques, sparsity-driven reconstruction, and efficient regularization parameter estimation. Key applications include geophysical exploration (e.g., iron oxide deposits, kimberlites) and medical imaging (e.g., EEG source localization). Her work often combines numerical methods with domain-specific challenges, such as joint inversion of multimodal geophysical data. Awards: SIAM Fellow (2022) Technische Universitaet Muenchen Ambassador (2013) J.T. Knight Prize in Mathematics (1982) Grants & Service: Dr. Renaut has led numerous grants (e.g., NSF, DOD) on inverse problems and computational methods. She serves on editorial boards (BIT, SIAM News) and has held roles like Program Director at the NSF. Her service also includes mentoring junior faculty and advancing computational biosciences education. Labs/Teams: Collaborates with interdisciplinary teams in geophysics (e.g., gravity/magnetic data inversion) and biomedical imaging (e.g., PET parametric imaging). Active in conferences like International Conference on Spectral and High Order Methods.

Aaron WilliamsView profile

Associate Professor

• Algorithms
• Combinatorics
• Computational Complexity
• +3 more

Aaron Williams is an Associate Professor in the Computer Science Department at Williams College. He holds a Ph.D. in Computer Science from the University of Victoria (2009) and prior degrees from the University of Waterloo. Before joining Williams, he served as an Assistant Professor at Bard College at Simon’s Rock (2014–2018) and held postdoctoral positions at Guelph, Carleton, and McGill Universities. His research focuses on algorithms and combinatorics, with a recent emphasis on retrogame archaeology—examining how retro video games managed computational constraints. He collaborates extensively with undergraduate students on topics like puzzle complexity. Williams' educational background includes a BMath (2001) and MMath (2003) in Computer Science from Waterloo, followed by industry experience as a programmer at Corel and Autodesk. His work bridges theoretical computer science with practical applications, particularly in combinatorial generation and Gray codes. He teaches courses at Williams and maintains an active research agenda in computational puzzles and historical game analysis. His research interests span algorithm design, combinatorial enumeration, and the intersection of computer science with retro gaming. He has published widely on topics like universal cycles, de Bruijn sequences, and NP-hard puzzles.

• Algorithms
• Constraint Programming
• SAT Solving
• +2 more

Florentina Voboril is a Research Fellow in the Algorithms and Complexity group at Technische Universität Wien. Her research explores how Large Language Models can solve Constraint Programming instances efficiently, with additional focus on SAT-solving and algorithm design. She investigates applications of AI in combinatorial optimization problems and develops innovative approaches to algorithmic challenges. Voboril has developed methods for SAT-based local improvement in string problems and generates streamlining constraints using LLMs. Her work bridges theoretical computer science with practical applications in computational biology and AI-assisted programming.

Benjamin MonmegeView profile

Associate Professor

• Formal Methods
• Verification and Synthesis of Software
• Automata Theory
• +3 more

Benjamin Monmege is an Associate Professor at Aix-Marseille Université (AMU), holding the habilitation to direct research. He is affiliated with the Laboratoire d'Informatique et Systèmes (LIS) and part of the MOdelisation and VErification research team. His work focuses on formal methods for software verification and synthesis, with special emphasis on quantitative aspects of formal languages, automata theory, game theory, and grammatical inference. He contributed to tools like MightyL (for MITL logic translation) and QuantiS (for quantitative specifications verification). Recent research includes robust controller synthesis in timed automata, dynamics on routing games, and decidability in weighted timed games. He has advised three PhD students: Damien Busatto-Gaston, Théodore Lopez, and Julie Parreaux. Monmege teaches in AMU's Computer Science and Interactions Department, co-responsibilizing the Portail Descartes. Courses include 'Logique' (BSc), 'Automates' (MSc), and foundational computer science modules. His international collaborations include postdoctoral work at ULB (2015) and participation in MOVE seminars. His research has been published in venues like Logical Methods in Computer Science, FSTTCS, and CONCUR, with notable work on algorithmic game theory, real-time systems, and formal verification techniques.

Pantelis FrangoudisView profile

Researcher

• Mobile/Wireless Networking
• Edge Computing
• Network Softwarization
• +4 more

Pantelis Frangoudis is a PostDoctoral Researcher at the Distributed Systems Group of the Vienna University of Technology since 2019. His academic journey includes a Ph.D. in Computer Science (2012), M.Sc. (2005), and B.Sc. (2003) from the Department of Informatics, Athens University of Economics and Business (AUEB) , Greece. His research spans Edge Computing , IoT , Network Softwarization , Federated Learning , and Wireless Networking , focusing on adaptive systems and security. Education B.Sc. in Computer Science (2003), AUEB M.Sc. in Computer Science (2005), AUEB Ph.D. in Computer Science (2012), AUEB His research explores Edge Computing Continuum systems, with emphasis on QoS-aware orchestration , serverless edge deployment , and self-adaptive IoT services . Recent work addresses federated learning for 6G , WebAssembly for edge serverless , and dynamic resource allocation in heterogeneous environments. Key projects include AloTwin (2023–2025), INTEND (2024–2026), and EDENSPACE (2019–2022). His publications (2025–2020) cover machine learning for 5G/6G , MEC application orchestration , and IoT security , with a focus on distributed systems and edge-cloud collaboration . Scientific Awards ERCIM Alain Bensoussan Post-Doctoral Fellowship He has supervised multiple diploma theses at TU Vienna, including topics like serverless edge computing , traffic light AI optimization , and vertical farming IoT systems . His collaborations with institutions like EURECOM (France) and IRISA/INRIA (France) reflect a global academic footprint.

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Logic Programming
• +5 more

Tomi Janhunen is a Professor in Computing Sciences at Tampere University, part of the Faculty of Information Technology and Communication Sciences. His expertise spans Artificial Intelligence, Logic Programming, and Theoretical Computer Science. He actively contributes to academic leadership roles, serving on boards of the Finnish Association of Computer Science and Finnish Artificial Intelligence Society. His research focuses on Answer Set Programming (ASP), probabilistic reasoning systems, explainable AI, and optimization techniques applied to cybersecurity and maintenance scheduling. Key grants include the XAILOG and AI-ROT projects funded by the Research Council of Finland. Notable achievements include three prestigious awards: Best Paper Awards at the European Conference on Logics in AI (2021) and International Conference on Logic Programming (2023), and the Harold Boley award for system description (2022). Dr. Janhunen’s work emphasizes practical applications of declarative programming paradigms. Recent projects include Plingo—a probabilistic ASP system—and cybersecurity compliance frameworks in DevSecOps environments. His contributions bridge theoretical advancements with real-world challenges in AI security and industrial optimization.

Kim Guldstrand LarsenView profile

Professor

• Modeling
• Verification
• Performance analysis
• +4 more

Kim Guldstrand Larsen is a Full Professor in Computer Science at Aalborg University, Denmark, a position he has held since 1993. He serves as director of CISS, the Centre for Embedded Software Systems, a national center of excellence bridging industry and research since 2002, and holds leadership roles in multiple international research initiatives. His academic credentials include a Cand.Scient. in Mathematics and Computer Science from Aalborg University (1982) and a PhD in Computer Science from Edinburgh University, Scotland (1986). His career includes visiting professorships at institutions including Uppsala University, École Normale Supérieure in Cachan, and University of Twente. Professor Larsen's research centers on modeling, verification, and performance analysis of real-time and embedded systems, with foundational contributions to concurrency theory and model checking. Since 1995, he has led development of UPPAAL, a widely adopted verification tool, and co-founded UP4ALL International. His work spans theoretical foundations to practical applications in cyber-physical systems. His publication portfolio exceeds 200 peer-reviewed papers and 12 software tools, with his research showing consistent focus on formal methods for real-time systems evolving toward quantitative analysis and cyber-physical applications, as evidenced by his H-index of 58 (highest in Denmark for Computer Science). Honorary Doctor (Honoris causa), Uppsala University (1999) Danish Citation Laureates Award (2005) Thomson Scientific award as most cited Danish Computer Scientist (1990-2004) Ridder af Dannebrog (Knight of the Order of the Dannebrog) (2007) Honorary Doctor (Honoris causa), Ecole Normal Superieure De Cachan, Paris (2007) Professor Larsen currently supervises 7 PhD and 7 post-doc students, having previously guided over 20 PhD and 12 post-doc researchers to completion. His significant research funding includes leadership of the DaNES project, VKR Center of Excellence MT-LAB, national ICT Innovation Network InfinIT, and the Danish-Chinese Basic Research Center IDEA4CPS. He leads the Modeling and Validation Cluster within the EU/IST Network of Excellence ARTIST Design and directs multiple research centers focused on embedded software systems, maintaining active roles in editorial boards, conference steering committees, and national research councils.

Joseph M. OrrView profile

Associate Professor

• Cognitive Neuroscience
• Affective Science
• Executive Function
• +5 more

Joseph M. Orr is an Associate Professor in the Department of Psychological & Brain Sciences at Texas A&M University , where he has served since 2015. He is also a Training Faculty at the Texas A&M Institute for Neuroscience (2016–present) and currently holds the position of Associate Department Head . His research focuses on the psychological and neural mechanisms of executive functions , particularly how humans adapt to environmental and goal changes through cognitive flexibility , task switching , and reward-driven behavior . Education : Ph.D. in Psychology (2011), University of Michigan, advised by Daniel Weissman and William Gehring. Research Themes : Executive function, cognitive flexibility, reward processing, fatigue, dopamine, addiction, psychosis, and spatial cognition in altered gravitational environments. Dr. Orr leads the Cognitive Neuroscience of Goals and Actions Laboratory (CONGAlab) , which employs behavioral approaches , computational modeling , non-invasive brain stimulation , pupillometry , and neuroimaging (MRI, EEG/ERP) . His work has been funded by the National Science Foundation (NSF 1928695) , Texas A&M Triads for Transformation, and NIH grants. He has contributed to understanding task-set inertia , reconfiguration , and goal-directed behavior through over 45 peer-reviewed publications. Scientific Awards : Fellow, Psychonomic Society (2019–present) Kirschstein National Research Service Award (NIH F32DA034412) APA Summer Undergraduate Research Opportunity Grant Research Trends : Analysis of cognitive flexibility mechanisms, impact of reward and feedback on task switching, neuroimaging of psychosis risk populations, and applications of brain stimulation techniques. Key subfields include voluntary task selection , dopamine modulation , non-invasive brain stimulation , and adaptive spatial cognition interfaces . Service & Leadership : Served on promotion/tenure committees, strategic planning, and the institute's Membership Committee . Organized the ARMADILLO Southwest Regional Conference and contributed to curriculum development and diversity initiatives.

Pedro BarahonaView profile

Visiting Professor

• Constraint Satisfaction Problems (CSP)
• Satisfiability (SAT) Solving
• Artificial Intelligence
• +3 more

Prof. Pedro Barahona is a former Visiting Professor at the International Center for Computational Logic (ICCL) , affiliated with the Faculty of Computer Science at TU Dresden. His research focuses on translating Constraint Satisfaction Problems (CSP) into Satisfiability (SAT) frameworks, with contributions to encoding techniques and algorithmic optimization. His work bridges formal logic, artificial intelligence, and computational complexity. Key publications (2013-2014) address SAT-based approaches for CSP constraints, hierarchical hybrid encodings, and efficient logical translations. Though listed as a former member, his contributions remain part of the ICCL's research portfolio. No awards or grants are explicitly noted in the provided materials.