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

• Enterprise Modeling
• Cybersecurity
• Multi-Level Modeling
• +۵ مورد دیگر

Manfred Jeusfeld is a Professor of Information Technology at the University of Skövde's School of Informatics, Department of Information Technology. He specializes in enterprise modeling, cybersecurity, multi-level modeling, and critical infrastructure protection. His research integrates formal methodologies with practical applications in domains like product lifecycle management and data warehouse architecture. Research Interests: Multi-Level Modeling (formal semantics, tool implementation) Cybersecurity in Critical Infrastructures (model-based analysis, vulnerability assessment) Conceptual Modeling Methodologies (enterprise architecture, ontological frameworks) Product Lifecycle Management (virtual factories, extended PLM systems) Key Projects: Leading the Virtual Factories of the Future (VF-KDO) research profile (2018–2026) ELVIRA project (EU ISF-funded cybersecurity analysis for smart grids) OMI project (teaching enterprise modeling tools for European education) Publications: Recent work emphasizes systematic literature reviews in cybersecurity modeling, formal verification of multi-level systems, and tool contributions like DeepTelos for ConceptBase. His work bridges theoretical model development with real-world applications in critical infrastructure protection.

• Natural Products
• Metabolomics
• Biodiversity Conservation
• +۴ مورد دیگر

David Bruno is a Professor at the University of Burgundy, affiliated with the SAMBA research team. His work focuses on natural products discovery, metabolomics, and biodiversity conservation, with significant contributions to structural novelty identification in plant extracts and chemotaxonomic digitization. He leads initiatives like the INVENTA workflow and plantMASST community-driven projects. His research integrates computational frameworks with experimental data to address global challenges such as deep-sea mining policy, antimicrobial resistance, and pandemic emergence. Bruno has authored over 50 publications, emphasizing open science and collaborative research. He serves as a key figure in the SAMBA group, driving advancements in biogeosciences and marine biology. Research interests include chemical ecology of marine organisms, metabolomic profiling of plant biodiversity, and policy frameworks for genetic resource access (ABS). His work spans drug discovery (e.g., antiparasitics, anti-mycobacterial agents) and environmental policy, with a focus on Antarctic marine biodiversity and climate change impacts. Bruno’s interdisciplinary approach bridges chemistry, ecology, and computational biology to advance sustainable solutions. Notable contributions include the development of analytical tools for metabolite annotation, species distribution modeling in sub-Antarctic ecosystems, and leadership in international collaborations like the vERSO project. His lab’s infrastructure supports large-scale metabolomic studies and open-access data repositories.

• Bioinformatics
• Text Mining
• Machine Learning Applications in Biomedical Research
• +۴ مورد دیگر

Patrick Ruch is a Professor at the Geneva School of Economics and Management (HES-SO), specializing in bioinformatics, text mining, and computational methods for health sciences. He leads research in areas such as machine learning applications in biomedical research, research data management, and natural language processing for scientific literature triage. His work emphasizes improving reproducibility, equity in publishing, and the integration of AI in healthcare. Key affiliations include the SIB Swiss Institute of Bioinformatics and the ArODES initiative. Research interests focus on leveraging AI to enhance data-driven decision-making in medicine, addressing systemic biases in academic publishing, and developing tools for genomic variant curation. He has collaborated extensively on international projects like BiCIKL and DOME, advancing FAIR data principles and open science practices.

Dmitriy Traytelمشاهده پروفایل

دانشیار

• Interactive Theorem Proving
• Runtime Verification
• Logic
• +۱۱ مورد دیگر

Dmitriy Traytel is an Associate Professor at the Department of Computer Science (DIKU), Faculty of Science, University of Copenhagen, where he leads the Software, Data, People & Society (SDPS) section. He earned his PhD from TU München under the supervision of Tobias Nipkow in 2015 and previously held a senior researcher position at ETH Zürich's Information Security Group. His primary research interests include interactive theorem proving, runtime verification, logic, automata, decision procedures, and coinduction. He works extensively with the Isabelle/HOL proof assistant, developing foundational theories and verified tools. His work bridges theoretical logic and practical system verification, focusing on correctness, expressiveness, and scalability. The recent publications highlight a strong focus on verified runtime monitoring, formalization of logical systems, and efficient query evaluation. Key themes include the development of formally verified monitoring tools (e.g., TimelyMon, WhyMon, VeriMon), foundational work on corecursion and datatypes in Isabelle, and translations of logical formalisms into executable and verifiable code. Several publications have received distinguished paper awards, indicating high impact in the programming languages and verification communities. Distinguished Paper Award, POPL 2025: 'Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings' Distinguished Paper Award, POPL 2023: 'Admissible Types-to-PERs Relativization in Higher-Order Logic' Distinguished Paper Award, ATVA 2018: 'Optimal Proofs for Linear Temporal Logic on Lasso Words' Best Student Paper Award, FSCD 2016: 'Formal Languages, Formally and Coinductively' Traytel has (co)supervised numerous PhD, MSc, and BSc students, many of whose projects contribute directly to his research agenda in verified systems and formal methods. He is actively involved in the academic community, serving on program committees for POPL, ITP, RV, and CPP, and has chaired conferences such as CPP 2023 and 2024. His tools, including TimelyMon, VeriMon, and WhyMon, are practical outcomes of his research, enabling scalable, explainable, and trustworthy runtime verification. He leads a research group focused on trustworthy stream processing, distributed streaming computations, and explainable monitoring. His work often involves collaboration with researchers at ETH Zürich and other institutions, particularly in the areas of security and monitoring.

Karolina Ratajمشاهده پروفایل

استادیار

• Psycholinguistics
• Neurolinguistics
• Semantic Processing
• +۹ مورد دیگر

Karolina Rataj is an Assistant Professor at the Faculty of English, Adam Mickiewicz University in Poznań, where she also serves as Head of the Neuroscience of Language Laboratory and Coordinator of the M.A. Programme in Applied Cognitive Linguistics. She has been involved in significant research projects funded by the National Science Center and the National Centre for Research and Development, and previously held a postdoctoral researcher position at the University of Twente, Netherlands. Her research focuses on psycholinguistics, neurolinguistics, and cognitive neuroscience, particularly in the areas of figurative language comprehension (metaphor, irony, similes), semantic processing in monolingual and bilingual contexts, and electrophysiological methods such as ERPs and EEG. She investigates language processing in both healthy individuals and clinical populations, including those with schizophrenia and aphasia. Her recent publications reveal a strong trend in experimental neurocognitive research, employing ERP components like N400, P200, and LPC to decode semantic integration, metaphor comprehension, and creative cognition. Her work frequently compares native and non-native language processing, shedding light on the cognitive effort involved in bilingualism. AMU Rector's Award for organisational achievements (2013) AMU Rector's Award for organisational achievements (2017) AMU Rector’s Scientific Award for publications (2019) She has advised and collaborated on multiple research projects and grants, including the OPUS 13 project on semantic inhibition and an NCN-funded study on novel metaphoric comprehension in bilinguals. She is actively involved in academic service, serving as Deputy Chair of the Human Research Ethics Committee at AMU and as a peer reviewer for journals such as Frontiers in Psychology , Bilingualism: Language and Cognition , and Biological Psychology . Karolina Rataj leads the Neuroscience of Language Laboratory at AMU, which specializes in EEG studies of language and cognition, and she has conducted training in neuroimaging, TMS, and ERP analysis at institutions in Poland, Germany, and the Netherlands.

Patrick McInerneyمشاهده پروفایل

مدرس

• Photogrammetry
• 3D Modelling
• Lighting/Rendering
• +۹ مورد دیگر

Patrick McInerney is a Lecturer at South East Technological University (SETU) , Waterford, Ireland, affiliated with the Department of Computing and Mathematics and the Centre for Information Systems and Techno-culture. His research focuses on photogrammetry, 3D modeling, computational photography, and semantic technologies for digital cultural heritage and human-machine symbiosis. Education: BSc (Hons) in Industrial Computing; Postgraduate Diploma in Sociology (The Open University) Research Interests: Metrology-based documentation of cultural heritage, semantic web applications for street art archiving, and human-centered machine learning in digital humanities. His work bridges computer science, visual arts, and social sciences. Key Collaborations: Leads the MementoArtem Digital Street Art Archive project, collaborating with SETU Library, INSYTE-Cooley research group, and external partners. His research aligns with the UN Sustainable Development Goal of Quality Education through digital preservation. Professional Affiliations: Member of CIPA Heritage Documentation, ICOMOS, and IFAC. Active in the Technology, Culture and International Stability (TECIS) committee.

• Filesystems
• High Performance Computing
• Distributed Storage
• +۴ مورد دیگر

Ramnatthan Alagappan is an Assistant Professor at the Siebel School of Computing and Data Science, University of Illinois. His research focuses on distributed systems, storage systems, and fault tolerance in modern datacenter environments. He leads projects investigating high-performance storage abstractions, replication strategies, and reliability engineering for distributed infrastructure. Key research areas include filesystem design, crash consistency mechanisms, and optimizing storage hierarchies for hybrid NVM environments. His work emphasizes practical implementations of theoretical models, such as the LazyLog shared log abstraction and IONIA replication framework for disk-based key-value stores. Alagappan has received the NSF CAREER Award (2024) for his research on datacenter-aware storage systems. His recent publications address challenges in disaggregated datacenters, fault tolerance for modern workloads, and automated reliability testing for cluster management systems. He collaborates extensively on projects involving distributed storage protocols, log-based systems, and performance optimization for large-scale infrastructures. His research spans theoretical contributions (e.g., consistency models) to applied systems work (e.g., implementing fault-tolerant storage stacks), with a focus on bridging gaps between hardware capabilities and software system design.

Roberto Yusمشاهده پروفایل

استادیار

• Data Management
• Knowledge Representation
• Privacy
• +۷ مورد دیگر

Roberto Yus is an Assistant Professor in the Department of Computer Science and Electrical Engineering at the University of Maryland, Baltimore County (UMBC). He leads the DAta Management & Semantics (DAMS) Research Group and previously served as a Postdoctoral Researcher at the University of California, Irvine (UCI). Education: Ph.D. in Computer Science (University of Zaragoza, 2016), M.S. (2011), and B.S. (2010) in Computer Science from the same institution. Research Interests: Focuses on semantic data management in IoT environments, privacy-preserving systems, smart buildings, and water systems. His work includes developing frameworks like PRIVACYLENS, SMARTSPEC, and SEMIOTIC to bridge IoT device interactions with user requirements and privacy preferences. Publications & Projects: Over 30 peer-reviewed articles in top conferences/journals (e.g., VLDB, PerCom). Projects include TIPPERS (privacy-preserving middleware), Co-zyBench (thermal comfort benchmarking), and GenAIPABench (AI privacy assistants). Awards: Mark Weiser Best Paper Award (2022), 2nd place INCS-CoE Sandpit Challenge (2022), FPI Fellowship (2011-2015). Advising: Mentors Ph.D., MS, and undergraduate students in IoT, privacy, and data management. Grants: $40K INCS-CoE Seed Funding (2022), NSF S&CC grants, and Spanish Ministry grants totaling $31K in mobility support. Labs & Teams: Leads the DAMS Group at UMBC and collaborates with researchers at UCI, Telecom SudParis, and international institutions. Active in IEEE and ACM conferences, editorial roles for Sensors and Frontiers in Big Data .

Farshad Fotouhiمشاهده پروفایل

استاد

• Biomedical Informatics
• Semantic Web
• Multimedia Databases
• +۲ مورد دیگر

Farshad Fotouhi serves as Professor and Interim Chair of Computer Science at Wayne State University's College of Engineering. With a PhD from Michigan State University (1988), he leads research in biomedical informatics, semantic web technologies, and multimedia systems. His work develops AI-driven solutions for medical diagnosis, recommendation systems, and robotic navigation. Recent innovations include COVID-19 detection from X-rays using ensemble learning, cold-start solutions for recommender systems, and SLAM algorithms for dynamic environments. Fotouhi has graduated over 30 PhD students and has received research funding from NSF, NIH, and Ford Motor Company. His teaching includes theoretical computer science and automata theory courses.

Rob Maloufمشاهده پروفایل

استاد

• Computational Linguistics
• Morphological Theory
• Statistical NLP
• +۳ مورد دیگر

Professor and Chair of Linguistics at San Diego State University with adjunct appointment in Big Data Analytics. Research specializes in computational morphology, statistical NLP, and machine learning applications in linguistics. Developed models for paradigm-based morphology using information theory and neural networks. Education: Ph.D. from Stanford University (1998). Recipient of multiple teaching and research awards including SDSU Faculty of the Year (2014). Supervised over 20 graduate students in linguistics and computational methods. Research Areas: Computational morphology, statistical language processing, machine learning, corpus linguistics Teaching: Computational linguistics, statistical methods, machine learning seminars Tools: Developed Toolkit for Advanced Discriminative Modeling, Rescorla-Wagner learning models

Bhavani Thuraisinghamمشاهده پروفایل

استاد

• Cyber Security
• Data Security
• Privacy
• +۵ مورد دیگر

Bhavani Thuraisingham is the Louis A. Beecherl Jr. Distinguished Professor of Computer Science and Executive Director of the Cyber Security Research and Education Institute at The University of Texas at Dallas. She holds a Doctor of Engineering (D.Eng.) from the University of Bristol (2011), a Ph.D. in Mathematics (Theory of Computation) from Swansea University (1979), and earlier degrees in Mathematics and Physics from the University of Ceylon (1975). Her research focuses on cyber security, data security, privacy, and the integration of AI with security. Specific interests include assured information sharing, secure geospatial data management, surveillance/biometrics, and data mining for counter-terrorism. She pioneered work on secure database systems, the inference problem in databases, and cloud data management security. Notable achievements include over 130 journal articles, 300+ conference papers, 7 patents, and prestigious awards from IEEE, AAAS, ACM, and others. She founded UT Dallas’ Cyber Security Institute, which has secured $65M+ in research funding. Her leadership roles include NSF program director (2001–2004) and MITRE Corporation researcher. Awards include IEEE Fellow (2003), AAAS Fellow (2003), and recognition as a top innovator by Silicon India (2002). Current initiatives emphasize trustworthy AI, blockchain security, and policy frameworks for emerging technologies.

Rakib Abdurمشاهده پروفایل

دانشیار

• Formal Verification
• Model-based Testing
• Automotive Security
• +۲ مورد دیگر

Dr. Rakib Abdur is Associate Professor and Systems Security Group member at Coventry University's Institute for Future Transport and Cities, specializing in formal verification of autonomous systems. Research focuses on modeling and verifying safety/security properties in resource-constrained environments using temporal logics and model-based testing. Holds PhD in Computer Science from University of Nottingham (2011) on verifying resource-bounded agents, with prior positions at University of West of England and University of Nottingham Malaysia Campus. Current work includes developing simulation frameworks for automotive cybersecurity risk assessment and context-aware security models. Leads projects on enhanced intrusion detection systems using meta-heuristic optimization and cybersecurity roadmaps for connected infrastructure. Contributions include formal methods for analyzing qualitative/quantitative properties in safety-critical autonomous systems.

Rishe Naphtaliمشاهده پروفایل

استاد

• Geographic Information Systems
• Database Management
• Health Informatics
• +۵ مورد دیگر

Dr. Rishe Naphtali is a distinguished Professor in the Knight Foundation School of Computing and Information Sciences at Florida International University (FIU), holding the Eminent Chair Professorship in Computer Science. He leads the High Performance Database Research Center (HPDRC) and the NSF I/UCRC for Advanced Knowledge Enablement. His expertise spans Geographic Information Systems, database management, and health informatics, with notable projects like TerraFly (a 100 TB aerial imagery database) and Medical Informatics. Education: PhD in Computer Science from Tel Aviv University (1984). Research grants exceeding $55M from NSF, NASA, IBM, and others. Holder of 8 U.S. patents and over 300 publications, including 6 authored/edited books. Awards include the Inaugural FIU Outstanding University Professor designation. Research focuses on geospatial data analytics, AI-driven medical diagnostics, and high-performance computing. His TerraFly project gained global media attention. Current work emphasizes Alzheimer’s disease prediction via multimodal data and maritime threat detection using neural networks. Awards: Inaugural FIU Outstanding University Professor Eminent Chair Professor in Computer Science Advising and grants: Over $55M in funded research, leading collaborative industry-university initiatives. Active in patent development (8 U.S. patents) and international conferences. Directs TerraFly and Medical Informatics programs. Labs/Teams: HPDRC (database research), I/UCRC (advanced knowledge enablement), and TerraFly team. Engages in cross-disciplinary projects combining GIS, AI, and healthcare.

Johann Gamperمشاهده پروفایل

استاد

• Temporal Databases
• Time Series Analysis
• Query Processing
• +۳ مورد دیگر

Johann Gamper is a Professor and Head of the Database Systems Group at the Free University of Bozen-Bolzano. He previously served as Vice-Rector for Research (2018-2024) and Vice-Dean for Studies (2014-2018). Education: Information not provided in text. Research Focus: His core research investigates data-intensive systems with emphasis on temporal data management, time series analysis, and efficient query processing. His team combines fundamental research with system development for applications in governance, tourism, healthcare, and agriculture. Current projects include temporal RDBMS extensions, time series motif mining, and multidimensional range count approximation. Publication Trends: Recent work addresses temporal query optimization, time series classification, and generative approaches for e-commerce data. His research demonstrates consistent innovation in temporal data handling and database performance optimization. Teaching: Currently teaches Database Management Systems and advises PhD students in temporal database research.

Hai Huangمشاهده پروفایل

مدرس ارشد

• Computer Science
• Informatics
• Semantic Web
• +۷ مورد دیگر

Dr. Hai Huang is a Senior Lecturer in Computing at the University of Greenwich, affiliated with the School of Computing and Mathematical Sciences under the Faculty of Engineering and Science. He holds a PhD from Swinburne University of Technology, Australia, and has over 10 years of international research experience across France, Australia, Saudi Arabia, Ireland, and China. Prior to his current role, he served as a Senior Research Fellow at INRIA, the French Institute for Research in Computer Science and Automation. His research focuses on computer science and informatics, with expertise in semantic web technologies, database systems, information retrieval, and query optimization. Key areas include RDF data management, SPARQL query processing, probabilistic databases, and ontology-driven systems. Dr. Huang’s work spans theoretical advancements and practical applications, addressing challenges in web harvesting, data integration, and user profiling through formal concept analysis (FCA). His contributions include innovations in query relaxation, selectivity estimation, and legal rule visualization for compliance systems. No academic awards or grants are explicitly listed, and no student advisees are documented here. His research activities are centered at the University of Greenwich, though specific lab affiliations are not mentioned.