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

• Personality Psychology
• Mental Health
• Affective Profiles
• +۸ مورد دیگر

Danilo Garcia is an Associate Professor in Psychology at Linköping University and affiliated with the Center for Ethics, Law and Mental Health (CELAM) at the University of Gothenburg. His research focuses on personality psychology, mental health, and well-being, with an emphasis on affective profiles, psychometric validation, and the biopsychosocial model. He collaborates extensively on studies involving cultural comparisons, healthcare professionals' well-being, and interventions for marginalized populations like asylum seekers and substance users. Key areas of expertise include personality traits (Novelty Seeking, Harm Avoidance), AI applications in cognitive behavioral therapy, and the intersection of ethics, law, and mental health. Garcia has contributed to validating tools like the Temperament and Character Inventory and the Affective Profiles Model, while also exploring innovative methods in affectivity profiling such as latent variable analysis and quantitative semantics. His work bridges clinical, cultural, and public health domains, addressing topics from police personnel organizational psychology to disparities in mental healthcare access in Iran and Nigeria. Collaborations include institutions like the University of Gothenburg, Indiana University, and Bulgarian and Brazilian research teams, reflecting his global network in psychological science.

• Digital Humanities
• Text Mining
• Artificial Intelligence in Education
• +۳ مورد دیگر

Dr. Ahmed Taiye Mohammed holds a Postdoctoral research fellowship at Linnaeus University's Department of Cultural Sciences, Faculty of Arts and Humanities in Växjö, Sweden. He earned his Master's and PhD from Northern University of Malaysia (UUM) with a thesis on text anomaly detection. His research focuses on Digital Humanities (DH), AI applications in education, and computational thinking for non-engineers. He teaches courses like Digital Humanities Research Methods, Programming for DH, and AI in Healthcare. Key research projects include InKuiS (innovative cultural entrepreneurship) and AI for ISP (supporting academic writing via ChatGPT). He collaborates with Linnaeus University Centre for Data Intensive Sciences (DISA) on e-health initiatives. Recent publications explore AI in K-12 education, automated library classification, and text mining for archaeology. His work spans AI ethics, DH methodologies, and interdisciplinary applications of computational tools. Teaching responsibilities include over 10 courses at undergraduate/master's levels, emphasizing practical skills in DH technologies. Active in developing AI-based educational tools like CHAT4ISP-AI and exploring generative AI for academic writing support. Research also involves social media ecosystems, data mining practices, and satellite image classification using SVM techniques.

Barbara Carminatiمشاهده پروفایل

استاد

• Access Control
• Adaptable Collaboration
• Compatibility-driven
• +۱۶ مورد دیگر

Barbara Carminati is a Professor at the Department of Theoretical and Applied Science, University of Insubria, Italy. Her work focuses on security, privacy, and trust management in decentralized systems, particularly online social networks, IoT, and emerging technologies like blockchain and digital twins. She has contributed extensively to access control, risk assessment, and collaborative frameworks. Her research spans trust modeling , privacy-preserving mechanisms , and malware detection , with a strong emphasis on decentralized social networks and UAV security . She actively explores the application of blockchain for secure workflows and information sharing. Recent publications highlight her engagement with large language models for security optimization, IoT botnet detection , and metadata leakage analysis . Her work bridges theoretical foundations with practical implementations in cybersecurity, social network management, and edge computing. Contact: barbara.carminati@uninsubria.it

Ruth Leeمشاهده پروفایل

مدرس ارشد

• Developmental Psychology
• Cognitive Psychology
• Child Development
• +۴ مورد دیگر

Dr. Ruth Lee is a Senior Lecturer at the School of Education, Language and Psychology at York St John University. She holds a PhD from the University of Toronto (2018) and has held postdoctoral positions at Queen's University Belfast and the University of York. Her research focuses on developmental psychology, cognitive processes, and social relationships in childhood. Key areas include temporal cognition, children's comprehension of fictional narratives, and language processing. She is also an external examiner for Leeds Beckett University's MSc Psychology conversion program. Education: BA in Russian Studies (Sheffield, 1995), MEd in Psychology of Education (Manchester, 2008), PhD in Psychology (Toronto, 2018). Research Interests: Temporal asymmetries in memory and experience valuation Grandparent-grandchild closeness measurement Language processing in children and adults Publications: Over 15 peer-reviewed articles since 2001, including work on time perception, fictional discourse, and corruption in Russian law enforcement. Recent collaborations involve institutions like the University of Warwick, University of Edinburgh, and University of South Dakota. Labs/Teams: Collaborates with interdisciplinary teams on projects involving cognitive development, social psychology, and educational psychology.

• Computer Engineering
• Information Systems Engineering
• Operating Systems
• +۴ مورد دیگر

M. Anton Ertl is an Associate Professor at TU Wien's Faculty of Informatics, Department of Compilers and Languages. His roles include teaching courses such as 'Compilers,' 'Efficient Programs,' and 'Stack-based languages.' He specializes in compiler back-ends, Forth, interpreters, programming languages, operating systems, and computer architectures. Ertl's research focuses on optimizing interpreters, compiler design, and hardware security, particularly addressing vulnerabilities like Spectre. His research interests span interpreter performance, compiler optimization, and Forth language evolution. Recent work includes exploring hardware-based Spectre mitigation, decompilers for Gforth, and stack-based language efficiency. He actively contributes to the EuroForth conferences as an editor and presenter. Ertl supervises students on topics like compiler construction, reverse engineering, and interpreter optimization. His academic contributions include over 50 publications, with a focus on virtual machine performance, compiler back-ends, and Forth-related advancements. He is a key figure in the Gforth project and regularly teaches advanced courses on programming languages and computer systems.

Elena Montiel Ponsodaمشاهده پروفایل

دانشیار

• Natural Language Processing
• Semantic Web
• Ontology Engineering
• +۴ مورد دیگر

Elena Montiel Ponsoda is an Associate Professor in the Department of Applied Linguistics at the Faculty of Computer Science, Universidad Politécnica de Madrid (UPM), and a member of the Ontology Engineering Group since 2006. Her interdisciplinary expertise bridges linguistic sciences with computer science, focusing on multilingual aspects of knowledge representation. Education: PhD in Applied Linguistics (2011) from Universidad Politécnica de Madrid M.A. in Conference Interpreting and Translation (2000) from Universidad de Alicante B.A. in Technical Interpreting (2003) from Hochschule Magdeburg-Stendal, Germany Her research centers on the integration of linguistic resources with Semantic Web technologies, specializing in ontology localization, lexicalization, and multilingual terminology representation. She has pioneered approaches to connect translation studies with knowledge engineering, developing frameworks for linguistic linked data and semantic interoperability across languages. Recent publications reveal a strategic shift toward legal domain applications, with significant contributions to the LYNX project's knowledge graph for multilingual legal compliance. Her work demonstrates consistent innovation in representing terminological resources using OntoLex-lemon, with increasing focus on practical implementations in legal informatics and labor market analysis. As an active mentor, she has guided numerous graduate students through thesis research while participating in major international projects including NeOn, ICPS, Monnet, BabeLData, and LIDER. Her leadership extends to organizing key workshops on multilingual semantic web technologies and serving on program committees for top-tier conferences. Montiel Ponsoda maintains influential roles in W3C Community Groups (Ontolex, BMLOD, ld4lt), helping shape international standards for multilingual linked data and language technologies on the Web.

• Software Composition
• Web 2.0 Mashups
• Cloud Computing
• +۶ مورد دیگر

Cesare Pautasso is a Full Professor at the Software Institute within the Faculty of Informatics at the Università della Svizzera italiana (USI) in Lugano, Switzerland. His research focuses on software composition techniques, Web 2.0 mashups, cloud computing, business process management, and RESTful API design. He has led projects like JOpera, a service composition tool, and contributed to frameworks such as Liquid Software for adaptive distributed systems. Education: PhD in Computer Science from ETH Zurich (2004) and a Computer Science Engineering Degree (cum laude) from Politecnico di Milano (2000). Research Interests include model-driven engineering, service-oriented architectures, and API analytics. He has authored over 200 publications and serves on numerous program committees, including IEEE and ACM. His work has been funded by grants from Swiss National Science Foundation (SNSF), EU projects like S-CUBE, and industry collaborations. Teaching and Training: Focuses on Web Development, Enterprise Architecture, and emerging technologies. Active in conferences as general chair of ECOWS 2011 and ICWE 2016. Labs/Teams: Leads research groups exploring API design, blockchain applications, and adaptive systems. Collaborates with institutions like HPI Potsdam and ETH Zurich on projects like FC4MC and API-ACE.

Sam Lindleyمشاهده پروفایل

دانشیار

• Programming Languages
• Formal Methods
• Type Systems
• +۳ مورد دیگر

Sam Lindley is a Reader in Programming Language Design and Implementation at the School of Informatics, University of Edinburgh. He holds a UKRI Future Leaders Fellowship in Effect Handler Oriented Programming. His research focuses on foundational aspects of programming languages, including effect systems, session types, type theory, and functional programming. Key research interests span algebraic effects, concurrency models, type systems for resource management, and language implementation techniques. Lindley's work bridges theory and practice, addressing challenges in systems programming, web technologies (e.g., WebAssembly), and compiler design. Recent publications (2023–2025) emphasize effect handlers for low-level languages (e.g., C, WebAssembly), modal type systems for memory management, and formal semantics for concurrent systems. His work often explores how advanced type systems can improve expressivity and efficiency in programming models. Scientific Awards: UKRI Future Leaders Fellowship Labs/Teams: Laboratory for Foundations of Computer Science (LFCS) Grants: Active funding via UKRI Fellowship

Simon Fosterمشاهده پروفایل

مدرس ارشد

• Verification
• Theorem Proving (Isabelle/HOL, Agda)
• Formal Semantics
• +۴ مورد دیگر

Simon Foster is a Senior Lecturer in the Department of Computer Science at the University of York. His research focuses on formal methods, theorem proving (using tools like Isabelle/HOL and Agda), and the verification of cyber-physical systems. He holds a PhD and MComp from the University of Sheffield. Research Interests: Foster specializes in formal semantics, unifying theories of programming, and functional programming. His work addresses challenges in verifying complex systems, including robotic control software and safety-critical applications. He has contributed to projects like CyPhyAssure and RoboCalc, emphasizing assurance case generation and probabilistic modeling. Recent Work Trends: His recent publications (2022–2025) emphasize scalable verification techniques for cyber-physical systems, probabilistic modeling, and formal verification of robotic systems using Isabelle/HOL. Key themes include hybrid systems theorem proving, assurance case automation, and the integration of formal methods with robotic state machines. Grants & Projects: He led the CyPhyAssure project (2018–2021) and contributed to the H2020 INTO-CPS initiative. His roles include Research Fellowships in safety-critical systems and model-driven architectures. Labs & Teams: Active in the High Integrity Systems group at York, focusing on formal methods for safety-critical systems and collaborative tool development for systems engineering.

Yassine Lakhnechمشاهده پروفایل

استاد

• Computer Security
• Cryptography
• Formal Verification
• +۵ مورد دیگر

Yassine Lakhnech is a Professor at the University Joseph Fourier (Grenoble 1), leading the 'Distributed and Complex Systems' research team within the VERIMAG laboratory. His work focuses on computer security, cryptography, formal verification, and programming language semantics. He has been actively involved in coordinating major interdisciplinary research initiatives like the PERSYVAL-lab, which addresses cyber-physical systems (CPS) challenges. His research bridges computational and formal approaches, with contributions to cryptographic protocol analysis, information flow control, and automated theorem proving. Key projects include the development of tools like HERMES for cryptographic protocol verification and involvement in ANR-funded projects such as Verso, PROSE, and AVOTE. He has also organized international conferences and workshops, including the Canada-France MITACS Workshop on Foundations & Practice of Security and the Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign. His publications span over 147 papers, with an h-index of 25 and g-index of 42, reflecting significant contributions to formal methods, security protocols, and hybrid systems. Despite his role as Vice President of Research, he maintains active scientific productivity, emphasizing the integration of theoretical and practical advancements in CPS and security.

Bowen Xuمشاهده پروفایل

استادیار

• Software Engineering
• Machine Learning
• Program Analysis
• +۱۲ مورد دیگر

Bowen Xu is an Assistant Professor in the Department of Computer Science at North Carolina State University (NC State), College of Engineering. His research focuses on software engineering, machine learning, and program analysis, particularly in securing AI models and improving code quality. He holds a PhD from Singapore Management University (SMU), where he also conducted postdoctoral research. Education: PhD in Computer Science, Singapore Management University (SMU) Postdoctoral Researcher, SMU School of Computing and Information Systems Research Interests: AI for Code, Backdoor Attacks on Code Models, Vulnerability Detection Code Representation Learning, Model Compression, Safety of AI Systems Chatbot Development for Developers, Automatic Code Review Key Contributions: Developed PTM4Tag+, a Stack Overflow tag recommendation system using pre-trained models Explored stealthy backdoor attacks in code and reinforcement learning systems Pioneered work on automatic vulnerability repair using LLMs and broader input analysis Awards: 2022: Honorable Mention Award (ACSAC) 2018: Highly Commended Full Paper Award (ESEM) Service Roles: Editorial Board Member, Empirical Software Engineering Journal Program Committee Co-chair for ICSE/FSE Research Tracks Organized workshops like FORGE, MaLTeSQuE, and SEA4DQ Labs & Teams: Leads the Softmax Lab at NC State, advising 12+ students across PhD, Master's, and undergraduate levels. Alumni include industry professionals at Microsoft, Barclays, and Marvell Semiconductor.

Fred Popowichمشاهده پروفایل

استاد

• Natural Language Processing
• Artificial Intelligence
• Big Data
• +۴ مورد دیگر

Fred Popowich is a Professor in the School of Computing Science at Simon Fraser University (SFU), Canada. He holds adjunct positions at Dalhousie University's Faculty of Graduate Studies and is an Associate Member of SFU's Department of Linguistics and Cognitive Science Program. His academic career began post-PhD (Cognitive Science/Artificial Intelligence, University of Edinburgh, 1989) and has spanned over three decades at SFU. Education: PhD in Cognitive Science/Artificial Intelligence (University of Edinburgh, 1989); M.Sc. and B.Sc. in Computing Science (Simon Fraser University and University of Alberta, 1985/1982). Research focuses on natural language processing (NLP), machine translation, intelligent systems, and big data applications. He directs SFU’s Big Data Initiative and leads the Natural Language Laboratory, supervising MSc/PhD students in computing science. His work includes developing systems for smart homes, toxic language detection in social media, and energy grid analysis. Industry roles include co-founding Axonwave Software (as CTO/President) and contributing to technology commercialization. Current projects address EV charging impacts, personalized learning systems, and real-time load monitoring. Publications span machine translation, sentiment analysis, and NLP applications in education and energy systems. His work bridges theoretical computer science with practical applications in healthcare, smart cities, and education.

• Pragmatics
• Audiovisual Translation
• Reception Studies
• +۷ مورد دیگر

Dr. Ryoko Sasamoto is an Associate Professor in the School of Applied Language & Intercultural Studies (SALIS) at Dublin City University (DCU), and a member of the Centre for Translation and Textual Studies (CTTS). She holds a BA, MPhil, and PhD in linguistics and translation studies. Her research focuses on Pragmatics, Audiovisual Translation, Reception Studies, and Linguistics, with a particular emphasis on the communication of emotions via onomatopoeia, emoji, reaction GIFs, and fansubbing. She employs mixed-method approaches, including eye-tracking and multimodal analysis, to explore cognitive pragmatics in media and translation. Dr. Sasamoto supervises PhD students in areas such as onomatopoeia in translated manga, Kanji pedagogy, and fansubbing communities in Thailand/China. She has received the Career Enhancement Award from DCU (2012). Her work bridges Relevance Theory with interdisciplinary studies, examining how text-on-screen elements (e.g., telop) engage viewers in TV programs. She also explores ethical issues in translation and online research methodologies. Research Projects: "Impact Caption for Everyone (ICE)" (2014-2016) "Developing Pragmatic Competence in Japanese Oral Interaction" (2019-2021) Teaching: She coordinates modules such as Introduction to the Study of Language, Language of Business & Media, and Text Analysis. Awards: Career Enhancement Award, DCU (2012). Labs/Teams: Member of CTTS and Relevance Researchers' Network. Active in international collaborations, including studies on Thai fansubbing and Japanese TV viewership.

Németh T Enikőمشاهده پروفایل

استاد

• Linguistics
• Pragmatics
• Discourse Analysis
• +۵ مورد دیگر

Overview Enikő Németh T. is a Full Professor and Head of the Department of General Linguistics at the University of Szeged's Faculty of Humanities and Social Sciences since 2017. She has held leadership roles including Head of the Doctoral School of Linguistics (2018–present), Head of the Hungarian Research Centre for Pragmatics (2012–present), and Chair of the Theoretical Linguistics PhD Program (2007–present). She earned her Candidate's degree (PhD equivalent) in 1992 and became a Doctor of the Hungarian Academy of Sciences in 2017. Education 1987: MA in Russian Language and Literature and General/Applied Linguistics (University of Szeged) 1992: Candidate's degree (PhD equivalent) in Linguistics 2017: Doctor of the Hungarian Academy of Sciences in Linguistics Research Interests Her work focuses on pragmatics , discourse analysis , and the interaction between grammar and pragmatics . She explores implicit arguments in Hungarian, perspectives in language use , and cognitive pragmatics . Her research emphasizes empirical methodologies and theoretical frameworks to understand linguistic phenomena like pro-drop, anaphora, and lexical semantics. Awards & Honors 2020: Hungarian Academy of Sciences Publication Award 2013: Hajdú Péter Guest Researcher Fellowship 2004–2007: Bolyai János Research Fellowship 2000–2003: Széchenyi Professor Fellowship Academic Leadership & Grants She leads major initiatives like the MTA-DE-SZTE Research Group for Theoretical Linguistics (2006–present) and has directed national and international research projects. Her grants include long-term fellowships from the Hungarian Academy of Sciences. Labs & Teams Directs the Hungarian Research Centre for Pragmatics and oversees the MTA-DE-SZTE Research Group for Theoretical Linguistics , fostering collaborative research in pragmatics and theoretical linguistics.

Ricardo A. Calixمشاهده پروفایل

استاد

• Machine Learning
• Natural Language Processing
• Deep Learning
• +۴ مورد دیگر

Ricardo A. Calix is a Professor of Computer Information Technology at Purdue University Northwest. His research focuses on Machine Learning, Natural Language Processing, AI applications in Cyber Security and Healthcare, and Deep Learning methodologies. He holds a Ph.D. in Engineering Science from Louisiana State University. Key research areas include ethical AI model analysis, reinforcement learning for aerospace control systems, and industrial automation through machine learning. His work spans cybersecurity tools (e.g., CyberSecTK) and healthcare data mining from social media. Calix has secured grants as PI/Co-PI for projects like 'Detection of Potential Drug Effects from Twitter Data' (NIH) and 'A Smart and Fast IDS' (Northrop Grumman). He authored Getting Started with Deep Learning: Programming and Methodologies Using Python (2017). Recent publications (2023-2024) address biases in AI models, blast furnace automation, and autonomous aircraft control via reinforcement learning. His work bridges theoretical AI with practical applications in industry and security.