Find Academic Supervisors

Mohammad KarimView profile

Professor

• Optical Computing
• Information Processing
• Pattern/Target Recognition
• +5 more

Mohammad Karim, PhD, is a Professor in the Department of Electrical & Computer Engineering at the University of Massachusetts Dartmouth (UMass Dartmouth), affiliated with the College of Engineering. He previously held leadership roles including Provost, Executive Vice Chancellor for Academic Affairs, and Chief Operating Officer at UMass Dartmouth. His career includes serving as Vice President of Research at Old Dominion University (2004–2013), Dean of Engineering at City College of New York (2000–2004), and Head of Electrical and Computer Engineering at the University of Tennessee (1998–2000). He is an elected fellow of multiple prestigious organizations, including IEEE, OSA, and SPIE. Dr. Karim holds a BS Honors in Physics from the University of Dhaka (1976) and MS in Physics (1978) and MS/PhD in Electrical Engineering (1979/1981) from the University of Alabama. His research focuses on optical computing, pattern recognition, electro-optical systems, and sensors, with funding from agencies like the Office of Naval Research and NASA. He has authored 19 books, over 365 papers, and 13 book chapters, and served as guest editor for 36 journal special issues. His awards include Fellowships from IEEE, OSA, and the Bangladesh Academy of Sciences. He mentors students in MS/PhD programs and advises on research proposals. His work spans academic leadership, technical innovation, and interdisciplinary collaboration in engineering and optics.

• Electronic Design Automation (EDA)
• Computer Architecture
• Embedded Systems
• +5 more

Prof. Wolfgang Ecker is a Professor at the Technical University of Munich (TUM), affiliated with the Chair of Design Automation within the TUM School of Computation, Information and Technology . His research focuses on Electronic Design Automation (EDA), RISC-V processor architectures, and hardware-software co-design. He leads projects advancing EDA tools for embedded systems, neural network acceleration, and formal verification methodologies. Ecker's work bridges machine learning techniques with traditional EDA challenges, addressing topics like energy-efficient AI inference and automated documentation generation. His contributions span compiler optimization, FPGA implementations, and fault analysis in digital systems. Recent research highlights include contributions to the TRISTAN project for RISC-V ecosystem development, model-driven architecture frameworks, and AI-driven timing analysis. He actively collaborates on open-source EDA tools and explores Rust-based embedded systems development. Ecker’s lab emphasizes practical applications in edge computing and automotive microcontroller safety, with a strong emphasis on interdisciplinary collaboration across TUM’s CIT School. His publications (15 most recent listed) reflect a focus on EDA tool innovation, processor design, and leveraging machine learning for hardware optimization. While no specific awards are mentioned, his involvement in ERC-funded projects and leadership in international collaborations underscores his academic impact.

Eliza BrownView profile

Assistant Professor

• Economic Sociology
• Gender and Sexualities
• Medical Sociology
• +3 more

Eliza Brown serves as an Assistant Professor in the Sociology Department at the University of California, Berkeley, where she investigates the social dynamics of reproduction, medicine, and economic transactions through qualitative methodologies including ethnography and in-depth interviews. Her research bridges medical sociology, economic sociology, and gender studies to examine how patients and providers navigate risk, temporality, and financial considerations in fertility treatments and contraceptive counseling. Education: PhD in Sociology, New York University, 2021 Her scholarly focus centers on Economic Sociology, Gender and Sexualities, Medical Sociology, Sociology of Reproduction, Science and Technology Studies, and Sociology of the Family. Brown analyzes how medical encounters become sites of moral negotiation regarding money, chance, and reproductive timelines, particularly examining the gendered labor involved in conception attempts and the commodification of fertility services. Her work reveals how economic logics permeate intimate medical decisions while challenging assumptions about patient autonomy in stratified healthcare markets. Analysis of her publication trajectory demonstrates consistent engagement with reproductive temporality, risk communication, and market dynamics in medicine. Recent work explores price negotiations in fertility clinics, the transformation of sex into reproductive labor for women, and patient strategies for navigating fragmented medical markets. Her scholarship increasingly integrates pragmatist theory with medical sociology to develop frameworks for understanding uncertainty in clinical interactions. Though the source material provides no details on current advising activities or grant funding, Brown's research has garnered significant scholarly recognition through publications in premier journals like American Sociological Review and Social Science & Medicine , alongside media coverage in The New York Times Magazine , The Atlantic , and Wired . Her forthcoming book Gambling on Fertility (University of Chicago Press) extends her dissertation research on twin-risk negotiations in fertility treatments.

Martin OttoView profile

Professor

• Mathematical Logic
• Model Theory
• Complexity Theory
• +4 more

Prof. Martin Otto is a Professor of Mathematics at the Technische Universität Darmstadt, specializing in Logic and Mathematical Foundations of Computer Science. He holds a position in the Department of Mathematics (Fachbereich 4) and serves as Dean of Studies. His academic journey includes a PhD from the University of Freiburg (1990), habilitation from RWTH Aachen (1996), and prior roles as a Lecturer/Reader at Swansea University (1999–2003). Research Interests: Mathematical Logic, Model Theory, Complexity Theory, Algorithmic Model Theory, Finite Model Theory, and Logic in Computer Science. Notable contributions include work on bisimulation, guarded logics, and inquisitive semantics. His research bridges structural properties in mathematics and computational expressiveness. Teaching: Courses span Mathematical Logic, Model Theory, Linear Algebra, and Modal Logics. Recent offerings include Introduction to Mathematical Logic (2024/25), Logic & Knowledge Representation, and advanced seminars on model-theoretic topics. Publications: Over 50 peer-reviewed papers in journals like the Journal of Symbolic Logic, and conference proceedings such as LICS and CSL. Key works address guarded fragments, bisimulation invariance, and finite model theory applications. Affiliations: Member of the Logic Group at TU Darmstadt. Editorships include the Bulletin of Symbolic Logic and Lecture Notes in Logic. Organized workshops like AlMoTh 2020 (cancelled due to pandemic) and participated in Simons Institute programs (2016).

Rachel WhitlarkView profile

Associate Professor

• International Security
• Nuclear Proliferation
• Foreign Policy Decision-Making
• +5 more

Rachel Whitlark is an Associate Professor in the Sam Nunn School of International Affairs at Georgia Institute of Technology. Her research focuses on international security, nuclear proliferation, and executive decision-making in foreign policy. She holds a Ph.D. in Political Science from George Washington University, a master’s from Stanford University, and a B.A. from George Washington University. Affiliations: Nonresident Senior Fellow at Atlantic Council’s Scowcroft Center, Fellow of Bridging the Gap Project, and former fellowships at Harvard’s Belfer Center and MIT’s Security Studies Program. Her work examines leaders’ roles in nuclear policy, including preventive war strategies, targeting of nuclear scientists, and arms control negotiations. Key geographic focuses include the Middle East and East Asia. Her 2021 book All Options on the Table analyzes preventive military force against adversarial nuclear programs using archival research. Recent Research Trends: Emphasis on nuclear latency, presidential beliefs about coercion, and the interplay between technology and proliferation. Awards and Grants: Recipient of Defense Threat Reduction Agency grants, Stanton Foundation funding, and multiple fellowships at leading institutions. Her work bridges academia and policy, influencing national security discourse. Grants & Labs: Research supported by DTRA and Stanton Foundation grants. Collaborations include the Sam Nunn School’s Global Nuclear Security initiatives and Atlantic Council’s Forward Defense practice. Teaching & Engagement: Teaches courses on international security, nuclear proliferation, and U.S. foreign policy. Publications appear in Security Studies , Journal of Conflict Resolution , and Bulletin of the Atomic Scientists .

H. David JeongView profile

Professor

• Construction Management
• Artificial Intelligence in Civil Engineering
• Data Analytics for Infrastructure
• +5 more

H. David Jeong is the Associate Department Head and Professor in the Department of Construction Science at Texas A&M University's College of Architecture. His work focuses on advancing construction management through data analytics, artificial intelligence, and innovative technologies. Key areas of research include risk analysis, cost estimation, transportation infrastructure optimization, and collaboration strategies in project delivery. He leads initiatives such as the Serious Games and Simulations for the Built Environment (SeGSiBE) and contributes to the Data Analytics and Artificial Intelligence for Construction Management program. Jeong’s research integrates machine learning, NLP, and GIS technologies to address challenges in construction scheduling, asset management, and project performance evaluation. His projects emphasize practical applications, such as developing predictive models for gravel loss, contingency estimation frameworks, and chatbot-driven workflow tools. He has published extensively on topics like highway construction contract times, AI-based project prioritization, and lifecycle data management in transportation assets. Education : While specific academic credentials are not detailed, his roles imply advanced training in construction engineering and management. Labs/Teams : Leads SeGSiBE lab and collaborates on the HCCI (Highway Construction Cost Index) tool development. Grants/Advising : No student advisees listed, but his research projects likely involve graduate students and industry partnerships.

• Legal Informatics
• Artificial Intelligence & Law
• Computable Legal Reasoning
• +6 more

Giuseppe Contissa is an Associate Professor at the Department of Legal Sciences, University of Bologna. His work focuses on Legal Informatics, AI & Law, Legal Theory, and Law & Technology, particularly in robotics and automated systems. He holds a PhD in Legal Informatics from the University of Bologna and has extensive experience in research projects like ALIAS (air traffic management liability) and CLAUDETTE (AI-driven contract analysis). He is affiliated with ALMA Ai (Human-Centered AI Institute) and ARCES (Electronic Systems Research). Education: PhD in Legal Informatics (2006, University of Bologna), Master's in Legal Informatics (2002), Laurea in Jurisprudence (2001). Research Interests: Computable legal reasoning, AI ethics in healthcare, liability frameworks for autonomous systems, socio-technical systems governance, and automated vehicle regulation. He leads projects on AI certification in aviation and consumer protection through AI systems. Key Projects: CrossJustice (digital criminal procedure rights), SAFELAND (air traffic safety), and COMPULAW (computable law models). He advises the Council of Europe on AI ethics in justice systems. Labs/Teams: CIRSFID (Computer Law Research), ALMA Ai, and collaborations with CodeX (Stanford).

Sarah LambleView profile

Professor

• Gender Studies
• Queer Theory
• Criminology
• +7 more

Sarah Lamble is a Professor of Criminology and Queer Theory at Birkbeck College, University of London, within the School of Social Sciences. She has led the development of criminology programs and co-founded the Bent Bars Project, advocating for LGBTQ+ prisoners. With a PhD in Law from the University of Kent (2011), her research focuses on intersections of gender, sexuality, and criminal justice, including transformative justice, carceral systems, and abolitionist frameworks. Her academic contributions include over 30 peer-reviewed articles and editorial roles with journals like Theoretical Criminology. Key projects include a Leverhulme-funded study on UK gender debates and collaborations on prison intimacy governance. Lamble teaches modules like 'Gender, Sexuality and Criminal Justice' and mentors PhD students exploring topics such as psychiatric detention and migrant sentencing. Awards include a Leverhulme Research Fellowship (2023-24) and Fellowship with Advance HE. She actively participates in community initiatives like Abolitionist Futures and Beauty Out of Ashes, emphasizing anti-violence work and policy advocacy.

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.

Elli AnastasiadiView profile

Assistant Professor

• Formal Verification
• Concurrency Theory
• Parallel Programs
• +7 more

Elli Anastasiadi is an Assistant Professor in the Department of Computer Science at Aalborg University, part of the Technical Faculty of IT and Design. She is a member of the DEIS (Distributed, Embedded and Intelligent Systems) research group, which focuses on formal methods, verification, and intelligent systems. Prior to her current role, she was a postdoctoral researcher at Uppsala University and completed her PhD at Reykjavik University. Education: PhD in Computer Science, Reykjavik University (2022) Master’s in Applied Mathematics and Computer Science, NTUA, Greece Her research centers on formal verification of concurrent and parallel systems , with emphasis on runtime verification, process algebra, and logical foundations. She works extensively with hyperproperties, modal logic, and equational reasoning. Her work bridges theoretical computer science with practical verification tools. Recent publications show a strong trend in logic-based verification , particularly in modal and temporal logics, recursion, and monitor synthesis. Her work often involves complexity analysis and axiomatization of logical systems. Scientific Awards: PhD grant from Reykjavik University research fund She has advised no publicly listed students yet and is actively involved in academic service, including co-organizing workshops and being an invited speaker. She collaborates closely with leading researchers in concurrency theory and formal methods. Labs and Teams: Member of the DEIS research group at Aalborg University, contributing to projects on verification, distributed systems, and intelligent decision-making.

Wendy StubbsView profile

Associate Professor

• Corporate Sustainability
• Sustainable Business Models
• Sustainability Reporting
• +3 more

Wendy Stubbs is an Associate Professor in the School of Social Sciences at Monash University, specializing in corporate sustainability and purpose-driven business models. Her research explores how businesses can holistically address environmental, social, and economic responsibilities, with a focus on B Corps, purpose ecosystems, and the Sustainable Development Goals (SDGs). She leads major ARC-funded projects like 'Sustainability Transformation Pathways for SMEs' and co-investigates the global TRANSFORM initiative. Her PhD (2006) pioneered the 'sustainability business model' concept, recognized as foundational in the field. She has taught corporate sustainability for over 15 years in Monash’s graduate programs. Notable awards include top 0.05% global ranking in Sustainability by ScholarGPS (2024), Banksia Research Award (2019), and multiple teaching commendations. Research interests span sustainability reporting, integrated reporting effectiveness, and governance mechanisms for SDG alignment. Recent work examines SMEs’ experimentation with transformative business models and B Corps’ stakeholder engagement strategies. Her contributions bridge academia and industry via advisory roles with CPA Australia and global sustainability partnerships.

Cezary KaliszykView profile

Professor

• Theoretical Computer Science
• Automated Reasoning
• Formal Methods
• +13 more

Cezary Kaliszyk is a Professor in Theoretical Computer Science at the University of Melbourne. His research focuses on automated reasoning, formal methods, and learning for reasoning, particularly in the context of interactive theorem proving and formalized mathematics. He leads the ERC project 'FormalWeb3' and has been involved in several other significant research initiatives. Theoretical Computer Science Automated Reasoning Formal Methods Interactive Theorem Proving Machine Learning for Theorem Proving Formalized Mathematics Proof Guidance Learning for Reasoning His research explores the integration of machine learning techniques with formal reasoning systems to enhance automation in theorem proving. This includes developing systems like CoqHammer and Tactician, advancing premise selection, proof guidance, and learning-based proof search strategies. His work bridges logical foundations with practical AI-driven tools for formal verification. The recent publications demonstrate a consistent focus on advancing automated and interactive theorem proving through learning techniques, formalization of mathematical concepts (like surreal numbers), and improving reasoning systems (e.g., Prover9, tableaux methods). There is a strong emphasis on practical system development, formalization projects, and learning-based enhancements to reasoning. ERC project 'FormalWeb3' - Principal Investigator Cost Action EuroProofNet - WG5 Leader until 2024 FWF project P26201 - developing HOL(y)Hammer Other projects: JSPS P10044, NWO MathWiki, SURF WebDed, ProofWeb He has advised several PhD students to completion, including Michael Färber, Thibault Gauthier, Yutaka Nagashima, Stanisław Purgał, and Liao Zhang, and is currently supervising Daniel Ranalter and Neil Vyas. He has not received any explicitly mentioned scientific awards in the provided text. His work involves leadership in collaborative systems such as ProofWeb and HOL Import, and participation in major formalization efforts including the Mizar library integration with Isabelle. He is actively involved in the development of tool ecosystems for formal mathematics and automated reasoning.

• Performance Enhancement
• Philosophy of Mind
• Aesthetics
• +3 more

Leon Culbertson is the Dean of the Graduate School, overseeing academic research and postgraduate programs. His work focuses on intersections of philosophy, sport ethics, and educational theory. He has published extensively on topics like performance enhancement, aesthetics, and Wittgensteinian philosophy. Research Interests: Philosophy of Mind, Ethics in Sport, Analytic Philosophy Notable Contributions: Critiques of scientism in athlete welfare, explorations of aesthetic concepts in drama His recent publications address academic quality metrics and the philosophical underpinnings of understanding/learning processes. Active in collaborative research across multiple countries, though specific partnerships remain unspecified.

Stan MatwinView profile

Professor

• Artificial Intelligence
• Machine Learning
• Data Mining
• +7 more

Stan Matwin is a Professor and Director of the Institute for Big Data Analytics at the Faculty of Computer Science, Dalhousie University. He is also affiliated with the Institute for Computer Science of the Polish Academy of Sciences. Previously, he was a Distinguished University Professor at the University of Ottawa and has held academic positions at Warsaw University, University of Guelph, Acadia University, and visiting roles across the U.S., Europe, and Latin America. His educational background includes a Ph.D. from Warsaw University (1977) and a D.Sc. (habilitation) from the Polish Academy of Sciences (2010). Stan Matwin's research focuses on Artificial Intelligence , Machine Learning , Data Mining , Text Mining and Analytics , Big Data , and Data Privacy . He is internationally recognized for pioneering work in visual text analytics and the application of machine learning to real-world data challenges. His work bridges academic research and industrial innovation, particularly in technology transfer and data-driven applications. The publications linked from his profile are inaccessible due to a server restriction (403 Forbidden), but he is known to have authored or co-authored over 250 research papers in top-tier venues. Scientific Awards and Honors: Canada Research Chair (Tier 1) in Visual Text Analytics Fellow of the European Coordinating Committee on Artificial Intelligence (ECCAI) Fellow of the Canadian Artificial Intelligence Association (CAIAC) Ontario Champion of Innovation Stan Matwin has secured significant research funding from organizations including the Canada Research Chairs program, Canada Foundation for Innovation (CFI) , NSERC , Ontario Centres of Excellence , and the Canadian Bureau for International Education . He has supervised numerous graduate students and led major research initiatives. He was former president of the Canadian Artificial Intelligence Association (CAIAC) and IFIP Working Group 12.2 on Machine Learning. He is also an active innovator, co-founding technology companies such as Distil Interactive Inc. and Devera Logic Inc. He leads the Big Data Analytics, AI & Machine Learning research cluster at Dalhousie and continues to be a key figure in advancing data science research and training through the Institute for Big Data Analytics.

• Sustainable and Resilient Supply Chain Management
• Supply Chain Network Design
• Multi-objective Optimization
• +11 more

Dr. Ahmed Mohammed is an Associate Professor in Supply Chain Management and Programme Director for the MSc Supply Chain Management at the University of Birmingham, Dubai Campus. He is affiliated with the Management Department and brings over 13 years of combined academic and industrial experience from the UK and the Middle East. Educational Background: Ph.D. in Engineering, University of Portsmouth, UK (2017) MSc in Communication Network Planning and Management, University of Portsmouth, UK (2010) Lean Six Sigma – Black Belt (2022) Fellow, Higher Education Academy, UK (2022) Dr. Mohammed's research focuses on the modeling and optimization of supply chains with an emphasis on sustainability and resilience. His work spans areas such as multi-tier supplier selection, circular economy, food waste management, Industry 4.0 integration, and last-mile logistics. He employs advanced methodologies including multi-criteria decision-making (MCDM) techniques like AHP, TOPSIS, and VIKOR, and develops hybrid optimization models for complex supply chain challenges. His recent publications, spanning from 2021 to 2023, reflect a strong trend in resilient and sustainable supply chain network design, pandemic-related disruptions, digital sourcing, and risk modeling under uncertainty. These works appear in high-impact journals such as International Journal of Production Research , Transportation Research Part E , Computers & Industrial Engineering , and Expert Systems with Applications . Scientific Awards and Recognitions: Fellow, Higher Education Academy, UK (2022) Lean Six Sigma Black Belt (2022) Fellow Member, Chartered Institute of Logistics and Transport (CILT) Member, MCDM Society Dr. Mohammed has secured multiple research grants from MOHERI, Oman, including projects on last-mile logistics sustainability, supply chain resilience, and online food waste management. He actively supervises research students and serves as a reviewer for leading journals including International Journal of Production Economics (IJPE) , Transportation Research Part D (TRD) , Omega , and International Journal of Production Research (IJPR) . He is also an external academic program reviewer for logistics-related programs and contributes to the academic community through peer review and collaborative research.