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

• Program Specification and Verification
• Concurrent Separation Logics
• Symbolic Execution
• +۵ مورد دیگر

Philippa Gardner is a Professor in the Department of Computing at Imperial College London, holding a UK Research and Innovation Established Fellowship (2018–2023). She specializes in program specification, verification, and concurrent separation logics. Her Gillian platform unifies symbolic execution, verification, and testing for C and JavaScript. She was elected a Fellow of the Royal Academy of Engineering (2020) and directed the Research Institute on Verified Trustworthy Software Systems (VeTSS, 2017–2023). Her work includes foundational contributions to separation logic, concurrent program reasoning, and mechanised language specifications. Education: PhD in Computer Science from Edinburgh (1992), supervised by Gordon Plotkin. Key roles: General Chair of POPL 2024, organiser of the Isaac Newton Institute's 'Verified Software' programme (2022). Research interests span formal methods, concurrency, and tool development. Notable grants include £1.5M EPSRC Established Career Fellowship (2018–2023) and £500K Facebook Research gift (2020). Awards include Imperial’s President and Rector’s Teaching Award (2013).

Paul Wongمشاهده پروفایل

مدرس ارشد

• Cybernetics
• Complex Systems Science
• Network Science
• +۴ مورد دیگر

Paul Wong is a Senior Lecturer at the School of Cybernetics of the Australian National University (ANU). He holds a PhD in Non-classical Logics from ANU (2004) and a Master's in Philosophy from Simon Fraser University (1996). His academic career includes roles as a lecturer in software engineering, policy analyst, and defense analyst. His research focuses on cybernetics, complex systems science, network science, and data-driven decision-making. He has contributed to national research infrastructure development and strategic data management practices. Research Interests: Cybernetics and sociotechnical systems design Complex systems modeling and analysis Network science applications in research evaluation Data quality and integration methodologies Policy analysis using predictive analytics Recent work emphasizes leveraging data networks to forecast research impacts and optimize national innovation strategies. His 2022 publications address cybernetic frameworks for complex world design and non-academic research impacts. He has co-authored over 13 peer-reviewed works across data science, logic, and interdisciplinary systems analysis. Professional Contributions: Principal Investigator on AI Library Services and Research Performance Evaluation projects Member of ACM and IEEE since 2024 Labs/Teams: Active in ANU's School of Cybernetics research community focusing on interdisciplinarity and systems thinking.

Goran Soldarمشاهده پروفایل

مدرس ارشد

• Large Scale Data Processing
• Secure Computer Systems
• Machine Learning
• +۳ مورد دیگر

Goran Soldar is a Senior Lecturer at the University of Brighton, UK, affiliated with the School of Computing, Engineering and Mathematics. With over 20 years of higher education teaching experience, he specializes in programming, databases, operating systems, and enterprise middleware for large data processing. He leads several undergraduate and postgraduate computing courses and is involved in course design and student learning enhancement. Education: PhD, University of East Anglia (2008) MSc Distributed Systems, University of East London (1995) BSc (Hons) Information Systems, University of Belgrade (1985) Research Interests: Large-scale data processing frameworks Secure computer systems design Machine learning applications Transaction management in distributed systems Software engineering project management methodologies His work spans audio segmentation for health applications, agent-based risk management, and semantic web architectures. Research Trends: Recent work focuses on AI-driven healthcare diagnostics (e.g., cough analysis for disease detection) and automation of IT project risk management through multi-agent systems. Earlier contributions include foundational work in semantic web ontologies and distributed systems architectures. Collaborations: Co-led the Lankelma KTP project (2021-2023) focusing on geotechnical data analysis. Active in international conferences with publications in applied informatics, database systems, and semantic technologies. Teaching & Leadership: Course leader for multiple computing programs. Committed to innovative curriculum development and student-centered learning approaches.

Gabriel Eganمشاهده پروفایل

استاد

• Shakespeare Studies
• Textual Studies
• Computational Stylistics
• +۱۱ مورد دیگر

Gabriel Egan is Professor of Shakespeare Studies and Director of the Centre for Textual Studies at De Montfort University, UK. He is one of the four General Editors of the New Oxford Shakespeare (2016–2026) and co-editor of the journal Theatre Notebook . His research integrates computational methods with traditional literary scholarship, focusing on Shakespearean textual variation, authorship attribution, and early modern drama. University : De Montfort University School : Faculty of Arts, Design and Humanities Department : School of Humanities Position : Professor of Shakespeare Studies His research interests include computational stylistics, digital scholarly editing, ecocritical theory, and Marxist literary criticism. He employs methods such as the Word Adjacency Network (WAN) algorithm and information theory to analyze Shakespeare’s texts and their early editions. The most recent publications reflect a strong trend in computational and digital approaches to Shakespearean scholarship, combining statistical modeling, stylometry, and XML-based digital editing. His work spans journal articles, scholarly editions, and monographs, often addressing authorship, textual corruption, and performance history. Key Projects : "Shakespeare's Textual Variations: New Insights from Information Theory" (Royal Society, 2024–2026) "Transforming Middlemarch" (AHRC, 2022–2023) "Shakespeare’s Early Editions" (AHRC, 2016–2018) Professional Affiliations : Shakespeare Association of America British Shakespeare Association (Trustee) Renaissance Society of America Malone Society Society for Theatre Research Egan supervises PhD students in areas such as computational authorship studies and psychoanalytical literary criticism. He has secured significant external funding from the AHRC and Royal Society. He also leads the Centre for Textual Studies and contributes to public engagement through lectures, digital resources, and media appearances. His research team includes collaborators from computer science and digital humanities, reflecting the interdisciplinary nature of his work.

• Software Engineering
• Data Engineering
• Information Systems
• +۴ مورد دیگر

Carles Farré Tost is an Associate Professor at the Universitat Politècnica de Catalunya (UPC), affiliated with the Facultat d'Informàtica de Barcelona (FIB) and the Departament d'Enginyeria de Serveis i Sistemes d'Informació. He leads research in software engineering, data engineering, and information systems through the inSSIDE and GESSI groups. His work focuses on agile methodologies, software quality, data-driven decision-making, and green AI. With over 92 professional activities, including 39 conference presentations and 17 competitive R&D projects, he has contributed to tools like QaSD and GLiDE for education and industry. Notable awards include the Best Forum Paper Award at RCIS 2023 and the Best Paper Award at CIbSE 2021. His research spans decades, from foundational database query validation (CQC method) to modern applications in gamified learning dashboards and sustainability in AI. Research Interests: Software Engineering: Agile development, quality assurance, and team-based project management Data Engineering: Schema validation, data-driven decision-making frameworks, and API design Green AI: Investigating environmental impacts and ethical considerations in AI systems Educational Technology: Tools for learning analytics and collaborative software education Grants & Projects: "Human-centred collaborative framework for accelerating software development" (2024) "Transición hacia sistemas de software verdes basados en IA" (2023) "Digital and Emerging Technologies for Competitiveness" (EU-funded, 2021) Lab/Teams: Active contributor to the inSSIDE (integrated Software, Services, Information and Data Engineering) and GESSI (Group of Software and Service Engineering) research groups at UPC.

• Semantic Web
• Knowledge Graphs
• Linked Data
• +۳ مورد دیگر

Pieter Heyvaert is a Postdoctoral researcher at Ghent University's Faculty of Engineering and Architecture, Department of Electronics and information systems (EA06), affiliated with IMEC. His research focuses on semantic web technologies, knowledge graphs, and linked data systems. Heyvaert's research interests span several areas within computer engineering and semantic technologies: Semantic Web and Linked Data technologies Knowledge Graph generation and validation RDF mapping languages (particularly RML) Data integration from heterogeneous sources Sensor data processing and knowledge extraction Anomaly detection and root cause analysis His publication record demonstrates a consistent focus on practical applications of semantic technologies. Heyvaert has developed tools like the SAD Generator for creating knowledge graphs from academic event data and contributed significantly to RML-based systems. His work bridges theoretical semantic web concepts with practical implementations that address real-world data integration challenges across domains including healthcare, social media archiving, and IoT systems. Heyvaert has collaborated extensively with researchers in the semantic web community, particularly with Anastasia Dimou, Ruben Verborgh, and Ben De Meester. His recent work shows increasing application of semantic technologies to pressing societal issues like pandemic response through the COVID-19 literature knowledge graph.

Henrik Björklundمشاهده پروفایل

دانشیار

• Natural Language Processing
• Formal Languages
• Machine Learning
• +۳ مورد دیگر

Henrik Björklund is an Associate Professor at the Department of Computer Science, Umeå University. His research focuses on natural language processing , formal languages , and mitigating social bias in large language models . Primary affiliation: Umeå University Department: Computing Science Role: Faculty member Research interests include: Detecting and mitigating gender bias in NLP systems like ChatGPT Foundational studies in formal languages and automata theory Developing language technology for Swedish, particularly nonbinary pronouns like 'hen' Publication trends show: Recent work (2023-2024) on intersectional bias analysis in LLMs 2017-2023 studies on hyperedge replacement grammars and DAG language transduction 2013-2017 contributions to XPath evaluation and tree pattern queries Contact : henrik.bjorklund@umu.se

• XML Database Systems
• Cloud Computing Security
• Data Stream Mining
• +۵ مورد دیگر

Eric Pardede is a professor at the School of Computing and Mathematics of Western Sydney University . He has an extensive publication record in data management, cybersecurity, and technology-enhanced learning, often collaborating with researchers like Wenny Rahayu, David Taniar, and A. S. M. Kayes. Research Focus: XML database systems, cloud computing security, data stream mining, and educational technology Award-Winning Contributions: Notable work on IoT security frameworks, blockchain risk assessment, and adaptive learning systems Recent Publications: 15 articles from 2021-2025 address topics like concept drift adaptation, cybersecurity in multi-cloud environments, and smart education tools Key Collaborations: Frequent partnerships with researchers in Australia, Indonesia, and Austria

• History of Architecture
• Digital Humanities
• Paleography
• +۵ مورد دیگر

Elisa Bastianello is a Digital Humanities Scientist and Digital Publications Manager at the Bibliotheca Hertziana - Max Planck Institute for Art History since 2019. She holds a Ph.D. in History of Architecture and Urban Planning from the University of Venice Iuav and has been part of the editorial board and webmaster for La Rivista di Engramma at Centro Studi ClassicA Iuav since 2006. Her research focuses on the intersection of digital humanities with architectural history, paleography, and the study of spaces for music and performances. Ph.D. in History of Architecture and Urban Planning, University of Venice Iuav Degree in Archival, Palaeographic and Diplomatic Studies, State Archives of Venice (2007) Her research spans the history of architecture, digital humanities applications for manuscript transcription and annotation, and the study of spaces for music and performances from the 15th–18th century. She has contributed to projects like the 500th anniversary of the Venice Ghetto (2013–2016) and developed a semantic platform for Jacob Burckhardt's correspondence. Her publications highlight trends in digital scholarly communication, open access, and the digitization of cultural heritage. Elisa has co-authored numerous articles in the fields of digital humanities, architectural history, and manuscript studies. Her recent work (2022–2024) emphasizes data provenance, citation harmonization, and the development of digital publishing infrastructure. Earlier contributions (2019–2020) focus on translating literary works, exhibitions like 'Pop-App,' and the Renaissance-era treatise Spectacula by Pellegrino Prisciani. She has collaborated with institutions such as the University of Venice Iuav and the Bibliotheca Hertziana, contributing to the evolution of digital scholarly editions and transdisciplinary research infrastructure. Her role combines technical expertise in digital publications with deep historical knowledge of Venetian and Italian Renaissance architecture.

Susana Sotelo Docíoمشاهده پروفایل

پژوهشگر ارشد

• Natural Language Processing
• Computational Linguistics
• Named Entity Recognition
• +۶ مورد دیگر

Susana Sotelo Docío is a Research Fellow at the Universidade de Santiago de Compostela , affiliated with the Faculty of Philology and the S3 Laboratory . Her work centers on Natural Language Processing (NLP) with applications in linguistic diversity , cultural narratives , and computational institutionalism . Email: susana.sotelo.docio@usc.es Phone: +34 881816397 Research Interests : Susana specializes in Named Entity Recognition (NER) , generative language models , and machine translation , with a focus on minoritized languages like Galician and Portuguese. Her projects include creating gold-standard corpora for cultural analysis and tourism, developing open-source generative models for Galician-Portuguese, and analyzing far-right political movements in Iberia using computational methods. Publications & Trends : Her work spans computational linguistics , political science , and digital humanities . Recent contributions include interdisciplinary studies combining large language models with historical institutionalism , alongside technical advancements in NER systems and continual pretraining for multilingual NLP. Thesis : In her 2024 doctoral thesis, she explored NLP-based analysis of cultural narratives about Santiago de Compostela, emphasizing how collective perceptions shape tourism practices. Labs & Teams : She collaborates with the S3 Laboratory and contributes to projects involving Pablo Gamallo , José Ramón Pichel , and other researchers in language technologies.

• Information Systems
• Business Informatics
• Standardization in ICT
• +۷ مورد دیگر

Prof. Dr. Peter Buxman is a Professor in the Department of Information Systems / Business Informatics at the University of Technology Darmstadt , Germany. His academic career focuses on standardization, electronic data interchange (EDI), and XML applications in business processes. Position: Active Professor Department: Information Systems / Business Informatics School: Department of Law and Economics Email: buxmann@is.tu-darmstadt.de His research explores inter-organizational cooperation through technologies like SAP systems, XML, and WebEDI, analyzing network effects on software markets and digital economy communication architectures. He has investigated the economic implications of standardization, time as a success factor in networked companies, and the role of EDI in modern business. Key trends in his 15 most recent articles include XML-driven supply chain optimization, EDI evolution, and decision models for ICT standardization. His work often examines network effects , software standardization , and B2B communication in logistics and service management.

Mathias Müllerمشاهده پروفایل

پژوهشگر

• Scientific Integrity
• Reproducibility
• Evaluation Protocols
• +۸ مورد دیگر

Mathias Müller is a postdoctoral researcher at the University of Zurich, where he works on sign language translation and natural language processing (NLP) with a focus on scientific integrity and accessibility. He collaborates with Sarah Ebling , Annette Rios , and others as part of the EU-funded project EASIER . His research interests span Sign language processing Scientific reproducibility Robustness of NMT systems Teaching neural machine translation (NMT) Markup technologies (XML, XSLT, etc.) Phonetics and acoustics His recent publications highlight trends in sign language translation, including multimodal approaches, gloss-based translation, and Signwriting integration. These works emphasize evaluation protocols and addressing bias in NLP systems. Scientific awards include Outstanding Paper Award at ACL 2023 Best Paper Award at AfricaNLP 2023 Best Poster Award at Swisstext 2023 He advises students like Shester and collaborates with teams on NMT system development. His work is supported by a 4-year Bridge Postdoc grant funded by the University of Zurich's Digital Society Initiative (DSI).

Ciprian Pungilăمشاهده پروفایل

مدرس ارشد

• Software Engineering
• Operating Systems
• UNIX Programming
• +۳ مورد دیگر

Ciprian Pungilă is a Senior Lecturer at the Faculty of Mathematics and Computer Science , West University of Timișoara, specializing in Software Engineering , Operating Systems , and UNIX Programming . He has supervised multiple courses, projects, and laboratory sessions for Romanian and English informatics classes since 2007, with a focus on design patterns, Java/C++ development, and practical project implementation. His research interests revolve around Software engineering methodologies Operating system design and implementation UNIX/Linux system programming Object-oriented programming patterns . He emphasizes hands-on learning through team projects like the MySQL-XML/XSD Converter and individual assignments requiring strict adherence to coding standards. For contact, students may reach him at cpungila@info.uvt.ro . Laboratories under his supervision cover topics such as process management, file system implementation, XML/XSD conversions, and concurrency control in text editors. Project guidelines stress teamwork, documentation rigor, and innovation in workflow modeling.

Nejat YUMUŞAKمشاهده پروفایل

استاد

• Artificial Intelligence
• Machine Learning
• Bioinformatics
• +۵ مورد دیگر

Prof. Nejat YUMUŞAK is a full Professor in the Department of Computer Engineering at Sakarya University's Faculty of Computer and Information Sciences, where he has built his academic career since 1995. His progression includes roles as Research Assistant (1993-1998), Assistant Professor (1998-2004), Associate Professor (2005-2011), and Professor (2011-present). Education PhD in Electrical-Electronics Engineering, Sakarya University (1995-1998) Thesis: Analysis of Power System Circuit Elements Using Artificial Neural Networks MSc in Electrical-Electronics Engineering, Dumlupinar University (1994-1995) Thesis: Calculation and Measurement of Transformer Parameters at High Frequencies BSc in Electrical-Electronics Engineering, Istanbul Technical University (1989-1993) Research Focus Prof. YUMUŞAK's research integrates artificial intelligence with multidisciplinary applications. Primary domains include: Bioinformatics & Medical AI : Developing deep learning models for COVID-19 mutation prediction, leukemia classification via blood smear analysis, and gastrointestinal anomaly detection using endoscopic data. Signal Processing & Security : Advancing acoustic event detection for security systems and vulnerability testing through intelligent fuzzing techniques. Optimization & Industrial Applications : Creating metaheuristic algorithms (e.g., enhanced Wild Horse Optimizer) for energy efficiency and Industry 4.0 digitalization. Publication Trends His recent articles (2022-2025) demonstrate strong emphasis on transformer architectures for virology, ensemble methods for medical diagnostics, and CNN/LSTM networks for genomic and acoustic data analysis. Over 50% of recent works focus on healthcare applications, particularly cancer and pandemic-related prediction models. Contact & Recognition Contact via nyumusak@sakarya.edu.tr or phone (0264) 264 58 94. His work has received 793 citations (Web of Science) with an H-index of 14.

• Deep Learning
• Natural Language Processing (NLP)
• Internet of Things (IoT) Systems
• +۴ مورد دیگر

Dr. Tazar Hussain is a Lecturer in Computing Science at the School of Computing, Ulster University , where he teaches deep learning and IoT. He completed his PhD at Ulster University on IoT management frameworks for decision-making under unreliability and worked as a part-time Research Associate on the BTIIC 'Data to Action' project. Previously, he served as a Lecturer at King Saud University (9 years) , securing research funding from NPST and DSU. Education: PhD (Ulster University), MSc in Data Telecommunication and Networks (Salford University), Bachelor of Information Technology (Sarhad University) Research Focus: Deep Learning, NLP, IoT Security, Explainable AI, and Human Activity Recognition (HAR) Projects: Active member of the PwC Advanced Engineering and Research Centre (2021-2026), specializing in Few-Shot Learning and Smart Cities His work bridges IoT systems and cybersecurity , with a focus on intrusion response mechanisms. Publications span machine learning applications in security, risk-based decision frameworks , and C4I systems . He is a certified IBM Security Specialist and trained in smart cities and cloud technologies. Key Trends: 1) Application of Explainable AI in pathology LIS systems, 2) Cognitive modeling for IoT cyberattack responses, 3) Risk-based decision-making in IoT environments, 4) Cost-sensitive intrusion response systems, 5) Formal methods (e.g., Situation Calculus) in cybersecurity Collaborations include Invest Northern Ireland and BTIIC , with expertise aligning to UN Sustainable Development Goals in digital security and smart infrastructure.