جست‌وجوی استاد و پژوهشگر

Eva-Maria Schönمشاهده پروفایل

استاد

• Agile Methodologies
• Requirements Engineering
• eGovernment
• +۴ مورد دیگر

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.

S. Gary Tengمشاهده پروفایل

استاد

• Logistics and Supply Chain Management
• Lean Systems
• Systems Engineering
• +۶ مورد دیگر

Dr. S. Gary Teng serves as Professor and Director of the Center for Lean Logistics & Engineered Systems within the Department of Industrial and Systems Engineering at the University of North Carolina at Charlotte, where he leads research initiatives in logistics optimization and engineered systems. Education: Ph.D. in Industrial Engineering from Auburn University M.S.I.E. in Industrial Engineering from Texas Tech University B.E. in Industrial Engineering from Chung Yuan University His research portfolio demonstrates deep expertise in logistics and supply chain management, with significant contributions to lean systems implementation and risk mitigation strategies. He bridges theoretical systems engineering with practical applications in manufacturing efficiency, healthcare system enhancement, and reliability analysis, consistently integrating Six Sigma methodologies to drive quality improvements across complex operational environments. Professional Recognition: Registered Professional Engineer (Wisconsin) ASQ Certified Quality Engineer ASQ Certified Reliability Engineer As Director of the Center for Lean Logistics & Engineered Systems, Dr. Teng oversees interdisciplinary projects advancing process optimization frameworks. While the source material does not specify grant funding details or formal student advisement records, his course offerings in systems reliability engineering and logistics management indicate active mentorship in applied engineering education.

• Human Resource Development (HRD)
• Adult Learning
• Workforce Development
• +۷ مورد دیگر

Meera Alagaraja is an Associate Professor in the Department of Educational Administration & Human Resource Development at Texas A&M University's College of Education. Her research focuses on adult learning, performance improvement, and strategic HRD, emphasizing workforce development and organizational well-being. She collaborates with nonprofits to align community well-being with workforce priorities and partners with private-sector organizations to align HR policies with strategic objectives. Her research spans three primary areas: 1) employee well-being programs and health policies, 2) strategic HRD frameworks for organizational performance, and 3) community-based workforce development initiatives. Notable projects include studies on Black American community well-being, empathic organizational leadership, and burnout prevention in military contexts. Dr. Alagaraja's recent work explores intersections between cultural identity (e.g., multiracial student belongingness) and organizational dynamics. Her articles analyze topics like lean management practices, global HRD strategies in emerging markets (e.g., Ghana), and compassion in leadership behavior. While no formal awards are listed, her prolific publication record indicates sustained scholarly contributions to HRD and adult education. Her advising and grant activities are not explicitly detailed in the text, though her collaborations suggest involvement in community-based research projects. No specific labs or teams are mentioned, though her work involves partnerships with non-profits and multinational organizations.

Felix Weilacherمشاهده پروفایل

پژوهشگر

• Mathematical Logic
• Graph Theory
• Combinatorics
• +۴ مورد دیگر

Felix Weilacher is an NSF Postdoctoral Fellow at the University of California, Berkeley. His research lies at the intersection of mathematical logic and combinatorics, focusing on Borel, measurable, and computable combinatorics of graphs. Contact: weilacher@berkeley.edu , Office: 837 Evans Hall. Research Interests : Combinatorics of graphs in descriptive set theory contexts Interconnections between computability, Borel structures, and graph theory Applications of the Local Lemma in Borel settings Edge colorings and chromatic numbers for locally finite graphs GitHub Contributions : dst : Descriptive set theory formalization in Lean Borel Determinacy Formalization : Lean 4-based proof of Martin’s theorem Scientific Awards : NSF Postdoctoral Fellowship Notable Projects : Projective Hex : Implementation of Bill Taylor’s game

• Theoretical Computer Science
• Theorem Proving
• Automated Reasoning
• +۲۶ مورد دیگر

Jasmin Blanchette is a Professor of Theoretical Computer Science and Theorem Proving at Ludwig-Maximilians-Universität München (LMU), where he also serves as the Dean of Studies for Computer Science since January 22, 2024. He is affiliated with the Institute for Informatics and leads the Theoretische Informatik und Theorembeweisen research unit. Additionally, he is a guest researcher in the VeriDis group at Loria, Nancy. Research Interests: His research centers on strengthening proof automation for general-purpose logics and enhancing the usability of proof assistants. He combines automatic and interactive methods, bridging human and artificial intelligence in formal verification. His work spans higher-order logic, automated and interactive theorem proving, formalization of mathematical results, and foundational mechanisms for (co)datatypes and (co)recursive functions. Key projects include Sledgehammer, Nitpick, Matryoshka, Nekoka, IsaFoL, and Lean Forward. Publication Trends: His recent publications (2023–2025) show a strong focus on higher-order automated reasoning, superposition calculus, proof automation in Isabelle/HOL, and formalization of logical and mathematical concepts. There is a consistent emphasis on verification, efficiency, and integration of SAT/SMT techniques into higher-order provers. Scientific Awards: FroCoS 2023 Best Paper Award (with Visa Nummelin and Sander Dahmen) CADE 2023 Best Paper Award for 'Verified given clause procedures' (with Qi Qiu and Sophie Tourret) IPA Dissertation Award (awarded to student Petar Vukmirović) Dutch Prize for ICT Research 2022 Advising and Grants: He supervises a large team of postdocs and PhD students at LMU and co-supervises students at other institutions. His leadership in major collaborative projects like Matryoshka indicates significant grant funding and collaborative research efforts. He is editor-in-chief of the Journal of Automated Reasoning and serves on numerous steering and program committees, reflecting strong academic leadership and visibility. Labs and Teams: He leads a research group at LMU’s Institute for Informatics, focusing on theorem proving and formal methods. He is also associated with the VeriDis group at Loria, Nancy, and collaborates widely across Europe in the automated reasoning community.

• Industrial Engineering
• Manufacturing Systems
• Quality Management
• +۵ مورد دیگر

Dr. Benjamin Durakovic is an Associate Professor at the Faculty of Engineering and Natural Sciences, International University of Sarajevo since 2016. He holds a PhD in Industrial Engineering (2016), MSc in Industrial Engineering and Management (2008), and a Dipl. Eng. in Energy Engineering from the University of Sarajevo (2003). Education: PhD in Industrial Engineering, International University of Sarajevo (2016) MSc in Industrial Engineering and Management, University of Sarajevo (2008) Dipl. Eng. in Energy Engineering, University of Sarajevo (2003) Research Interests: His work focuses on lean manufacturing integration with Industry 4.0, phase change materials (PCMs) in construction and energy systems, thermal energy storage, quality management, and optimization of manufacturing processes. He explores applications of PCMs in building envelopes, electronics cooling, and sustainable composites, while also investigating the impact of industrial IoT on quality control and workforce productivity. Recent Articles: Recent publications highlight advancements in PCM applications, lean 4.0 manufacturing, measurement system capability, and error analysis in shift-based production. His research bridges theoretical frameworks with practical case studies in metal coating, textile, and rebar manufacturing. Advising & Grants: No formal advisees listed, but his research emphasizes industry collaboration and applied solutions. His work contributes to innovation ecosystems through initiatives like the Science-Technology Park Ilidža. Labs & Teams: Engaged in interdisciplinary projects at the International University of Sarajevo, focusing on smart technologies, sustainable materials, and advanced manufacturing systems.

Martijn van der Steenمشاهده پروفایل

مدرس

• Management Accounting
• Organizational Behavior
• Social Identity
• +۵ مورد دیگر

Martijn van der Steen is a Lecturer at the University of Groningen, affiliated with the Faculty of Economics and Business, Department of Accounting. He focuses on organizational behavior, management accounting, and social identity dynamics within institutional frameworks. His research explores topics such as identity regulation, climate change responses, and healthcare policy reforms, often employing case studies in diverse sectors like banking, cooperatives, and healthcare. Key research interests include professional identity development, regulatory responsiveness, and the interplay between organizational structures and social values. He has contributed to understanding how formal rules interact with informal practices in complex organizations, with a particular focus on legitimacy narratives and performance measurement systems. Van der Steen has been recognized for academic contributions, including the Credit Union Research Prize (2021) and multiple highly commended paper awards. His work bridges theoretical frameworks from organizational theory, management accounting, and social identity studies, often addressing real-world challenges such as climate change mitigation and healthcare reform. He supervises PhD candidates exploring topics like identity development in healthcare workers and auditors' adaptation to AI. Engaged in editorial and peer-review activities, he actively contributes to journals like Management Accounting Research and Long Range Planning .

• Pediatrics
• Pediatric Gastroenterology
• Hepatology
• +۱۱ مورد دیگر

Catherine Larson-Nath is an Associate Professor in the Department of Pediatric Gastroenterology, Hepatology & Nutrition at the University of Minnesota Medical School. Her clinical and research work focuses on pediatric intestinal failure, Alagille syndrome, and related liver and nutritional disorders. Research Interests: Dr. Larson-Nath's expertise spans pediatric gastroenterology, hepatology, and clinical nutrition. Her research emphasizes the natural history of Alagille syndrome, intestinal failure management, catheter-related infections, body composition assessment, and nutritional interventions in children with complex liver and gastrointestinal diseases. She is particularly involved in rare disease research and international cohort studies. Recent Research Trends: Her most recent publications (2023–2025) focus on the long-term outcomes of maralixibat treatment in Alagille syndrome, catheter salvage in pediatric intestinal failure, and the impact of genetic and non-genetic factors on disease expression. These works reflect a strong commitment to improving clinical care through evidence-based, patient-centered research. Scientific Contributions: Principal Investigator (PI) of the Intestinal Failure Registry funded by The Transplantation Society. PI of The Global Alagille Alliance (GALA) Study, a major international research initiative. Co-Investigator on the NIH-funded SMART Bottle STTR Phase II project. Advising and Grants: Dr. Larson-Nath leads multiple funded research projects, including international collaborations and NIH-supported studies. She actively contributes to advancing clinical guidelines and has been cited in policy documents and clinical practice sources. While no formal advisees are listed, her leadership in multicenter studies indicates significant mentorship and team coordination. Labs and Teams: She is a key member of multidisciplinary teams focused on pediatric liver disease and intestinal rehabilitation, collaborating with surgeons, nutritionists, and geneticists. Her work with the GALA study group highlights her leadership in global rare disease research networks.

Sohail Hamiraniمشاهده پروفایل

استاد مدعو

• Accounting
• Financial Accounting
• Cost Accounting
• +۲ مورد دیگر

Sohail Hamirani serves as a Part-Time Adjunct Professor in the Department of Accounting at Southern Methodist University while concurrently acting as Chief Financial Officer at Mohr Partners, Inc. With over a decade of industry experience at firms including Goldman Sachs, Highgate Hotels, and RealPage, he teaches Intermediate Accounting I (ACCT 3311) and Strategic Cost Analysis (ACCT 6205), bridging academic theory with professional practice. His academic credentials include: MS in Accounting, Southern Methodist University (Summa Cum Laude) Bachelor's Degree, Southern Methodist University (Summa Cum Laude) Professor Hamirani's expertise centers on financial accounting systems, strategic cost management, and Lean Six Sigma process optimization in corporate finance. His teaching emphasizes real-world applications of accounting principles through case studies drawn from his CFO experience, particularly in cost analysis frameworks and financial reporting standards. Professional certifications highlight his industry standing: Certified Public Accountant (CPA) Associate Professional in Human Resources (aPHR) Lean Six Sigma Blackbelt No scientific awards or research grants were documented in the source material. While actively mentoring students in classroom settings, no formal PhD/Master's advisee relationships or laboratory affiliations were specified.

• Arithmetic Geometry
• Formalization of Mathematics
• Algebraic Geometry
• +۷ مورد دیگر

Johan Commelin is an Assistant Professor in the Fundamental Mathematics group at the Mathematical Institute of Utrecht University. He works part-time (0.6FTE) at Utrecht University and part-time at Lean FRO, focusing on arithmetic geometry and formalization of mathematics. His educational background includes: PhD in Nijmegen (2013-2017), supervised by Ben Moonen Master's degree with thesis on "Algebraic cycles, Chow motives, and L-functions" (2013), supervised by Robin de Jong Bachelor's degree with thesis on "Tannaka Duality for Finite Groups" (2011), supervised by Lenny Taelman Commelin's research focuses on formalization of algebraic geometry, homological algebra, and condensed mathematics, as well as categorical logic and applications of o-minimality to algebraic geometry and topology. His work particularly examines applications of o-minimality to the theory of periods and motives. He is actively involved in the Lean community and led the Liquid Tensor Experiment following Peter Scholze's challenge. His recent publications show a strong trend toward formalization of mathematics using the Lean theorem prover, with significant contributions to formalizing advanced mathematical concepts like perfectoid spaces and Witt vectors. His work bridges traditional mathematical research with computer-assisted proof verification. Scientific awards include: Distinguished Paper Award for "Formalizing the Ring of Witt Vectors" at Certified Programs and Proofs 2021 Commelin supervises three PhD students: Raphael Douglas Giles, Christian Merten, and Pim Otte. He has received grants supporting his work in formalization of mathematics and is actively involved in organizing the group meeting on logic, formalization, and related topics at Utrecht University. He is one of the maintainers of the mathematical library of the Lean theorem prover and has collaborated on projects like "Superficie algebriche" and "Sloganerator" with Pieter Belmans.

Moacir Godinho Filhoمشاهده پروفایل

استاد مهمان

• Supply Chain Management
• Circular Economy
• Lean Production
• +۷ مورد دیگر

Moacir Godinho Filho is a Guest Professor in the Department of Materials and Production at the Faculty of Engineering and Science, Aalborg University, Denmark. His research bridges industrial engineering, operations management, and sustainable production systems, with a strong emphasis on digital transformation and human factors in lean environments. His research interests include Supply Chain Management , Lean Production , Circular Economy , Industry 4.0 , and employee involvement in organizational improvement . He investigates how digital technologies such as blockchain and social media influence supply chain resilience and operational efficiency, particularly in healthcare and manufacturing sectors. The recent publications show a clear trend toward interdisciplinary research combining behavioral insights with technological adoption, focusing on sustainability, digitalization, and organizational dynamics. His work frequently employs case studies and multimethod approaches to explore real-world implementations. No scientific awards were mentioned in the provided text. He has collaborated extensively with scholars across Brazil, India, and Europe on topics related to operations and sustainability. While no formal advisees or grants are listed, his active publication record suggests ongoing research projects and academic supervision. His work is frequently published in high-impact journals such as Journal of Cleaner Production , Industrial Management & Data Systems , and Operations Management Research . Moacir Godinho Filho is associated with the Production Center for Industrial Production at Aalborg University, where he contributes to research in advanced manufacturing and supply chain innovation.

• Quality Improvement
• Patient Safety
• High Reliability Organizations
• +۹ مورد دیگر

Naseema Merchant is an Associate Professor of Medicine in the Section of General Internal Medicine at Yale School of Medicine and a core faculty member in the Traditional Internal Medicine Residency Program. She serves as Site Director and Program Director for the Chief Residency Program in Quality Improvement and Patient Safety (QIPS) at VA Connecticut Healthcare System, where she also holds the role of Physician Lead for High Reliability Organization. She co-leads the Distinction Pathway in QIPS and Leadership and serves as Associate Director for Health Equity within the GME Distinction Pathway. Her work bridges clinical practice, medical education, and systems improvement. Associate Professor, Yale School of Medicine Physician Lead, High Reliability Organization, VA Connecticut Site Director, Chief Residency Program in QIPS Co-Director, Distinction Pathway in QIPS and Leadership Associate Director, Health Equity, Patient Safety and QI Distinction Pathway Dr. Merchant completed her MBBS at Aga Khan University, Pakistan, followed by residency in Internal Medicine at the University of Illinois at Chicago. She pursued fellowship training in Pulmonary & Critical Care Medicine and Medical Education at Yale School of Medicine. She holds formal training in Lean Six Sigma (Yellow Belt), IHI methodologies, Organizational Change Management, and is a Master Trainer in High Reliability in Healthcare and Clinical Team Training. Her research and clinical interests focus on advancing high reliability, fostering just culture, promoting organizational safety, and enhancing interprofessional learning in quality improvement and patient safety. She has delivered presentations and led initiatives at local, regional, and national levels. Her publications span topics such as morbidity and mortality conferences, real-time feedback systems, resident QI curricula, and palliative care integration in heart failure. Recent publications demonstrate a strong trend in developing innovative educational and operational models to improve patient safety, enhance resident engagement in QI, and institutionalize safety culture. Her work emphasizes experiential learning, structured feedback, and system-level interventions to improve healthcare quality. Leader in General Internal Medicine, SGIM 2024 Excellence in QI and Patient Safety, SHM-CT 2024 Certificate of Appreciation for Mentorship, ACP 2022 Diversity, Equity and Inclusion Award, ACP-CT 2021 Prosci Change Management Certification 2021 Dr. Merchant mentors residents and leads longitudinal, mentored quality improvement curricula. She has been instrumental in developing safety awards programs and institutional initiatives to recognize and reinforce safe practices. Her leadership extends to national professional organizations, including the Society of Hospital Medicine and the American College of Physicians, where she contributes to educational and quality improvement committees. She is actively involved in interprofessional teams focused on patient safety, high reliability, and quality improvement at both Yale and the VA Connecticut Healthcare System. Her work is supported by collaborations with key figures in medical education and patient safety, including Craig Gunderson, Shaili Gupta, and Benjamin Rodwin.

Mahmoud Alhawamdehمشاهده پروفایل

مدرس

• Construction Management
• Project Management
• Sustainable Built Environment
• +۳ مورد دیگر

Dr. Mahmoud Alhawamdeh serves as a Lecturer in Business and Management at Bath Business School, Bath Spa University, joining in 2024. He concurrently acts as Link Tutor for the BSc (Hons) Construction Management program at Global Banking School, overseeing curriculum development and quality assurance across institutional boundaries. His academic credentials include: PhD in Construction and Project Management, University of Salford MSc in Construction Management, University of Salford BEng in Civil Engineering, The Hashemite University (Zarqa/Jordan) Research focuses on sustainable construction innovation, integrating circular economy principles with behavioral science to address waste management challenges. His work bridges academic theory and industry practice through systematic analyses of offsite construction barriers, demolition waste streams, and cultural factors influencing contractor behavior. Current projects emphasize scalable solutions for resource efficiency in global construction contexts. Publication trends reveal a strategic concentration on meta-synthetic methodologies (2021-2025), with 50% of output dedicated to circular economy implementation frameworks. Key thematic clusters include waste minimization behavioral models (28%), offsite construction optimization (22%), and policy-driven sustainable design (50%), demonstrating consistent evolution from foundational waste management studies toward systemic circular economy integration. Scientific recognition: No formal awards documented in current profile Dr. Alhawamdeh actively supervises postgraduate students while leveraging substantial industry experience in construction to inform pedagogy. His funded research includes the RECONMATIC project (European Commission D1.1 report), indicating successful grant acquisition for policy-relevant investigations into construction waste management. Collaborative networks span UK, European, and Middle Eastern institutions. Research operations involve cross-institutional teams focused on sustainable built environment innovation, with recent collaborations including University of Salford and European Commission initiatives. Current work prioritizes behavioral interventions for waste reduction and circular economy adoption in construction supply chains.

Bin Dongمشاهده پروفایل

استاد

• Biomedical Imaging
• Machine Learning
• Artificial Intelligence
• +۹ مورد دیگر

Bin Dong is a Professor at the Beijing International Center for Mathematical Research (BICMR) and Deputy Director of the Center for Machine Learning Research (CMLR) at Peking University. He holds a Ph.D. in Mathematics from UCLA (2009), M.Sc. from National University of Singapore (2005), and B.S. from Peking University (2003). Current affiliations: BICMR (2023–present), CMLR (2022–present) Prior: Associate Professor at Peking University (2014–2022), Assistant Professor at University of Arizona (2011–2014), SEW Assistant Professor at UCSD (2009–2011) Research focuses on biomedical imaging (reconstruction/analysis, clinical decision-making), machine learning (PDE-Net, ODE-Net architectures), and AI for Mathematics (AI4M) (formal mathematics digitalization via Lean, AI-assisted theorem proving). Teaching includes Mathematical Image Processing and Learning by Research at Peking University. Key scientific awards: Wang Xuan Outstanding Young Scholar Award (2023) New Cornerstone Investigator (2023) Qiu Shi Outstanding Young Scholar Award (2014) Silver Medal, New World Mathematics Award (2007) Organized multiple workshops including the One World Seminar Series on Mathematics of Machine Learning and co-developed AI tools like Brainiac Buddy for education.

Albert Qiaochu Jiangمشاهده پروفایل

پژوهشگر ارشد

• Machine Learning
• Theorem Proving
• Artificial Intelligence
• +۳ مورد دیگر

Albert Qiaochu Jiang serves as a Visiting Research Fellow at the Department of Computer Science and Technology, University of Cambridge. His research integrates machine learning with formal theorem proving, focusing on neural theorem provers and mathematical reasoning systems. He leads the reasoning team at Mistral AI while maintaining academic supervision at Cambridge. His research interests center on machine learning for theorem proving , with specific expertise in neural-symbolic integration, autoformalization, and large language models for mathematical reasoning. His work bridges artificial intelligence with formal verification, developing systems that enhance automated reasoning capabilities through neural networks. Current projects involve improving premise selection for theorem provers, multilingual mathematical formalization, and creating efficient architectures for mathematical language models. Analysis of his recent publications reveals a strong focus on advancing neural theorem proving through innovative architectures like Target-Based Automated Conjecturing and Magistral. His research trajectory shows increasing sophistication in integrating language models with formal verification systems, with significant contributions to datasets like Numinamath and frameworks like Llemma. Key trends include optimizing compute efficiency in proof generation, enhancing multilingual mathematical reasoning, and developing interactive human-AI collaboration systems for formal mathematics. While no scientific awards are currently documented in available sources, his research output demonstrates significant impact in the intersection of AI and formal methods. As leader of Mistral AI's reasoning team, Jiang directs research on neural theorem proving systems while contributing to academic supervision at Cambridge. His work involves substantial industrial-academic collaboration, leveraging resources from both institutional contexts to advance mathematical AI. Current projects focus on creating practical systems for mathematical automation with real-world verification applications. His research operates at the intersection of academia and industry through Mistral AI's reasoning team, where he develops neural theorem proving systems with practical applications in formal verification. This dual affiliation enables rapid translation of theoretical advances into deployable tools for mathematical automation.