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

• Philosophy of Science
• Bioethics
• Ethics of Technology
• +۵ مورد دیگر

Hugh Desmond is an Assistant Professor at Wageningen University & Research, specializing in the philosophy and ethics of science and biology. He holds interdisciplinary degrees in physics/mathematics from KU Leuven and music performance from the Royal Conservatory of Brussels and Conservatory of Paris. His research focuses on scientific explanation, trust in science, scientific integrity, evolutionary theory (including Darwinism and agency in evolution), and bioethics. He has co-edited volumes like Human Success and Evolutionary Thinking Across Disciplines , and published 32 peer-reviewed articles in top journals. Key research areas include the politicization of science, ethics of technology, and scientific professionalism. He co-leads the FWO-funded 'Professionalism in Science' project (€196,000) with Kris Dierickx. Desmond is a founding member of the Darwinism Network and the Embassy of Good Science, advocating for ethical scientific practices. His work bridges philosophy with societal challenges, emphasizing communication and integrity in science. Teaching responsibilities include courses on Data Science Ethics, Climate Change Strategies, and Consumer Studies for Sustainability at Wageningen University. His interdisciplinary approach integrates philosophical rigor with practical ethical dilemmas in modern science and technology.

Mareike Smolkaمشاهده پروفایل

استادیار

• Science & Technology Studies
• Responsible Innovation
• Empirical Ethics
• +۵ مورد دیگر

Mareike Smolka is an Assistant Professor (tenured) at Wageningen University & Research (WUR) and a Research Fellow at RWTH Aachen University's Human Technology Center. She specializes in Science & Technology Studies (STS), responsible innovation, and empirical ethics, focusing on AI, neurosciences, and socio-technical systems. Her research examines ethical and societal dimensions of technology development through interdisciplinary collaboration and stakeholder engagement. Education: PhD in Science & Technology Studies from Maastricht University (2022), funded by the German Academic Scholarship Foundation and the European Francisco Varela Award. She holds a University Teaching Qualification from Maastricht University and certifications in PhD supervision and reflexive monitoring. Research Interests: Responsible innovation ecosystems, socio-technical integration, ethics of AI, and transition studies. She leads projects like the NWO Veni-funded 'Studying and enhancing how AI researchers and developers imagine socio-technical systems' and contributes to NeuroSys, a neuromorphic computing initiative. Her work bridges academia, industry, and society through methods like vision assessments and reflexive practitioner dialogues. Publications span Journal of Responsible Innovation , Science, Technology & Human Values , and Minerva , emphasizing ethics in tech development and governance. Her awards include the Veni grant and a 2021 'Bake your research' competition win for her cookie-based research explanation. Awards: Veni grant (2023), European Francisco Varela Award (2019), and Maastricht Young Academy prize (2021). She serves on the Centre for Unusual Collaboration's board and as an Associate Editor for Journal of Responsible Innovation . Teaching & Mentorship: Coordinates the 'Innovation and Transformation' course at WUR. Supervises PhD students on topics like bioeconomy transitions and AI ethics. Conducts workshops on socio-technical integration, reflexive monitoring, and future literacy. Labs/Teams: Active in the NeuroSys Cluster4Future, OnePlanet Research Center, and the Human Technology Center. Leads transdisciplinary projects like the NeuroSys Vision Assessment and Transformative Vision Assessment initiatives.

• Multimodal Literacy
• Educational Semiotics
• Science Education
• +۴ مورد دیگر

Len Unsworth is a researcher and Program Director in Educational Semiotics at the Institute for Learning Sciences and Teacher Education (ILSTE), Faculty of Education and Arts, Australian Catholic University (ACU). His work focuses on multimodal literacy, the integration of digital technologies in education, and semiotic analysis of visual and textual interaction in learning environments. Key research interests include: multimodal pedagogies for science and English education, analysis of infographics and animated narratives in curriculum design, and the role of image-language interaction in comprehension and assessment. He has contributed to transdisciplinary research in science education, exploring how visual and textual elements shape knowledge construction in classrooms. His recent work emphasizes digital literacies for the future, including projects on multimodal authoring in middle school English and multimodal literacy for low socioeconomic status (SES) students. He co-authored influential books such as Reading Visual Narratives: Image Analysis of Children’s Picture Books and Multimodal Literacy in School Science . Dr. Unsworth’s research often bridges theory and practice, addressing curriculum expectations and large-scale assessment practices. He collaborates internationally, conducting comparative studies on science textbooks and educational media across regions like Australia and Taiwan.

• Computational Thinking
• Game Design
• Computer Science Education
• +۳ مورد دیگر

Alexander Repenning is an Adjunct Professor at the University of Colorado Boulder, specializing in computational thinking and game design for education. His research focuses on developing tools like RULER to teach programming through creative projects. Research Focus: Computational thinking integration in K-12 curricula Game design as a pedagogical tool AI-assisted learning environments Publications: Recent works explore scaffolding techniques, error culture in education, pandemic-related learning shifts, and novel programming paradigms. Contact: ralex@colorado.edu

• Programming Languages
• Program Verification
• Software Security
• +۵ مورد دیگر

Gilles Barthe is a scientific director at the Max Planck Institute for Security and Privacy in Bochum, Germany, and a part-time research professor at the IMDEA Software Institute in Madrid, Spain. His research focuses on programming languages, program verification, cryptography, privacy, and mathematical logic, with an emphasis on applying relational verification to cryptographic systems. He leads the Foundations of Security and Privacy Group, developing techniques to ensure cryptographic software is secure against timing and side-channel attacks, and verifies implementations of post-quantum algorithms like Kyber. Barthe has pioneered tools such as EasyCrypt for formal proofs, and contributed to standards like AWS Key Management Service verification. His work bridges theory (e.g., quantum verification) and practice (e.g., compiler optimization for constant-time code). Education: Ph.D. in 1993 from University of Manchester, followed by roles at INRIA, IMDEA, and others. Research Interests: Secure compilation, cryptographic protocol verification, differential privacy, and quantum programming semantics. Recent articles explore secure compilation against Spectre variants, quantum relational logics, and formal verification of lattice-based cryptography. He has advised over 20 PhD/Master’s students, many contributing to cryptographic verification frameworks. Barthe’s teams collaborate on high-assurance implementations, masking techniques, and mitigating modern microarchitecture threats. His lab’s work includes PanCast for epidemic risk mitigation and certified cryptographic libraries.

Hongyang Gaoمشاهده پروفایل

استادیار

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

Hongyang Gao is an Assistant Professor at Iowa State University, focusing on AI, Machine Learning, and Data Science. His work bridges theoretical foundations and practical applications in neural networks, graph representation learning, and cybersecurity. Education: PhD in Computer Science, Texas A&M University MS in Computer Science, Tsinghua University B.S. in Biomedical English, Peking University Research Interests: Explores neural ODEs, graph neural networks (GNNs), and their applications in molecular modeling, vulnerability detection, and trustworthy AI systems. His recent work emphasizes model interpretability (e.g., MotifExplainer), optimization theory for implicit networks, and graph-based explainability techniques. Publications Trends: Recent papers (2022-2025) highlight advancements in graph learning frameworks, such as G2T-LLM for molecule generation and MAGE for GNN explainability. His work on Neural ODEs explores activation function impacts on convergence, while cybersecurity papers apply dataflow analysis for vulnerability detection. Advising: Collaborates with students on projects involving motif-based methods (e.g., Motifpiece), meta-learning (Meta-AdaM), and trustworthy AI (data preconditions research). No grants explicitly listed in provided texts.

Hannes Freyمشاهده پروفایل

استاد

• Wireless Networked Systems
• Mobile Robotics
• Sensor Networks
• +۲ مورد دیگر

Hannes Frey is Professor and Head of the Computer Networks Research Group at the University of Koblenz and Landau. His research focuses on the controllability of complex dynamically networked systems including sensor networks, mobile autonomous robot teams, and connected vehicles. The group investigates fundamental theoretical questions and system-level practical issues, with emphasis on transferring theoretical results into practice through prototype implementations. Research interests include: Connectivity and percolation in wireless networked systems Local topology control under graph structure assumptions Cooperative distributed control for wirelessly networked mobile robots Reliable ultra-low latency communication for autonomous platforms Software Defined Networking for IoT systems The group maintains the UniKoRN laboratory for practical research in wireless communication and mobile distributed robotics, supporting research internships and student projects.

Maria Garcia De La Banda Garciaمشاهده پروفایل

استاد

• Combinatorial Optimisation
• Program Analysis
• Declarative Programming
• +۲ مورد دیگر

Maria Garcia De La Banda Garcia is a Professor at Monash University's Faculty of Information Technology with over 25 years of academic experience. She currently serves on the ARC College of Experts and is Co-Chair of the Monash-Woodside FutureLab. Her research spans: Combinatorial optimization techniques Program analysis and transformation Constraint programming languages Bioinformatics applications She has secured over $34M in research funding and serves as Area Editor for the Journal of Theory and Practice of Logic Programming. Awards include: Logan Fellowship (1997) International Constraint Modelling Challenge (2005) Monash Honour Roll (2021)

Sami Yousifمشاهده پروفایل

استادیار

• Cognitive Psychology
• Developmental Psychology
• Neuroscience
• +۳ مورد دیگر

Sami Yousif is an Assistant Professor in the Department of Psychology and Neuroscience at the University of North Carolina, Chapel Hill. He directs the Perception, Cognition, & Development Laboratory (PCDL), focusing on how the mind perceives, represents, and interacts with the world. PhD from Yale University MindCORE Postdoctoral Fellow at University of Pennsylvania B.A. in Psychology from Emory University His research spans spatial cognition, perceptual adaptation, and cognitive development. Key areas include: Spatial perception and topological relations Numerosity estimation and cognitive biases Temporal illusions and randomization behavior Event representation and mechanistic explanations Recent publications focus on spatial-numerical associations, visual adaptation, and perceptual distortions, reflecting PCDL's interdisciplinary approach.

• Theorem Proving
• Runtime Verification
• Automated Reasoning
• +۳ مورد دیگر

Giles Reger is a Lecturer in the Formal Methods Group within the School of Computer Science at the University of Manchester. His primary roles include research and teaching in theorem proving, runtime verification, and formal methods. He has been actively involved in projects such as the Centre for Digital Trust and Society and the SCorCH project focusing on secure code verification. Educational background: Giles holds a BA in Computer Science from the University of Cambridge (2009), an MSc in Advanced Computer Science from the University of Manchester (2010) with the Highest Achiever of the Year Award, and a PhD from the University of Manchester (2014) titled Automata based monitoring and mining of execution traces . Research interests focus on two core areas: theorem proving (quantifier reasoning, first-order theories, collaborative proof search, and integration of SAT/SMT solvers) and runtime verification (temporal specifications, monitoring algorithms, violation explanation, and benchmarking). His work emphasizes practical applications in tool development and real-software analysis. Notable awards include the ACM SIGSOFT Distinguished Paper Award (2024) for his paper on LLM-generated invariants. His research contributions span over 50 publications, with active involvement in funded projects like SCorCH (Secure Code for Capability Hardware) and the Centre for Digital Trust and Society. Advising and grants: Reger welcomes PhD/MSc students in theorem proving, program verification, and related fields. He has supervised multiple research students and leads collaborative projects involving international researchers. His lab, the Formal Methods Group, develops tools like the Vampire theorem prover and contributes to runtime verification frameworks.

Yuichiro Mizumachiمشاهده پروفایل

استاد

• Labour Law
• Employment Law
• Inequality & Social Policies
• +۳ مورد دیگر

Yuichiro Mizumachi is a Professor in the Department of Comparative Modern Law at the Institute of Social Science, University of Tokyo. He is also an associate researcher of the French-Japanese Research Network (FFJ) under Theme 5: 'Inequality & Social Policies.' His career includes visiting roles at University of Paris 10 and University of Paris-West (Nanterre-La Défense) from 2010 to 2016. Mizumachi specializes in historical and comparative studies of Labour Law, focusing on Japan’s evolving legal frameworks and their societal implications, particularly regarding non-regular workers, wage discrimination, and procedural aspects of employment disputes. His work critiques Japan’s 'pre-modern' communal negotiation practices and advocates for transparent, inclusive legal reforms. Education details are not explicitly provided in the texts, but his academic trajectory includes tenure at the University of Tokyo and extended collaborations with European institutions like EHESS and the FFJ. He has co-authored and edited numerous textbooks and legal commentaries, including Labor Law (8th/9th editions) and Detailed Explanation of Labor Law , reflecting his dual role as researcher and educator. Research interests emphasize the interplay between modern legal principles and Japan’s socio-legal context, analyzing how shifts like 'proceduralization' of Labour Law risk reverting to exclusionary practices. Mizumachi’s articles highlight contemporary challenges such as 'same work, same pay' reforms, whistleblower protections, and digital platform employment. He received the 20th Labor-related Book Award in 1997 for his work on part-time work legal policies. His advising contributions are not listed, but he collaborates extensively on projects like FFJ’s Theme 5 and co-leads research initiatives on inequality and labour market reforms. Mizumachi’s affiliated labs or teams include the Institute of Social Science’s collaborative projects and FFJ partnerships, focusing on comparative legal frameworks and socio-economic policy analysis.

Yingying Wuمشاهده پروفایل

استادیار

• Differential Geometry
• Supersymmetry
• Computational Geometry
• +۱۱ مورد دیگر

Yingying Wu is an Assistant Professor in the Department of Mathematics at the University of Houston. She serves as the Head Coach for Harvard University's International Collegiate Programming Contest (ICPC) teams and a trainer for the ICPC North America Championship Programming Camp. Her research focuses on differential geometry, supersymmetry, computational geometry, and machine learning applications in geometric analysis and biomedical problems. She has advised Ph.D. student Haotian Zuo, who specializes in derived categories and moduli spaces of vector bundles. Her academic contributions span theoretical mathematics and applied machine learning, with notable work on Laplace-Beltrami operators, Z/2 harmonic spinors, and protein structure analysis. She has served as a judge for multiple regional programming contests and developed training materials for competitive programming education. Her research bridges geometric analysis with computational techniques, addressing challenges in medical imaging, 3D shape recognition, and phylogenetic modeling. Key areas of expertise include eigenvalue problems in differential geometry, moduli spaces of curves with supersymmetric structures, and AI-driven approaches to geometric feature representation. Her programming contest leadership reflects expertise in algorithm design and competitive problem-solving strategies.

Eric D Smithمشاهده پروفایل

دانشیار

• Systems Engineering
• Industrial Engineering
• Tradeoff Studies
• +۵ مورد دیگر

Eric D Smith serves as Associate Professor and dual Program Director (Undergraduate and Graduate) in the Industrial, Manufacturing, and Systems Engineering (IMSE) Department at the University of Texas at El Paso. Based in the Engineering Building, he drives industry-academia integration to align curriculum with real-world practices and student career development. His administrative leadership spans program coordination and strategic industry partnerships within UTEP's engineering ecosystem. Dr. Smith's research centers on Systems Engineering and Industrial Engineering with specialized focus on Tradeoff Studies , Cognitive Biases in decision-making, and Psychological Ownership dynamics. He employs analytical frameworks to address complex challenges across supply chains, medical diagnostics, and organizational behavior. His interdisciplinary approach bridges engineering principles with neuroscience, oncology, and blockchain technology through rigorous mathematical modeling and systems theory applications. Recent publications (2022-2024) reveal three dominant trends: (1) anti-fragile system design for unreliable infrastructure, (2) computational explanations for counterintuitive phenomena (e.g., depression biomarkers, algorithmic creativity), and (3) sustainability assessments of emerging technologies like bitcoin mining. His work consistently applies systems thinking to decode nonlinear relationships in medical, economic, and software domains while developing novel analytical techniques for data mining and hypothesis testing. Scientific Awards Fellowship to Travel to Israel Secured significant research funding including a $2.5 Million Grant for Green Energy Manufacturing at UTEP. As Program Director, he mentors students through industry-connected curricula while leading initiatives like the Community Interdisciplinary Research and Education (IDRE) program. His teaching innovations integrate additive manufacturing, lean principles, and project-based learning to enhance STEM engagement and technical workforce development.

Zoey Zhiyu Chenمشاهده پروفایل

استادیار

• Artificial Intelligence
• Natural Language Processing
• Healthcare Technology
• +۳ مورد دیگر

Zoey Zhiyu Chen is an Assistant Professor in the Department of Computer Science at the Erik Jonsson School of Engineering and Computer Science, University of Texas at Dallas. Her research focuses on advancing artificial intelligence, particularly in natural language processing (NLP), healthcare technology, financial technology, and dialogue systems. She explores the application of large language models (LLMs) in critical domains such as mental health therapy, cognitive behavior therapy (CBT), and finance, emphasizing robustness and ethical considerations. Key research areas include hypothesis discovery, rule learning, patient simulation for mental health training, and improving medical predictions through multimodal data analysis. Her work also addresses challenges in retrieval-augmented models, agentic search optimization, and zero-shot dialogue state tracking. Chen’s contributions span theoretical advancements in AI reasoning and practical applications in societal domains like law and healthcare. Her articles highlight trends in leveraging LLMs for clinical support, financial analysis, and improving human-AI interaction through preference learning and function calling mechanisms. She advocates for responsible AI development, as seen in studies on energy efficiency benchmarks (Hulk) and domain-specific robustness (RobustFin).

William N. Sumnerمشاهده پروفایل

دانشیار

• Automated Debugging
• Concurrency & Parallelism
• Program Analysis & Transformation
• +۳ مورد دیگر

William N. Sumner is an Associate Professor and Associate Director, Academic and Administration in the School of Computing Science at Simon Fraser University. He holds a Ph.D. in Computer Science from Purdue University (2013) and a B.Sc. in Computer Science from Hope College (2005). His research focuses on automated debugging tools, concurrency, parallelism, program analysis, and software quality. He teaches courses such as Software Development Methods, Software Testing, and Automated Software Analysis. Sumner actively recruits graduate and undergraduate students for research in improving software development processes through automation. His work emphasizes reducing repetitive tasks in software development using techniques like test case reduction and program analysis. Education: Ph.D., Computer Science, Purdue University, 2013 B.Sc., Computer Science, Hope College, 2005 Research Interests: Sumner’s research addresses challenges in software development automation, including automated debugging, test suite assessment, and program hardening. He develops tools like Pardis to optimize test case reduction and improve software reliability. His work intersects with concurrency, parallelism, and program transformation to enhance developer productivity and software quality. Recent Contributions: Recent publications include advancements in type batched program reduction (2023) and leveraging models for test case reduction in software repositories (2021). His Pardis framework (2019) improves test case reduction efficiency by addressing priority inversion in structured inputs. Teaching & Engagement: Sumner teaches courses such as CMPT 373 (Software Development Methods), CMPT 473 (Software Testing), and CMPT 479 (Automated Software Analysis). He emphasizes hands-on projects, such as the Geotagged Meeting Planner in CMPT 276, focusing on teamwork, agile methodologies, and software engineering best practices.