جستجوی استاد راهنمای دانشگاهی

• Nonvolatile Memory
• Neuromorphic Computing
• Radiation Effects on Electronics
• +۳ مورد دیگر

Matthew J. Marinella serves as an Associate Professor in the School of Electrical, Computer and Energy Engineering at Arizona State University, where his research bridges semiconductor device physics and next-generation computing architectures. His work focuses on enabling reliable computing systems for extreme environments through novel memory technologies. His academic foundation includes: Ph.D. in Electrical Engineering, Arizona State University (2008) Marinella's research centers on nonvolatile memory devices (particularly ECRAM and SONOS technologies), neuromorphic computing systems, and radiation effects characterization. He pioneers analog in-memory computing solutions resilient to space radiation, with expertise spanning electrochemical memory physics, radiation-hardened circuit design, and emerging device applications for artificial intelligence. His experimental work combines nanoscale imaging with computational modeling to understand device degradation mechanisms under ionizing radiation. Analysis of his 2023-2025 publications reveals a dominant focus on radiation-tolerant neuromorphic systems, with 70% of recent work addressing radiation effects on emerging memories. Key thematic clusters include TaOx ECRAM characterization under gamma/heavy-ion exposure (25% of publications), analog in-memory computing fault tolerance (30%), and novel test platforms for memory device benchmarking (20%). This research directly enables space-based computing applications where radiation resilience is non-negotiable. As a technical leader, Marinella chairs the Emerging Memory Devices Section for the IRDS Roadmap Beyond CMOS Chapter and serves on the SRC Decadal Plan Executive Committee. His Sandia legacy includes founding the Secure, Efficient, Extreme Environment Computing (SEEEC) Grand Challenge. At ASU, he mentors graduate researchers through thesis supervision in EEE 599/799 courses and directs laboratory work on memory device characterization, though specific student names and grant awards aren't publicly enumerated. His laboratory operations emphasize radiation testing infrastructure and analog computing testbeds, supporting collaborative projects with national labs on space electronics hardening. Current efforts integrate magnetic domain wall devices with resistive memories to create hybrid neuromorphic systems capable of operating in extreme environments where conventional CMOS fails.

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.

Jacob Millerمشاهده پروفایل

پژوهشگر

• Graph and network visualization
• Dimension reduction
• Reliable visualization evaluation

Jacob Miller is a Post-Doc at the Chair of Efficient Algorithms at Technische Universität München (TUM) in Heilbronn, Germany, since 2024. He is affiliated with the research group led by Prof. Stephen Kobourov. Education : PhD from University of Arizona (2020–2024), B.Sc. in Computer Science from Southwestern Oklahoma State University (2016–2020). Research Interests include graph and network visualization, dimension reduction techniques, and reliable methods for visualization evaluation. His work bridges theoretical and applied approaches to algorithm design. Teaching in the Winter Semester 2024/25 involves tutorials in Information Theory and Theoretical Informatics (INHN0013) , practical courses in Algorithm Design for Competitive Challenges (INHN0021, INHN4060) , and coordinating a bachelor seminar on Algorithm Engineering (INHN015, INHN4014) . Contact details: Room D.4.02, TUINH01 Informatik Heilbronn 1, 74076 Heilbronn, Germany. jacob.miller@tum.de

• 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.

Kostas Papakonstantinouمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Civil Engineering
• Computational Mechanics
• +۹ مورد دیگر

Kostas Papakonstantinou is an Associate Professor in the Department of Civil Engineering at Penn State University, affiliated with the College of Engineering. His research bridges Artificial Intelligence (AI) with Civil Engineering, focusing on uncertainty quantification and decision-making under uncertainty. Research Areas: Uncertainty Quantification Stochastic Control Deep Reinforcement Learning Bayesian Analysis Nonlinear Filtering Computational Mechanics Infrastructure Management Rare Events Quantification His work emphasizes AI-driven solutions for structural life-cycle management, infrastructure systems, and autonomous operations. Funded by the NSF and USDOT, his projects include AI-enabled fiscally constrained life-cycle asset management and Deep reinforcement learning for multi-asset infrastructure management . Scientific Awards: NSF CAREER Award: Optimal engineering decision-making under uncertainties for enhanced structural life-cycle He teaches graduate courses on Uncertainty and Reliability in Civil Engineering (CE 566) and Computational Analysis of Randomness in Engineering (CE 597) .

Novi Quadriantoمشاهده پروفایل

استاد

• Machine Learning
• Responsible AI
• Algorithmic Fairness
• +۷ مورد دیگر

Novi Quadrianto is a Professor of Machine Learning at the School of Engineering and Informatics, University of Sussex, where he joined as a Lecturer in February 2014. He is currently a Principal Investigator on three active EU grants: BayesianGDPR (ERC), TANGO (EU Horizon RIA), and Act.AI (ERC Proof of Concept). He also holds an Adjunct Professor position in Data Science at Monash University, Indonesia, and serves as Strategic Lab co-Leader of the BCAM Severo Ochoa Strategic Lab on Trustworthy Machine Learning in Bilbao, Spain. His educational background includes a PhD in Machine Learning from the Australian National University (2012) and a BEng in Electrical and Electronics Engineering from Nanyang Technological University, Singapore. During his PhD, he conducted research at multiple international institutions including HIIT-Finland, Yahoo! Research-US, University of Alberta-Canada, Fraunhofer IAIS-Germany, and IST Austria. From 2012-2014, he was a Newton International Fellow of the Royal Society at the University of Cambridge. Professor Quadrianto directs the Predictive Analytics Lab (PAL) since 2017, which focuses on "Responsible AI" research developing AI models that embed fairness, accountability, transparency, and trustworthiness. His research spans algorithmic fairness, federated learning, and computer vision, with applications in sustainable development, healthcare, and finance. His work has been funded by prestigious organizations including the European Research Council, EPSRC, and HM Treasury. His publications reveal a strong focus on addressing challenges in AI fairness, robustness, and privacy, particularly in dynamic environments and heterogeneous data settings. Recent work explores performative prediction, diversity-driven learning, and efficient vision transformer inference, demonstrating his leadership in cutting-edge machine learning research. European Research Council ERC Proof of Concept Grant (2023) Guarantor Researcher for BCAM Severo Ochoa Excellence Accreditation (2023) European Lab for Learning and Intelligent Systems (ELLIS) Scholar/Fellow (2020) European Research Council ERC Starting Grant (2019) Newton International Fellowship (2012) Microsoft Research Asia Fellowship (2009) Professor Quadrianto currently supervises six PhD students and five postdoctoral researchers. He has served as Action Editor for Transactions on Machine Learning Research since 2022 and as Associate Editor for IEEE Transactions on Pattern Analysis and Machine Intelligence since 2016. He has also been an Area Chair for major conferences including NeurIPS, ICML, and AAAI. His PAL laboratory hosts a team of 15 members focused on inter-disciplinary AI research with domain experts across various sectors. The PAL Lab operates three innovation strands: AI for Sustainable Development (supporting UN SDGs), AI for Healthcare (transforming health outcomes), and AI for Finance (personalized loan decision-making). The lab also leads initiatives in Diversity & Inclusion in AI and offers Pro-Bono Office Hours to organizations seeking guidance on machine learning aspects.

• In-memory computing for AI
• Neuromorphic computing
• Emerging resistive memory
• +۳ مورد دیگر

Irem Boybat is a Researcher in the In-Memory Computing Group at IBM Research - Zurich, Switzerland, focusing on advanced AI hardware solutions. She holds a Ph.D. in Electrical Engineering from EPFL (2020) and prior degrees from EPFL and Sabanci University. Ph.D., Electrical Engineering, EPFL (2020) M.Sc., Electrical Engineering, EPFL (2015) B.Sc., Electronics Engineering, Sabanci University (2013) Her research bridges in-memory computing and AI, targeting energy-efficient hardware for deep learning and neuromorphic systems. Recent work explores analog AI accelerators, heterogeneous architectures, and scalable models for edge computing. Publications highlight cross-disciplinary innovation in materials, circuits, and system design. She has received the IBM Pat Goldberg Memorial Best Paper Award and EPFL PhD Thesis Distinction. Her invited talks span prestigious venues including the European Phase-Change Symposium, IEEE CICC, and HiPEAC. Collaborations include EU H2020 projects like MANIC and WiPLASH.

• Visual Neuroscience
• Eye Movement Disorders
• Nystagmus Research
• +۶ مورد دیگر

Professor Jonathan Erichsen serves as Professor of Visual Neuroscience and Deputy Head of School within the School of Optometry and Vision Sciences at Cardiff University. With a distinguished career spanning several decades, he has established himself as a leading researcher in visual neuroscience and eye movement disorders. Professor Erichsen's research has evolved from early work on central near response pathways in the brain, including vergence and the pupillary light reflex, to a broader focus on eye movement disorders. His primary research interests include the control of visuomotor behavior, eye movement abnormalities in neurodegenerative conditions, and visual function assessment in individuals with nystagmus. He has pioneered innovative methodologies including stereotaxic surgery, immunohistochemistry, neural pathway tracing, and microstimulation in his investigations. His recent publications demonstrate a clear trend toward clinical applications of eye movement research, particularly in developing better assessment tools for visual function in nystagmus patients. The research spans from fundamental neuroanatomy to practical clinical tools, with significant contributions to understanding infantile nystagmus, Huntington's disease-related eye movement abnormalities, and visual function in children. His work increasingly integrates advanced eye tracking technologies with clinical applications. Professor Erichsen founded the Cardiff Research Unit for Nystagmus (RUN) approximately twenty years ago, establishing a large cohort of volunteers with infantile nystagmus to study how environmental factors like stress affect visual performance. More recently, he established the Eye Movement Experimental Research Group (EMERG) to expand research into eye movement abnormalities associated with neurodegenerative conditions including Huntington's disease, schizophrenia risk, and dystonia. His research has demonstrated that traditional measures of visual performance, such as visual acuity, are not significantly affected by changes in eye movements of individuals with nystagmus, suggesting the need for developing better outcome measures in clinical practice. Professor Erichsen remains actively involved in postgraduate supervision and continues to produce high-impact research in visual neuroscience.

Nikos Aletrasمشاهده پروفایل

استاد

• Natural Language Processing
• Machine Learning
• Computational Social Science
• +۲ مورد دیگر

Nikos Aletras is a Professor of Natural Language Processing at the University of Sheffield's School of Computer Science, where he serves as Head of the Natural Language Processing research group and is co-affiliated with the Machine Learning group. His academic journey began with a Bachelor's degree in Computer Science from the University of Crete, followed by a PhD in Natural Language Processing at the University of Sheffield. Prior to his current position, he worked as a research scientist at Amazon (Core ML and Alexa) and as a research associate at UCL's Department of Computer Science. Aletras' research spans multiple domains within AI, with particular emphasis on Natural Language Processing applications across social science, legal contexts, and data science. His work demonstrates a consistent focus on practical implementations of NLP techniques to solve real-world problems, especially in computational social science and legal technology. He has developed innovative text analysis methods that bridge traditional disciplinary boundaries, creating tools applicable across multiple scientific domains. His recent publications reveal a strong trend toward efficient and responsible AI, with significant work on model compression, hallucination mitigation in language models, and ethical considerations in computational social science research. The publications also show deep engagement with multilingual NLP challenges, explainable AI, and applications of NLP to social media analysis and legal contexts. Area Chair Award: Society and NLP (2023) Aletras has secured substantial research funding as both Principal Investigator and Co-Principal Investigator, including grants from EPSRC, ESRC, Leverhulme, EC Horizon 2020, and industrial partners like Amazon. His current projects focus on efficient deployment of large language models, addressing socio-technical limitations of LLMs for medical and social computing, and developing speech and language technologies. He actively supervises PhD students and collaborates with researchers across multiple disciplines. He leads the Natural Language Processing research group at Sheffield, which focuses on advancing NLP methodologies while applying them to diverse domains including computational social science, legal informatics, and healthcare technologies. The group maintains strong industry connections, particularly with technology companies working on language technologies, and collaborates with legal scholars and social scientists on interdisciplinary projects.

Guoyin Liمشاهده پروفایل

استاد

• Optimization
• Variational Analysis
• Multilinear Algebra
• +۵ مورد دیگر

Professor Guoyin Li is a faculty member at the School of Mathematics & Statistics , University of New South Wales (UNSW Sydney). He holds a Ph.D. from The Chinese University of Hong Kong (2007) and has been at UNSW since 2011, currently serving as Professor and Research Director. Research Interests His work spans optimization , variational analysis , and multilinear algebra , with applications in robust optimization , structural engineering , and machine learning . He specializes in nonconvex nonsmooth optimization , tensor eigenvalue problems , and exact semi-definite programming relaxations . Recent Publications His articles focus on robust optimization for structural design, nonlinear approximation techniques, and conic programming for uncertain data. Key journals include Foundations of Computational Mathematics , Mathematical Programming , and Computer Methods in Applied Mechanics and Engineering . Awards and Grants Fellow of the Australian Mathematical Society (2023) 2022 AustMS Medal 2024 Marguerite Frank Award ARC Discovery Grants (2021-2023, 2025-2027) ARC Research Hub Project (2017-2021) Professional Roles He serves on editorial boards of SIAM Journal on Optimization , Optimization Letters , and Journal of Optimization Theory and Applications , and has delivered plenary lectures at international conferences in Austria, Spain, and Canada.

Víctor Adrián Brabermanمشاهده پروفایل

دانشیار

• Formal Verification
• Model Checking of Timed Systems
• Controller Synthesis
• +۷ مورد دیگر

Víctor Adrián Braberman is a Full-time Associate Professor at the Department of Computer Science, Faculty of Exact and Natural Sciences, University of Buenos Aires (UBA), and a CONICET researcher. He serves as Co-director of the LaFHIS (Tools and Foundations for Software Engineering) Research Lab at UBA, where he leads significant research in formal methods and software engineering. His academic career demonstrates sustained excellence in both teaching and research within Argentina's premier academic institution. Braberman's research focuses on Formal Verification , particularly Model Checking of Timed Systems, Controller Synthesis, Formal Specification of event-based properties, Aspect-oriented modeling, and Software Architectures. His work also extends to Software Analysis , including Memory Consumption Prediction and Static and Dynamic Program Analysis. These interests position him at the intersection of theoretical computer science and practical software engineering applications, addressing critical challenges in system reliability and performance. His recent publications (2022-2025) reveal a clear trajectory toward integrating artificial intelligence with formal methods , particularly through the application of reinforcement learning to controller synthesis problems and the exploration of Large Language Models for software verification and falsification. The research shows increasing attention to scalability challenges in formal methods and the integration of probabilistic approaches to handle uncertainty in system environments. Automated Reasoning Amazon Research Award (ARA) (2024) Braberman has successfully supervised numerous PhD and Licentiate students, establishing a strong academic lineage in formal methods research in Argentina. His research has been supported by substantial grants including European Community projects (MEALS), ANPCyT PICT grants, UBACyT projects, and Microsoft Research funding. His leadership extends to directing major research initiatives in formal software engineering. As Co-director of LaFHIS, Braberman oversees a vibrant research ecosystem that bridges theoretical computer science with practical software engineering challenges. The lab maintains strong international collaborations, particularly with European institutions, and has secured competitive funding from both national and international sources, demonstrating the global relevance of their work in formal methods and software engineering.

• Software Engineering
• Model-Driven Engineering
• Automotive Embedded Systems
• +۳ مورد دیگر

Vera Pantelic is an Adjunct Assistant Professor in the Department of Computing and Software at McMaster University. Her research focuses on software engineering practices for model-based development in automotive systems, particularly centralized Electrical/Electronic (E/E) architectures, Simulink modeling, and supervisory control of probabilistic discrete event systems. Education: Not explicitly mentioned in the text. Her scholarly activity includes extensive contributions to conferences and journals in automotive software engineering, model transformation, and real-time systems. Her work addresses challenges in modularity, documentation, and compliance within automotive embedded systems. Her recent publications emphasize advancements in centralized E/E architectures, model-driven testing, and assurance cases for automotive safety. She collaborates on topics integrating software engineering principles with automotive domain requirements. Scientific Awards: No specific awards mentioned in the text. She serves as an advisor in software engineering, though specific student names are not listed. Her projects involve simulation-based testing, model refactoring, and compliance frameworks, supported by industry partnerships and academic grants. Her work contributes to labs and teams focused on automotive software reliability and model-driven engineering. No explicit lab or team affiliations are detailed in the provided text.

Anne Elisabeth Haxthausenمشاهده پروفایل

دانشیار

• Formal methods
• Specification languages
• Semantics
• +۶ مورد دیگر

Anne Elisabeth Haxthausen is an Associate Professor at the Software Systems Engineering section within DTU Compute , Technical University of Denmark . Her work focuses on formal methods, railway control systems, and safety-critical software engineering. Founder and leader of the DTU Railway Verification Group Member of European Technical Working Group on Formal Methods in Railway Control Editorial board member for Springer Formal Aspects of Computing Journal Active in the Overture Language Board Her research emphasizes formal verification of railway interlocking systems, particularly through compositional approaches and automated tools. She has contributed to projects like RobustRailS, Overture, and RAISE, focusing on model-based development and verification. She serves as a tutor for bachelor students and contributes to the advisory committee for DTU's Computer Science and Engineering MSc program. Her recent publications explore challenges in verifying autonomous and AI-driven railway technologies.

Seyed Mojtaba Hoseyniمشاهده پروفایل

مدرس

• Process Safety
• Hydrogen Safety
• Risk Assessment
• +۶ مورد دیگر

Dr. Seyed Mojtaba Hoseyni is a Lecturer in Process Safety and Loss Prevention at the School of Chemical, Materials and Biological Engineering, University of Sheffield. Previously a Postdoctoral Research Associate at the same institution (2022-2024), he holds a PhD in Energy Engineering from Politecnico di Milano (2021). His research focuses on enhancing system resilience, risk assessment, and decision-making under uncertainty in engineering systems, particularly for decarbonization applications. Royal Academy of Engineering Global Talent (Exceptional Promise) in Chemical and Process Engineering His work spans hydrogen safety, climate change risk, nuclear engineering safety, and predictive maintenance. Recent publications emphasize integrating resilience metrics into HAZOP analysis and optimizing sensor placement for risk-informed decision-making. Teaching activities include the Hazards and Protections module (CPE61020). Specializes in RAMS (Reliability, Availability, Maintainability, and Safety) analysis Develops safety frameworks for hydrogen energy systems Applies advanced computational techniques to nuclear and industrial safety