Find Academic Supervisors

Robert Y. LewisView profile

Lecturer

• Formal Methods
• Logic
• Theoretical Computer Science
• +3 more

Robert Y. Lewis is a Lecturer in the Department of Computer Science at Brown University, specializing in formal methods, logic, and interactive theorem proving. His work bridges computer science and mathematics, focusing on the verification of mathematical proofs and program correctness. Education: PhD in Pure and Applied Logic (2018), Carnegie Mellon University MS in Pure and Applied Logic (2015), Carnegie Mellon University BA in Mathematics (2010), Rice University Research Interests: Lewis’s research spans formal verification, logic, type theory, and automated reasoning. He explores the application of logical tools like the Lean proof assistant in mathematics education and software verification. Teaching: At Brown, he teaches courses such as Introduction to Discrete Structures and Probability and Formal Proof and Verification . Prior to Brown, he taught Logic and Modeling at Vrije Universiteit Amsterdam and served as a teaching assistant at Carnegie Mellon University. Publications: His recent work includes advancements in formalizing mathematical structures (e.g., Witt vectors, Cap Set Problem), integrating proof assistants with computational tools (Lean-Mathematica interface), and developing educational resources for logic and formal methods. Contact: Email: robert_lewis@brown.edu Office: Center for Information Technology 203, Brown University

• Lean Manufacturing
• Continuous Improvement
• Operations Management
• +4 more

Associate Professor with Habilitation at the School of Engineering, University of Minho , where he also serves as a Senior Researcher at Centro ALGORITMI. Member of both the IEM R&D Group and LPSL R&D Lab. Education: Degree in Production Engineering (1989) - University of Minho MSc in Computer Integrated Manufacturing (1992) - Loughborough University Ph.D. in Scheduling and Process Planning Integration (1997) - University of Nottingham His research spans Lean Approaches across diverse environments including industry, healthcare, construction, offices, and education. Key focus areas include pull flow methods for complex production environments, stable continuous improvement systems , and the integration of Scrum methodology in educational settings. Recent publications show a clear trend toward applying lean principles in retail logistics, healthcare operations, and sustainability frameworks, with increasing emphasis on performance measurement systems and Science-Based Targets. He has authored the book "Continuous Improvement in Organizations" and published over 100 scientific articles with an h-index of 17 and 1131 citations. His current projects include "HOMLean - Hospital Operations Management" and a Smart Retail initiative with Sonae company funded by PRR program. He actively applies his expertise through project-based learning approaches in engineering education, having documented over ten years of experience with PBL at the University of Minho. His work bridges academic research with practical industry applications, particularly in lean manufacturing implementation across various sectors.

• Construction Logistics
• Digital Twin Frameworks
• Building Information Modeling (BIM)
• +4 more

Stephan Kessler is a researcher at the Technical University of Munich , affiliated with the Department of Mechanical Engineering and the Chair of Conveying Technology, Material Handling, and Logistics . His work focuses on construction logistics, digital twins, and IoT integration in building processes. Contact: stephan.kessler@tum.de Key research areas: Digital Twin, BIM, DEM simulations, IoT in construction Collaborates with Prof. Johannes Fottner on construction automation projects His research emphasizes digitalization of construction processes through technologies like RFID, machine learning, and simulation tools. Recent publications address tower crane planning, co-robot integration, and bulk material handling standards. Article trends show consistent focus on construction automation (IoT, digital twins, BIM), material flow optimization (DEM simulations, screw conveyor standards), and equipment lifecycle management (telematics, RFID identification). Kessler contributes to industry-university collaborations through projects like BauFlott (fleet management systems) and TEP (Tower Crane Deployment Planner). His work bridges theoretical research with practical implementations in construction site logistics.

• Software Development
• Enterprise Application Integration
• Open Source Infrastructure
• +5 more

Benneth Christiansson is an Assistant Professor at Karlstad University, focusing on software development paradigms, enterprise application integration, and open-source infrastructure. His research bridges the gap between emerging cloud-based tools (e.g., Software-as-a-Service) and traditional enterprise systems, emphasizing lean integration approaches. Research Interests: His work centers on component-based development, integration challenges in heterogeneous systems, and the adoption of open-source solutions to streamline enterprise processes. He explores frameworks for aligning software components with business processes, addressing interoperability and data standardization issues in public and private sectors. Publications: Over 15+ publications since 1995, with recent focus on lean integration strategies (2011-2012), open-source adoption in municipal systems (2007), and foundational component specification models (2003-2005). Key themes include COTS component acquisition, business-process-driven software specifications, and agile modeling techniques. Awards: No scientific awards explicitly listed in the text. Advising & Grants: No advisees or grants mentioned in the provided text. His contributions appear to focus on theoretical and applied research in software systems. Labs/Teams: No specific labs or collaborative teams described, though his work implies engagement with enterprise IT and software development communities.

Ana DyresonView profile

Assistant Professor

• Renewable Energy Systems
• Climate Change Mitigation in Energy Systems
• Electric Power Systems
• +5 more

Ana Dyreson is an Assistant Professor in Mechanical and Aerospace Engineering at Michigan Technological University and Associate Research Director at the Center for Innovation in Sustainability & Resilience (CISR). She leads the Great Lakes Energy Group, focusing on climate change impacts on electric power systems , energy transitions in cold climates , and thermal power plant modeling . Her work bridges solar photovoltaic design , electricity grid operational modeling , and the energy-water nexus . Education : PhD in Mechanical Engineering, University of Wisconsin–Madison (2018) MS in Mechanical Engineering, Northern Arizona University (2014) BS in Engineering Mechanics, University of Wisconsin–Madison (2011) Research emphasizes climate-resilient energy systems , particularly solar energy in cold climates and grid-scale modeling . Her 2025-2022 publications investigate snow mitigation on PV panels , heat pump adoption , floating solar-hydropower hybrids , and climate stressor impacts on thermoelectric plants . She develops inclusive teaching methods and advises on renewable energy deployment through initiatives like the Tech Forward Initiative on Sustainability and Resilience . Her team collaborates on multisector dynamics and energy-water-climate research in the Great Lakes region.

Bryn RosenfeldView profile

Associate Professor

• Comparative Political Behavior
• Authoritarian Regimes
• Development and Democratization
• +4 more

Bryn Rosenfeld is an Associate Professor of Government at Cornell University and co-Principal Investigator of the Russian Election Study, funded by the National Science Foundation and NCEEER. Her research focuses on comparative political behavior, particularly voter behavior in authoritarian regimes, post-communist politics, and survey methodology. She holds a Ph.D. from Princeton University and previously served as an Assistant Professor at USC and a Postdoctoral Fellow at Nuffield College, Oxford. Education: Ph.D. in Political Science from Princeton University (2010s). Prior roles include work with the U.S. State Department’s Office of Global Opinion Research analyzing Soviet public opinion, and editorship of The Washington Post’s Monkey Cage blog. She has received major awards including the APSA Best Book Award (2022), Ed A. Hewett Book Prize, and Juan Linz Dissertation Prize. Research emphasizes how economic dependency fuels authoritarian resilience, as detailed in her acclaimed book The Autocratic Middle Class (Princeton, 2021). Her work bridges empirical methods and policy-relevant analysis, with frequent commentary in media like Foreign Affairs , Washington Post , and Bloomberg . Current projects explore information politics in autocracies and public opinion dynamics during wartime. Key Awards: APSA Democracy & Autocracy Best Book (2022), ASEEES Hewett Prize, Frances Rosenbluth Prize Media Engagement: Over 200 media contributions since 2020 addressing Russian public opinion, Ukraine conflict, and authoritarian regime dynamics Her grants include NSF funding for the Russian Election Study and CSS grants for social science research. She collaborates with international scholars through Cornell’s Center for Social Sciences and affiliated institutes.

FATMA FİLİZ TILFARLIOĞLUView profile

Professor

• English Language Teaching
• Foreign Language Education
• Language Learning Strategies
• +7 more

FATMA FİLİZ TILFARLIOĞLU is a Professor at Gaziantep University's Faculty of Education, Department of Foreign Language Education, specializing in English Language Teaching. With a distinguished academic career spanning over three decades, she has made significant contributions to the field of foreign language education, particularly through her development and research on the Lean Educational Method. Her academic journey began with a PhD from Çukurova University (1993-1996), followed by her appointment as a Research Assistant at Gaziantep University in 1990, progressing through academic ranks to become a full Professor in 2021. Her research interests focus on innovative approaches to language teaching, including the Lean Educational Method, discourse analysis, language learning strategies, self-efficacy in language learning, and teacher education. Professor TILFARLIOĞLU has supervised 38 master's theses and has an extensive publication record with 46 articles, 5 book chapters, and 66 conference papers. Her work demonstrates a consistent focus on improving language teaching methodologies and understanding the psychological factors affecting language learning. Her recent research has centered on innovative teaching methods such as TRIZ and CDIO in language education, analysis of teacher self-efficacy in distance learning environments, and the psychological aspects of language learning including fear of success and rejection sensitivity. Professor TILFARLIOĞLU has also led projects focused on foreign language education in Turkish society, including 'Hayatta Biz de Varız Hep Beraber Elele' and 'BİK PROJESİ - Biliyor musunuz İngilizceden Korkmuyorum.' TESOL U.S.A. Convention (1999) TEFL Summer School (1996) Yurtdışı Yüksek Lisans ve Doktora Bursu from YÜKSEK SEÇİM KURULU BAŞKANLIĞI (1991) Yurtdışı Yüksek Lisans ve Doktora Bursu from MİLLİ EĞİTİM BAKANLIĞI (1990) Throughout her career, Professor TILFARLIOĞLU has held significant administrative roles including Department Head, Vice Dean, and various committee memberships at Gaziantep University. She has taught numerous courses at both undergraduate and graduate levels, focusing on English Language Teaching Methodology, Materials Evaluation, and Contextual Grammar. Her academic leadership extends to her membership in INGED (İngilizce Eğitim Derneği) since 1995.

Heather MacbethView profile

Senior Lecturer

• Kähler Geometry
• Geometric Analysis
• Formal Verification
• +3 more

Dr. Heather Macbeth is a Senior Lecturer in Pure Mathematics at Imperial College London, specializing in Kähler geometry, geometric analysis, and the formalization of mathematics. Her research develops geometric analysis techniques for complex manifolds while advancing proof verification through the Lean theorem prover. She leads the development of Lean's Mathlib library, creating formalizations for differential geometry, functional analysis, and representation theory. Her textbook The Mechanics of Proof introduces proof writing through Lean, integrating computer verification with mathematical pedagogy. Funded by a Microsoft Research Lean Award, Dr. Macbeth organizes workshops on formal mathematics and serves on the AMS Committee on Publications. Her geometric research examines Ricci solitons, Yamabe invariants, and Kähler-Einstein metrics, while her formalization work includes Sobolev inequalities and semilinear functional analysis. Research Contributions: Geometric analysis of Ricci solitons and Kähler metrics Formal verification of functional analysis theorems Proof assistant pedagogy and textbook development Contributions to Lean's mathematical library

Mark JonesView profile

Associate Professor

• Service Design
• Healthcare Design
• AI Ethics
• +4 more

Mark Jones is an Experience Design Principal at Humana and teaches User Research and Service Design at the Institute of Design (ID) within Illinois Institute of Technology. He holds a BFA from Amherst College and an MDes from ID. His work focuses on AI ethics, healthcare innovation, and human-centered design methodologies. Research interests include leveraging design to address societal challenges in the AI era, strategic service design in healthcare, and integrating quantitative/qualitative methods. His 2024 report on AI responsibility is a key contribution. He founded SD Lab (2017), a consultancy focused on innovation methods. Previously, he served as Vice President of Design at UnitedHealthcare (2014–17) and Managing Director at IDEO (2000–14), leading projects like healthcare access initiatives and retail banking reinvention. His career spans design leadership, technology futurism, and creative industries.

Asta Halkjær FromView profile

Researcher

• Formal Logic
• Automated Reasoning
• Theorem Proving
• +13 more

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

Mark HallView profile

Senior Lecturer

• Project Management
• Operations Management
• Risk Management in Projects
• +6 more

Dr Mark Hall is a Senior Lecturer in Project and Operations Management at the Department of Management, Birmingham Business School, University of Birmingham. Previously, he held academic positions at the University of Bristol and the University of Bath. His research and teaching focus on project management, operations, risk, and sustainability. BSc (Hons) PhD Mark Hall's research centers on behaviors in response to risk in projects, with additional interests in public sector projects, public-private partnerships, and sustainability. He has also taught change and innovation management, organizational theory, and research methods at both undergraduate and postgraduate levels. His work emphasizes mindful and resilient project management, exploring how practitioners interpret and respond to unexpected events. His recent publications include influential books such as Mindful Project Management (2020) and Project Resilience (2015), and numerous articles in top journals like the International Journal of Project Management and Production Planning & Control . His research spans themes including risk framing, lean vs agile manufacturing, and sustainable supply chains. He frequently collaborates with scholars like Evelyn Kutsch and David Chicksand. Scientific Awards: No awards listed. Mark Hall is interested in supervising PhD students in project management, particularly on risk and opportunity management and theoretical perspectives on practitioner behavior. He is an external member of the Action Research and Critical Inquiry in Organisations Research Centre (ARCIO) at the University of Bristol, reflecting his engagement with critical organizational inquiry. There is no indication of part-time status, retirement, or former staff status; he is an active faculty member contributing to research, teaching, and academic collaboration.

• Public Service Operations Management
• Lean Methodology
• Healthcare Management
• +4 more

Zoe Radnor is a Professor at Bayes Business School, City, University of London, specializing in public service operations management with a particular focus on healthcare systems. Her research bridges the gap between operations management theory and practical public service delivery, with significant contributions to understanding lean methodology, value co-creation, and frailty in healthcare settings. Dr. Radnor's research interests center on public service operations management , with particular emphasis on lean methodology in healthcare , value co-creation in public services , and frailty assessment and management . Her work explores how operational principles can be adapted to improve public service delivery, particularly in complex healthcare environments. She investigates the implementation challenges of lean thinking, the dynamics of value co-creation between service providers and users, and the experiences of frail older adults navigating healthcare systems. Her extensive publication record demonstrates a consistent focus on improving healthcare operations through evidence-based management approaches. Radnor's work reveals how lean principles can be adapted to public service contexts, how value co-creation processes operate in public service organizations, and how frailty can be better understood and addressed in healthcare delivery. Her research employs diverse methodologies including qualitative case studies, systematic reviews, and simulation approaches across multiple healthcare settings. Dr. Radnor has made significant contributions to the academic community through her editorial work, including editing the 'Public Service Operations Management: A Research Handbook' (2015). She has published extensively in high-impact journals across public administration, healthcare management, and operations research fields, establishing herself as a leading scholar in the intersection of operations management and public service delivery. Her research has practical implications for healthcare managers, policymakers, and service providers seeking to improve operational efficiency while maintaining quality patient care. Through her work on frailty, lean implementation, and value co-creation, she provides valuable insights for enhancing public service delivery in complex organizational contexts, particularly in healthcare where operational efficiency must be balanced with compassionate, patient-centered care.

Kudirat AyinlaView profile

Lecturer

• Digital Technology in Construction
• Sustainable Construction Methods
• Artificial Intelligence & Machine Learning in AEC
• +3 more

Kudirat Ayinla is a Lecturer in Construction Management and Programme Lead for the BSc (Hons) in Commercial Management and Quantity Surveying at the University of Loughborough. Her research focuses on enhancing construction industry efficiency through digital technologies like AI, BIM, and Digital Twins, with specific emphasis on offsite construction methods and sustainability. Education: BEng, MSc, PhD, PGCert Professional Affiliations: MCIOB, FHEA Key research areas include knowledge-based modeling, AI applications in construction, and circular economy integration in waste management. She leads the British Council UK grant project on Digital Manufacturing and collaborates with the Council for the Heads of the Built Environment on apprenticeship studies. Her recent articles explore TDABC models for offsite manufacturing, AI impacts on costing practices, and BREEAM perceptions in the industry. She actively supervises PhD candidates researching ontology applications and modern construction methods.

Eva-Maria SchönView profile

Professor

• Agile Methodologies
• Requirements Engineering
• eGovernment
• +4 more

Prof. Eva-Maria Schön is a Professor of Business Informatics at the University of Applied Sciences Emden/Leer, where she has held this position since 2022. Previously, she was a Professor at the Hamburg University of Applied Sciences (HAW Hamburg). She earned her PhD in Computer Science from the University of Seville, Spain, in 2017. Her research focuses on Agile methodologies, including their application in public administration (eGovernment), requirements engineering, and digital transformation. She emphasizes integrating human-centered design principles into agile processes and has extensive practical experience in developing digital products and training organizations. Her research interests span agile product development, UX design, and the challenges of fostering agile cultures in both private and public sectors. Notable areas include agile transformation in governmental institutions, agile pedagogical approaches in higher education, and leveraging AI in educational contexts. She has also contributed to frameworks like the NICO initiative, which addresses software quality assurance. Prof. Schön’s work bridges academia and industry, with publications addressing topics such as lean user research, cultural barriers to agile adoption, and the role of trust in organizational agility. Her contributions include developing methodologies for requirement engineering patterns and evaluating project work in e-government initiatives. Advising and Grants: While no formal advisees are listed, her research projects likely involve student and professional collaborations. She has been involved in initiatives like the NICO project (PID2019-105455GB-C31). Her academic network includes ResearchGate and Google Scholar profiles, highlighting her active engagement in collaborative research. Labs/Teams: Affiliated with the University’s research groups focusing on digital transformation and agile practices, though specific lab names are not detailed in the provided texts.

Kimberly R. JordanView profile

Associate Professor

• Communication
• Leadership Development
• Storytelling in Organizations
• +4 more

Kimberly R. Jordan is an Associate Professor of Instruction in the Management Department at Ohio University's College of Business. She also serves as Director of the Strategic Leadership Certificate and the Early Acceptance Program (EAP) for the Management Master's program. Her research focuses on communication, leadership, storytelling, team dynamics, and organizational engagement. She teaches courses like Strategic Business Communication and Strategic Leadership Onboarding, emphasizing practical skills for students. Education: MSN/MBA in Nursing and Business, Johns Hopkins University (2005/2004) B.S.N. in Nursing, University of North Florida (1996) B.A. in International Affairs, Florida State University (1990) Research Interests: Dr. Jordan explores how effective communication and leadership strategies can enhance team performance, organizational culture, and individual well-being. Her work emphasizes storytelling as a tool for strategic leadership and the impact of feedback processes on collaboration. She also investigates methods to improve educational pedagogy, particularly in fostering positivity and experiential learning through simulations. Awards & Recognition: Best Paper Award (2018) for 'Introducing Business Communication Students to the Power of Positivity.' Teaching & Leadership Roles: She directs the Strategic Leadership Certificate program and oversees the EAP-Mgt initiative. Her teaching spans undergraduate and graduate levels, integrating real-world scenarios and collaborative learning techniques. She has led workshops on topics like healthcare process improvement and strategic leadership models, collaborating with institutions globally. Professional Activities: Dr. Jordan has presented at numerous conferences, including ABC International Conferences and the McDonough Leadership Conference. Her work bridges academic research and practical application, focusing on leadership development and organizational behavior.