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

Deok-Ho Kimمشاهده پروفایل

استاد

• Stem cell engineering
• Tissue engineering
• Organs-on-chips
• +۷ مورد دیگر

Deok-Ho Kim, PhD, is a Professor in the Department of Biomedical Engineering at Johns Hopkins University. His research focuses on integrating nanotechnology, biomaterials, and mechanobiology to advance tissue engineering, regenerative medicine, and disease modeling. Key areas include stem cell engineering, organs-on-chips, and bio-inspired materials for drug screening and cell-based therapies. Education: PhD in Biomedical Engineering from Johns Hopkins University (2010), MS in Mechanical Engineering from Seoul National University (2000), and BS in Mechanical Engineering from POSTECH (1998). Research emphasizes understanding how mechanical and biochemical signals regulate cell behavior in health and disease. Notable work includes microphysiological systems (MPS) for precision medicine, spaceflight effects on cardiac function, and engineered heart tissue models. Recent studies highlighted the impact of microgravity on heart cells and the role of LOXL2 in hypertension. Laboratory: Kim Lab develops cutting-edge tools like nanopatterned electrodes and biomimetic substrates. Collaborations span academia and industry, with media features in Scientific American and coverage of heart-on-a-chip studies in space. Grants and Funding: Active in securing federal and foundation grants for tissue engineering and biomaterials research. Advising: No formal student list provided, but mentors trainees in multidisciplinary approaches.

Alexandr Lucasمشاهده پروفایل

استاد آموزشی

• Robotics
• Artificial Intelligence
• Human-Robot Interaction
• +۳ مورد دیگر

Alexandr Lucas is a Teaching Professor in Robotics at the University of Sheffield's School of Computer Science. He joined in September 2019 and holds roles including Deputy Admissions Tutor (General Engineering) and IPE Tutor. His research focuses on developmental neuro-robotics, cognitive assessment via human-robot interaction, and educational robotics applications. He contributes to courses like COM1005 (Machines and Intelligence) and COM3528 (Cognitive and Biomimetic Robotics), developing teaching materials for MiRo robots and simulators. Publications include work on cognitive skill assessment using cloud computing and robotic systems, visual finger-counting for neuro-robotics learning, and public perception analysis of robots in urban environments. He co-founded the SERAI Network CIC and maintains active roles in robotics education and outreach. Lucas has created extensive teaching resources, including guides for MiRoCloud simulation platforms and visual coding tools (MiRoCODE). His work emphasizes practical robotics education and bridging theory with hands-on experiments in undergraduate and postgraduate programs.

Siddharth Gargمشاهده پروفایل

دانشیار

• Machine Learning
• Cybersecurity
• Computer Hardware Design
• +۴ مورد دیگر

Siddharth Garg is the Institute Associate Professor of Electrical and Computer Engineering at NYU Tandon School of Engineering, leading the EnSuRe Research Group. He holds a Ph.D. from Carnegie Mellon University (2009) and a B.Tech. from IIT Madras. His research focuses on secure and energy-efficient computing systems, integrating machine learning, cybersecurity, and hardware design. He previously held roles as Assistant Professor at NYU Tandon (2014-2020) and the University of Waterloo (2010-2014). Key affiliations include NYU Center for Cybersecurity (CCS), NYU Wireless, and the Center for Advanced Technology in Telecommunications. His work has been recognized with prestigious awards like the NSF CAREER Award (2015) and inclusion in Popular Science’s 'Brilliant 10' (2016). Notable research includes private inference optimization, secure hardware IP protection, and adversarial machine learning defenses. Publications highlight advancements in zero-knowledge proofs, AI-driven chip design, and mitigating backdoor attacks in neural networks. His grants include funding from NYU Wireless and NSF initiatives like the Chips4All project. The EnSuRe group emphasizes bridging software and hardware design gaps using AI and fostering cybersecurity education.

Qiu, Jingjingمشاهده پروفایل

دانشیار

• Advanced Manufacturing
• Nanomaterials Synthesis
• Multifunctional Composites
• +۳ مورد دیگر

Dr. Jingjing Qiu is an Associate Professor in the Department of Mechanical Engineering at Texas A&M University (TAMU), leading the Advanced Materials & Manufacturing (AM²) Lab. Her research focuses on advanced manufacturing, nanomaterials, multifunctional composites, sustainable materials, energy harvesting, and healthcare applications. She holds a Ph.D. in Industrial & Manufacturing Engineering from Florida State University (2008), and M.S./B.S. degrees in Materials Science from Beihang University (2004/2001). Prior to academia, she gained 1 year of industrial experience as a Quality Engineer at SAIC Motor. Research interests include AI-driven nanomaterials synthesis, low-carbon manufacturing processes, and biomedical innovations such as drug delivery systems for brain tumors. The AM² Lab emphasizes interdisciplinary collaboration in materials science, data science, and sensor integration for energy and medical devices. Recent work highlights include AI-assisted microplastics removal, thermoelectric energy harvesting via graphene aerogels, and neuromorphic computing systems. Her team actively pursues postdoctoral and PhD candidates for research in energy/healthcare materials, requiring expertise in nanomaterials characterization (e.g., SEM, XPS, electrochemical techniques) and interdisciplinary problem-solving. Lab facilities support cutting-edge fabrication and testing of functional materials. Publications span over 15 years, with recent trends in sustainable manufacturing, soft robotics, and bio-inspired materials. Ongoing projects include DOE-funded initiatives on rare earth recycling and low-carbon ceramic production. No scientific awards are explicitly listed in the provided texts.

Joshua Loftusمشاهده پروفایل

استاد

• Algorithmic Fairness
• Causal Inference
• Data Science
• +۴ مورد دیگر

Joshua Loftus is a Professor of Statistics and Data Science at the London School of Economics (LSE), Department of Statistics. His research focuses on improving data science practices to reduce bias and enhance fairness in algorithms, particularly addressing social harms and scientific reproducibility. He develops methods for statistical inference post-model selection and uses causality to analyze algorithm fairness and interpretability. His work bridges high-dimensional statistics, causal inference, and ethical AI, with a strong emphasis on practical applications using R in data science education. Before joining LSE, Loftus earned his PhD in Statistics at Stanford University, served as a Research Fellow at the Alan Turing Institute (affiliated with the University of Cambridge), and was an Assistant Professor at New York University (2017–2020). His research interests extend to the societal implications of technology, advocating for systems that prioritize human values over technical efficiency. Key research themes include counterfactual fairness, causal reasoning in algorithmic systems, and disaggregated interventions to reduce inequality. His recent work explores temporal aspects of fairness, model-agnostic auditing, and the integration of ethical frameworks into machine learning pipelines. While no scientific awards are explicitly listed, his contributions to foundational AI ethics and statistical methodology are widely recognized in academic circles. Advising and grant details are not provided in the source text, but his leadership in interdisciplinary research collaborations, such as the Turing Institute affiliation, highlights active engagement in research networks. Loftus is part of the LSE’s vibrant data science community, contributing to both theoretical advancements and applied solutions for equitable technology deployment.

Gunel Jahangirovaمشاهده پروفایل

مدرس

• Software Testing
• Software Engineering for AI
• Search-Based Software Engineering
• +۶ مورد دیگر

Dr. Gunel Jahangirova is a Lecturer in Computer Science within the Department of Informatics, Faculty of Natural, Mathematical & Engineering Sciences at King's College London. Her research focuses on software testing, software engineering for AI, and search-based software engineering. She earned her PhD through a joint program at Fondazione Bruno Kessler (Italy) and University College London (UK), followed by postdoctoral work on the ERC-funded 'Precrime' project at Università della Svizzera italiana (Switzerland). Software Testing AI Engineering Search-Based Optimization Deep Learning Verification Her recent publications explore fault localization in neural networks, ethical testing of autonomous systems, and environmental impacts of AI code development. Current projects include ITEA GENIUS and ITEA GreenCode , focusing on AI testing and sustainable software practices.

• Composites
• Additive Manufacturing
• Materials Characterization
• +۸ مورد دیگر

Dr. Alexander J G Lunt is a Senior Lecturer in Mechanical Engineering at the University of Bath, specializing in micromechanical testing and materials characterization. He leads the Integrated Materials Processing and Structures Research Centre and has a PhD in Mechanical Microscopy from the University of Oxford. His research focuses on advanced materials, composites, additive manufacturing, and synchrotron/neutron-based techniques. He has supervised 5 PhD students and collaborates with industries like Rolls-Royce and Airbus. Notable awards include the John Willis Award and Vice Chancellor's Engage Award. His work contributes to UN SDGs in sustainable materials and manufacturing.

Shuvendu K. Lahiriمشاهده پروفایل

پژوهشگر

• Formal Verification
• Smart Contracts
• Program Synthesis
• +۵ مورد دیگر

Shuvendu K. Lahiri is a researcher at Microsoft Research, focusing on formal verification, program synthesis, and software testing. His work bridges artificial intelligence with formal methods, particularly in blockchain security and automated code generation. 2025 : Published LLM-Vectorizer (verified loop vectorizer) and neural synthesis for SMT-assisted proof-oriented programming 2024 : Explored LLM-based test-driven code generation and natural precondition inference 2023 : Developed resource management specifications and contributed to test generation with pre-trained models 2022 : Advanced Solidity type systems and merge conflict resolution using language models His research combines large language models with formal verification tools to improve software correctness. He actively contributes to conferences like ICSE, PLDI, and ISSTA as author and committee member.

Udo Fiedlerمشاهده پروفایل

استاد

• Manufacturing Engineering
• High-Speed Machining
• Production Engineering
• +۷ مورد دیگر

Prof. Dr.-Ing. Udo Fiedler is a faculty member at the Technical University of Central Hesse (THM), Department of Business Administration and Economics, where he serves as Head of the Production Engineering Laboratory and Member of the Senate. His academic work focuses on manufacturing engineering with specialization in high-speed machining, production processes, and machine tools. His research interests include: High-Speed Machining (HSC) and precision manufacturing Green machining of sintered parts in the green state Process optimization using statistical experimental design Machine tool technology and NC programming Industry 4.0 applications in manufacturing education Process monitoring and control for increased manufacturing safety Prof. Fiedler's publication record demonstrates an evolution from fundamental machining processes toward integrating AI with traditional manufacturing. His recent work shows strong emphasis on applying artificial intelligence to quality prediction, optimizing green machining processes, and implementing Industry 4.0 concepts through learning factory approaches, bridging traditional manufacturing engineering with modern digital technologies. His significant scientific contributions include: Development of methods for NC programming of complex workpieces Research on stability lobe diagrams for milling processes Studies comparing different production methods including HSC, EDM, and generative processes Work on mechatronic tool holders for process monitoring Applications in the ophthalmic industry for precision machining of spectacle lenses Prof. Fiedler teaches multiple courses at THM including Factory Planning/Ergonomics, Handling and Assembly Technology, Innovative Manufacturing Processes, and Machine Tools at the bachelor's level, and Learning Factory 1 and 2 at the master's level. He leads current research projects including Klag-Robotics (2023-2025), Loewe Project OST (2018-2021), and GrünSpan (2014-2015), demonstrating sustained research activity across multiple manufacturing domains.

Lukasz Szpruchمشاهده پروفایل

استاد

• Probability Theory
• Stochastic Analysis
• Theoretical Machine Learning
• +۱۰ مورد دیگر

Lukasz Szpruch serves as Professor at the University of Edinburgh's School of Mathematics and Programme Director for Finance and Economics at The Alan Turing Institute. He leads the FAIR research programme on responsible AI adoption in financial services and co-investigates the UK Centre for Greening Finance & Investment (CGFI), directing partnerships with the National Office for Statistics, Accenture, Bill & Melinda Gates Foundation, and HSBC. He maintains affiliations with the Oxford-Man Institute for Quantitative Finance. His research focuses on probability theory , stochastic analysis , and theoretical machine learning , with current investigations into deep learning foundations, mean-field models, reinforcement learning, game theory, multiagent systems, and computational optimal transport. These theoretical frameworks are rigorously applied to financial economics problems including market dynamics, risk modeling, and regulatory compliance, emphasizing mathematical precision in AI system design. Recent publications reveal a strategic shift toward responsible AI deployment in finance , addressing large language model governance, synthetic data privacy, and non-asymptotic sampling theory. His work consistently bridges abstract mathematics with financial sector applications, particularly through the FAIR programme's industry collaborations that translate theoretical advances into practical frameworks for trustworthy AI adoption. As Principal Investigator of FAIR and CGFI co-Investigator, Szpruch manages significant research funding streams focused on AI ethics in financial services and sustainable finance. His academic leadership drives cross-sector initiatives where theoretical research directly informs regulatory policy development and industry best practices, though specific student mentoring details remain unspecified in source materials. Szpruch operates at the nexus of three critical research ecosystems: the FAIR programme's industry partnerships, CGFI's sustainability-focused finance research, and the Oxford-Man Institute's quantitative finance initiatives. These interconnected teams combine mathematical rigor with real-world financial applications, developing frameworks for AI assurance, green finance metrics, and synthetic data validation that address systemic challenges in modern financial systems.

Mohammed J. Zakiمشاهده پروفایل

استاد

• Data Mining
• Machine Learning
• Graph-structured Data Analysis
• +۶ مورد دیگر

Mohammed J. Zaki is a Professor and Department Head at the Department of Computer Science , Rensselaer Polytechnic Institute . He co-directs the NSF IUCRC Center for Research Towards Advancing Financial Technologies (CRAFT) and has authored the textbook Data Mining and Machine Learning (2nd Ed, Cambridge University Press, 2020). Research Focus : Novel data mining techniques for graph-structured and textual data with applications in bioinformatics, personal health, and financial analytics. Leadership : Co-chair of BIOKDD workshops, Associate Editor for multiple journals, and Program Co-chair for SIGKDD, SDM, ICDM, and other top conferences. Scientific Awards include: EDBT'24 Test of Time Award NSF CAREER Award DOE Early Career Award HP Innovation Research Award Google Faculty Research Award Fellowships: IEEE, ACM, AAAS, SIAM Recent Publications highlight advancements in: Knowledge Graph Completion with Directed Attention Multi-Sense Embeddings for Language Models Financial Trend Prediction via Graph Neural Networks Health-Guided Recipe Recommendation Systems Triplet Interaction in Molecular Graph Learning Temporal Personal Health Data Analysis

David A. Plaistedمشاهده پروفایل

استاد پژوهشی

• Mechanical theorem proving
• Term rewriting systems
• Logic programming
• +۳ مورد دیگر

David A. Plaisted is a Research Professor in the Department of Computer Science at the University of North Carolina at Chapel Hill. He joined UNC-Chapel Hill as a full professor after serving on the faculty of the Computer Science Department at the University of Illinois at Urbana-Champaign until 1984. His academic career spans several decades with significant contributions to automated reasoning and computational logic. Bachelor's degree in Mathematics from the University of Chicago (1970) Ph.D. in Computer Science from Stanford University (1976) Professor Plaisted's research focuses on mechanical theorem proving, term rewriting systems, logic programming, and algorithms. His work in term-rewriting systems investigates methods of combining them with first-order theorem provers, including techniques for applying efficient permutation group algorithms to equational theorem proving. In mechanical theorem proving, he has developed a sequence of methods including clause linking with semantics and ordered semantic hyper-linking. His research in logic programming includes developing tests to eliminate the occurrence check in Prolog while maintaining semantics. His work spans theoretical foundations to practical applications in program verification and generation. His recent publications demonstrate continued innovation in automated reasoning, particularly in semantic guidance for theorem proving. His work shows a consistent focus on improving the efficiency and effectiveness of automated deduction systems, with recent contributions to SGGS (Semantically-Guided Goal-Sensitive) theorem proving and analysis of the relationship between semantics and unification in proof systems. Professor Plaisted has served on numerous program committees and editorial boards including the Journal of Symbolic Computation, Information Processing Letters, Mathematical Systems Theory, and Fundamenta Informaticae. He is currently on the editorial board of ACM Transactions on Computational Logic and the electronic Journal of Functional and Logic Programming. He has organized significant conferences including serving as co-chair of the Second International Conference on Rewriting Techniques and Applications in 1987. He has spent several sabbaticals at prestigious institutions including SRI in Menlo Park (1982-1983), the Max-Planck Institute and University of Kaiserslautern in Germany (1993-1994), and research visits to groups in Grenoble and Nancy, France (1998).

Ji-young Shinمشاهده پروفایل

استادیار

• Language assessment
• Corpus linguistics
• Educational technology
• +۴ مورد دیگر

Ji-young Shin serves as an Assistant Professor in the Teaching Stream within Education Studies at the University of Toronto Mississauga's Department of Language Studies. Her position integrates teaching, research, and practical application in language education with emphasis on assessment innovation and technology integration. Her academic credentials include: PhD in English / Second Language Studies & ESL from Purdue University, USA MS in Educational Psychology & Research Methodology from Purdue University, USA MA in Teaching English to Speakers of Other Languages (TESOL) from Hankuk University of Foreign Studies, South Korea BA in English Education (Japanese minor) from Hankuk University of Foreign Studies, South Korea Shin's research program focuses on language assessment, corpus linguistics, and technology-mediated pedagogy. She employs mixed methods with quantitative emphasis, utilizing corpus-informed computational analysis and latent-trait modeling complemented by qualitative discourse analysis. Her work addresses critical gaps in second language acquisition, educational measurement, and digital learning environments, particularly regarding AI applications and test validation across diverse language contexts. Her publication trajectory from 2017-2025 demonstrates consistent innovation in language assessment methodologies and technology integration. Key themes include AI-powered chatbots for L2 Korean instruction, online vocabulary testing for Spanish, and corpus-based writing pedagogy. Her work shows increasing focus on artificial intelligence applications and cross-linguistic validation studies, reflecting evolving priorities in language education research. Shin has secured competitive research funding including: Global Classrooms Grant (2025–2026) for VR-enhanced intercultural competence Black, Indigenous, and/or Racialized Scholar Grant (2025–2026) for cross-border AI language learning IRCC Engage3 Project (2022–2024) as Co-PI on VR/AI educational advancement Advancement Fund Plus (2022) for generative AI in teacher education British Council Award (2019) for technology-mediated assessment development She teaches advanced courses including 'The Future of Ed Tech: Active Learning Classrooms and Artificial Intelligence' (EDS285) and supervises community-based experiential learning (EDS388). Her grant portfolio indicates active supervision of research assistants and collaboration with international teams focused on AI implementation and assessment validation. Current projects explore generative AI for language learning across diverse contexts and virtual reality applications in teacher education. While specific laboratory infrastructure isn't documented, her collaborative publications with researchers across Korea, Spain, and the United States suggest participation in international research networks focused on language assessment technology and corpus applications.

Atrisha Sarkarمشاهده پروفایل

استادیار

• Human-centric multiagent systems
• Human-AI interaction
• Human-robot interaction
• +۴ مورد دیگر

Atrisha Sarkar is an Assistant Professor in the Department of Electrical and Computer Engineering at Western University , Canada, and heads the Humans and Autonomous Agents Lab . She is also a faculty member of the Rotman Institute of Philosophy and a Faculty Affiliate at the Schwartz Reisman Institute for Technology and Society . Her research integrates empirical and behavioral game theory with software engineering to design human-centric AI systems that prioritize safety and societal well-being. Education: Atrisha holds a PhD and has previously served as a postdoctoral fellow at the Schwartz Reisman Institute for Technology and Society at the University of Toronto under the supervision of Prof. Gillian Hadfield. Research Focus: Her work centers on human-centric multiagent systems , combining methods from: Behavioral and empirical game theory Software engineering Human-AI and human-robot interaction AI safety and reliability She applies these to domains such as autonomous driving, cooperative AI, and social media dynamics, aiming to ensure AI systems align with human values and societal norms. Publications and Impact: Atrisha has published extensively in top-tier venues including AAAI , AAMAS , ICRA , NeurIPS , and EC . Her work spans from theoretical models of strategic behavior to practical frameworks for validating autonomous systems, with a strong emphasis on real-world applicability. Labs and Teams: She leads the Humans and Autonomous Agents Lab at Western University, where her team focuses on designing AI agents that can cooperate effectively with humans in complex, dynamic environments.

• AI for Software Engineering (AI4SE)
• Machine Learning
• Data Mining
• +۵ مورد دیگر

David Lo is the OUB Chair Professor of Computer Science at Singapore Management University's School of Computing and Information Systems, where he directs the Information Systems and Technology Cluster and the Center for Research on Intelligent Software Engineering. An ACM Fellow, IEEE Fellow, and ASE Fellow, his research focuses on AI for Software Engineering (AI4SE), leveraging machine learning, data mining, and NLP to enhance software analytics and automation. Research Highlights: AI4SE, code LLMs, human-AI synergy in software engineering, software reliability, and empirical studies of practitioner pain points Awards: IEEE TCSE Distinguished Service Award, university-wide Teaching Excellence Award, Outstanding Graduate Supervisor Award, 2 Test-of-Time Awards, and 11 ACM SIGSOFT/IEEE TCSE Distinguished Paper Awards Leadership: General Chair of ASE'16 and MSR'22, PC Co-Chair for ASE'20, FSE'24, and ICSE'25, ACM SIGSOFT Executive Committee member His work has received over 20 awards, 37,000 citations, and an H-index of 100. As an educator, he has mentored trainees who became faculty and R&D experts globally.