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

Cristina Sirangeloمشاهده پروفایل

استاد

• Database Theory
• Logic
• Automata Theory

Cristina Sirangelo is a Professor of Computer Science at Université Paris Cité, affiliated with the Institut de Recherche en Informatique Fondamentale (IRIF) and on INRIA delegation at ENS Paris within the VALDA team. Her work bridges database theory, logic, and automata theory, focusing on query answering in incomplete data environments and XML processing. Ph.D., University of Calabria (2005) Habilitation à diriger des recherches, ENS de Cachan (2014) Her research explores computational complexity in consistent query answering, Datalog and first-order logic for XML querying, and automata-based validation. Recent projects emphasize dichotomy theorems for query complexity and algorithmic solutions for database constraints under primary keys. She has been recognized with the ICDT 2013 Test of Time Award for foundational work on XML with incomplete information. Her publications span top-tier venues like PODS, ICDT, JACM, and LMCS, with a focus on logical frameworks and efficient data processing. ICDT 2013 Test of Time Award : For pioneering work on XML with incomplete data. As a teaching leader, she co-organizes the master DATA program and the MIDS double master in data science. Her collaborative efforts include co-authoring key papers on XML reasoning, data exchange, and histogram-based data summarization.

Louiqa Raschidمشاهده پروفایل

استاد

• Database Systems
• Data Integration
• Data Mining
• +۸ مورد دیگر

Louiqa Raschid is a Professor at the University of Maryland, holding appointments in the Robert H. Smith School of Business, the Institute for Advanced Computer Studies (UMIACS), and the Department of Computer Science. Her research bridges computer science and business information systems, focusing on data integration, management, and mining in non-traditional domains. Education: B.Tech (IIT Madras, 1980), PhD (University of Florida, 1987) Research Interests include: Data integration and mining across life sciences, health sciences, and financial ecosystems Humanitarian IT solutions for disaster management Semantic query optimization and data delivery techniques Grid and wide-area data management Article Trends reflect interdisciplinary efforts combining bioinformatics, database systems, and social behavior modeling. Key themes include ontology-driven data analysis, network-aware query optimization, and disaster relief systems development. Scientific Awards include: ACM Distinguished Member (2016) ACM Fellow (2016) IEEE Fellow (2000) DILS 2008 Best Paper Award Grants from NSF and DARPA have funded her work on biological data integration and financial cyberinfrastructure. She co-directs the Computational Linguistics and Information Processing (CLIP) Lab and collaborates with institutions worldwide.

Dominique Stutzmannمشاهده پروفایل

استاد

• Latin Palaeography
• Digital Humanities
• Medieval Manuscript Studies
• +۷ مورد دیگر

Dominique Stutzmann is an Honorary Professor at Humboldt University of Berlin (since 2023) and Research Professor ( Research Director ) at the Institute for Research and History of Texts (IRHT-CNRS) since 2010. Specializing in Latin Palaeography , they lead the Department of Latin Palaeography at IRHT and coordinate the "Cluster 3: Artificial Intelligence" within the EquipEx Biblissima+ infrastructure. Their work bridges Medieval Manuscript Studies with Digital Humanities , focusing on text-image alignment , script classification , and machine learning applications for historical document analysis. Academic Education 2021: Qualification for a professorship ( Venia legendi ) from the Conseil National des Universités 2009: Habilitation thesis on Cistercian library networks 2002: Doctoral thesis Summa cum laude on Fontenay Abbey 2000: Paleographic Archivist diploma Summa cum laude Research Interests encompass medieval writing systems , digital paleography , manuscript digitization , and computational analysis of historical documents . They pioneered AI-driven full-text search engines for medieval manuscripts and developed open-source tools like Oriflamms for text-image alignment. Scientific Leadership includes Managing €2M+ in national/international grants Organizing colloquia and workshops Advisory roles for ERC projects DiDip and PRAYER Key Collaborations involve institutions such as the Bibliothèque Nationale de France , University of Hamburg , and University of Pennsylvania . Their editorial work spans journals like Scripta and Humanités numériques .

Stefan Kuhlinsمشاهده پروفایل

استاد

• Business Informatics
• Information Technology
• E-commerce
• +۶ مورد دیگر

Prof. Dr. Stefan Kuhlins is a Professor of Business Informatics at Heilbronn University's Faculty of Economics. He specializes in Business Engineering Logistics and previously worked at the universities of Mannheim and Regensburg. His research focuses on E-commerce, XML technologies, and enterprise software integration. He also operates as a freelance business information technology specialist. Current: Professor at Heilbronn University (Faculty of Economics) Previous: University of Mannheim, University of Regensburg Specialization: Business Engineering Logistics (formerly Technical Logistics Management) Freelance: E-commerce and software projects Education : Graduate in Business Information Technology Research Interests : His work spans business informatics, information technology, and programming with particular emphasis on database systems, XML standards, and Robotic Process Automation (RPA). He has developed frameworks for enterprise application integration and explored wireless usability metrics through Java software agents. His publications reflect a strong focus on E-commerce systems, XML schema design, and software development methodologies. Publications Trends : His scholarly output from 1993-2018 covers XML technologies, Java applications in enterprise systems, simulation modeling for logistics, and web service integration. The articles demonstrate consistent engagement with software engineering challenges in E-commerce and enterprise contexts. Technical Leadership : Since 2014, he has served as Head of the Internship Office for Business Engineering Logistics (BEL) and Technical Logistics Management (TLM) programs at Heilbronn University. This administrative role complements his technical expertise in systems design. Programming Expertise : With deep knowledge of C++ standard libraries and Java technologies, he has contributed to areas like garbage collection, CORBA optimization, and multithreaded frameworks. His technical work spans from core programming challenges to enterprise-scale integration solutions.

• Multi-model data management
• Schema inference and evolution
• XML and semi-structured data
• +۳ مورد دیگر

Irena Holubová, Ph.D. , is an Associate Professor at the Department of Software Engineering , Faculty of Mathematics and Physics , Charles University in Prague, Czech Republic. Her work focuses on multi-model data management, schema evolution, XML and graph data processing, and inferred social networks. She has led or co-led numerous national and international research projects, supervised over half a dozen Ph.D. students, and contributed extensively to the academic community. Education: Ph.D. in Computer Science (exact university and year not specified in text) Research Interests: Her research spans multi-model data management , including modeling, schema inference, and evolution. She explores inferred social networks through graph analytics and real-world data. Previously, her work included Linked Data , XML schema inference , XML benchmarking , and management of XML data using relational databases . Grants and Projects: Principal researcher, GAČR 23-07781S: Self-Adapting Management of Multi-Model Databases (2023–2025) Principal researcher, GAČR 20-22276S: Unified Management of Multi-Model Data (2020–2022) Co-researcher, TAČR TH03010276: System for advanced analytics of large connected data (2018–2020) Supervisor, GAUK 292323: Self-adaptive management of multi-model databases (2023–2025) Supervisor, GAUK 1416213: Evolution and adaptability of complex applications (2013–2015) Co-researcher, GAČR P202/10/0573: Handling XML Data in Heterogeneous and Dynamic Environments (2010–2012) Principal researcher, GAČR 201/09/P364: Management of XML data in (object-)relational databases (2009–2011) Member, GAČR 201/06/0756: Development of a Native Storage for XML Data (2006–2008) Member, SemWeb 1ET100300419: Intelligent Models for the Semantic Web (2005–2008) Conference Organization: Co-organizer: FiCloud ’17, MobiWis ’17, Innovate-Data ’17, NoSQL-Net ’15/’14, BenchmarX ’10/’09, X-Schemas ’09, MoViX ’09 Editorial and Reviewing Roles: PC member: MEDI, IDEAS, ACM SAC, ICIST, CoMoNoS, RCIS, VLDB Journal, Big Data Research Journal, and many more Reviewer: VLDB Journal, The Computer Journal, LNCS Transactions, special issues, and books Independent expert: EU FP7, Horizon 2020 Ph.D. Students Supervised: Jáchym Bártík (2022–) Pavel Koupil (2019–2022, finalist Antonín Svoboda Award) Marek Polák (2012–2017) Martin Svoboda (2010–2015, Dean's Award for Best Master Thesis) Jakub Stárka (2010–2013) Tomáš Knap (2008–2013, finalist IT Master Thesis 2009) Labs and Teams: She leads the Data Management Research Group at the Department of Software Engineering, focusing on multi-model databases, schema evolution, and XML technologies. The group has produced tools like MM-cat , Socneto , STOCK , BDgen , DaemonX , jInfer , and Analyzer .

Jean-Marc Talbotمشاهده پروفایل

استاد

• Program Analysis
• Formal Verification
• Process Algebra
• +۴ مورد دیگر

Jean-Marc Talbot is a Professor at Aix-Marseille University , affiliated with the Laboratoire d'Informatique Fondamentale de Marseille (LIF, UMR 7279) and the MoVe research team . His academic journey began with a Master (DEA) in Computer Science from the University of Orléans (1994) and a PhD in Computer Science from the University of Lille 1 (1998). After a postdoctoral fellowship at the Max-Planck-Institut für Informatik (Saarbrücken, Germany), he served as an Assistant Professor (Maître de Conférences) at the University of Lille 1 before earning his habilitation in Computer Science (2005). Research Focus : Formal methods for program analysis and verification, concurrency theory (process algebra), mobile computing, XML data transformation/querying, tree automata, and computational logic. Teaching : He teaches courses on static analysis, typing, abstract interpretation, and security within Java, including the graduate course "Fiabilité 2" (Reliability II). Laboratory Affiliation : Talbot works at LIF (UMR 7279), a fundamental computer science research lab located at the Parc Scientifique et Technologique de Luminy, Marseille.

Damien Nouvelمشاهده پروفایل

دانشیار

• Natural Language Processing
• Computer Science
• Mathematics
• +۷ مورد دیگر

Damien Nouvel is an Associate Professor at INALCO (Institut National des Langues et Civilisations Orientales) in Paris, France, where he has been working since September 2014. He serves as the director of the ERTIM research team and holds the position of Deputy Director of the TIM Department (TAL Bachelor's and Master's programs). His academic focus lies within the Department of Natural Language Processing, where he teaches courses from L2 to M2 levels and supervises doctoral candidates and Master's dissertations. PhD from François Rabelais Tours University (defended November 2012) Postdoctoral fellow at LIMSI-CNRS (Université Paris-Sud 11), 2013/2014 Research engineer at Alpage (INRIA), 2012/2013 Doctoral student at François Rabelais Tours University, 2009-2012 Damien Nouvel's research centers on Natural Language Processing with particular emphasis on mathematical models and multilingualism, especially for under-resourced languages taught at INALCO including Quechua, Arabic, Bambara, and Chinese. His work spans multiple areas including named entity recognition, transliteration, lexical disambiguation, opinion analysis, and textometric analysis. He has developed specialized systems like mXS for automatic annotation using data mining techniques. His recent research has expanded to social media analysis, conspiracy discourse, and low-resource language processing, demonstrating both theoretical depth and practical application. Analyzing his publication trends from 2022-2025 reveals a strong focus on multilingual NLP systems, particularly for low-resource languages. His work consistently bridges theoretical computational linguistics with practical applications, with increasing emphasis on transformer models, social media analysis, and cross-lingual resource development. The publications show progression from foundational NER work to more complex multilingual systems capable of handling diverse languages including Farsi, Chinese, Armenian, and Urdu. Damien Nouvel actively supervises doctoral students and Master's dissertations while managing significant research projects. His team ERTIM participates in major evaluation campaigns like SemEval, demonstrating practical application of their research. His work spans multiple domains from speech processing to social media analysis, showing adaptability and relevance to contemporary language processing challenges. As director of the ERTIM research team since 2020, Nouvel leads a group focused on natural language processing with special attention to under-resourced languages. The team works on diverse projects including language modeling, named entity recognition across multiple languages, social media analysis, and resource creation for languages with limited digital presence. Their work combines symbolic approaches with modern machine learning techniques to address the challenges of processing diverse linguistic systems.

Wen-Chen Huمشاهده پروفایل

دانشیار

• Handheld/Mobile/Smartphone/Spatial Computing
• Location-Based Services
• Web-Enabled Information Systems
• +۶ مورد دیگر

Wen-Chen Hu is an Associate Professor in the Department of Computer Science at the University of North Dakota's School of Electrical Engineering and Computer Science. He has held academic positions at Auburn University (Assistant Professor, 1998–2002) and the University of North Dakota (Assistant/Associate Professor since 2002). His teaching spans courses like .NET/Web Programming, Computer Architecture, Electronic Commerce Systems, and Advanced Database Systems, with over 100 graduate students advised. Education PhD in Computer and Information Science and Engineering, University of Florida (1998) MS in Computer Science, University of Iowa (1993) ME in Information Science and Electronic Engineering, National Central University, Taiwan (1986) BE in Computer Science, Tamkang University, Taiwan (1984) Research Interests : Dr. Hu's work focuses on handheld/mobile/smartphone/spatial computing, location-based services (LBS), web-enabled information systems (e.g., search engines, web mining), database-driven systems (electronic/mobile commerce), and web technologies. His publications emphasize privacy-preserving LBS, spatial trajectory prediction, mobile security, and big data applications. Publication Trends : His recent work (2020–2023) explores pandemic response via mobile analytics, privacy in LBS, and smartphone computing. Earlier (2014–2017), he addressed geometric LBS algorithms, cognitive radio networks, and super-resolution image processing. Foundational work (1998–2005) includes XML search engines, handheld programming languages, and mobile commerce security. Scientific Awards : Best Paper Award, MICS 2015 Best Paper Award, ACM Southeast Conference 2003 Best Reviewer Awards Community Service Awards Advising & Academic Leadership : Dr. Hu has advised over 100 graduate students and served as General Chair for ICETA 2018 and Associate Editor for the Journal of Information Technology Research . He has organized editorial/review roles for over 100 journals and conferences.

Kun-Mao Chaoمشاهده پروفایل

استاد

• Algorithms
• Bioinformatics
• Computational Molecular Biology
• +۳ مورد دیگر

Kun-Mao Chao is a Full-Time Professor at the Department of Computer Science and Information Engineering, National Taiwan University, where he has held multiple roles since 2002, including Chair Professor and Academician of Academia Sinica. He also serves in the Graduate Institute of Biomedical Electronics and Bioinformatics (2006–present) and holds adjunct appointments at various institutions. Education: PhD in Computer Science, Pennsylvania State University (1993) MS in Computer Engineering, National Chiao Tung University (1987) BS in Computer Engineering, National Chiao Tung University (1985) Research Expertise spans Algorithm Design (applied algorithms, approximation algorithms), Bioinformatics , and Computational Molecular Biology . His work focuses on problems like sequence alignment, spanning tree optimization, and DNA copy number variation analysis, often with interdisciplinary applications in medicine and epidemiology. Recent Publications (2012–2022) include studies on mathematical modeling for influenza vaccination policies , nanocarrier drug delivery systems , and XML database query algorithms , reflecting his diverse interests in both computer science and biomedical applications . Professional Activities: He has served as Editor for Information Processing Letters , PC Co-Chair for IEEE BIBE 2011 and ISAAC 2012, and on advisory committees for numerous conferences (APBC, BIBE, GIW, etc.). Laboratory: Leads the Algorithms and Computational Biology Laboratory at National Taiwan University, mentoring students in cutting-edge research areas.

Zhiyuan Chenمشاهده پروفایل

استاد

• Data Science
• Big Data
• Privacy Preserving Data Mining
• +۵ مورد دیگر

Zhiyuan Chen is a Professor and Chair of the Information Systems Department at the University of Maryland Baltimore County (UMBC). He holds a PhD in Computer Science from Cornell University, with prior work experience including a postdoc at Microsoft Research and research roles at AT&T and IBM. His research focuses on data privacy, adversarial machine learning, database systems, and semantic web technologies. Education: - PhD in Computer Science, Cornell University (2002) - MS and BS in Computer Science, Fudan University, China (1995-1997) Research Interests: - Privacy-preserving data mining and security - Adversarial learning and cybersecurity defenses - RDF triple stores and semantic data integration - Database query optimization and compression techniques Grants & Collaborations: - Principal Investigator on a $1.2M ONR grant (2018-2021) for secure federated data sharing - Collaborations with US Naval Academy on Rya triple-store enhancements Teaching: - Courses include Advanced Database Projects (IS 620), Database Management Systems (IS 633), and specialized topics in XML/Privacy Key Projects: - Developed MITRE-funded anonymization techniques for network traces - Designed a situation-aware access control framework for coalition environments - Led NSF-funded work on privacy-preserving classification methods

• Formal Methods
• Automata Theory
• Temporal Logic
• +۵ مورد دیگر

Daniel Neider is a Professor at TU Dortmund University, Germany. He holds former affiliations with Carl von Ossietzky University Oldenburg and the Max Planck Institute for Software Systems (Kaiserslautern). His research focuses on formal methods, automata theory, temporal logic, and their applications in verification, AI, and machine learning. Neider earned his PhD in 2014 from RWTH Aachen University and a second PhD in 2022 from Kaiserslautern University. His work bridges theoretical foundations with practical tools, such as developing algorithms for automata learning, robust temporal logics (rLTL), and neuro-symbolic verification frameworks for deep neural networks. Key research areas include: (1) learning-based formal methods for system verification, (2) robust temporal logics for handling noisy environments, (3) reinforcement learning with temporal logic constraints, and (4) automated specification mining from data. He has contributed to tools like libALF (Automata Learning Framework) and Sorcar for property-driven invariant synthesis. His recent work explores: (a) scalable LTL learning from noisy data using MaxSAT, (b) neuro-symbolic verification techniques, and (c) applying large language models to automate reinforcement learning with reward machines. He has published over 135 papers in top venues like AAAI, TACAS, and FMCAD, focusing on formal methods intersections with AI and systems verification. Current projects involve: (i) robustness-aware synthesis for reactive systems, (ii) temporal logic inference from positive examples, and (iii) developing interpretable verification tools for complex operational domains. His lab collaborates on applying formal methods to real-world systems like smart contracts and neural networks.

Wil van der Aalstمشاهده پروفایل

استاد

• Process Mining
• Data Science
• Petri Nets
• +۸ مورد دیگر

Wil van der Aalst is a full professor at RWTH Aachen University , leading the Process and Data Science (PADS) group . He serves as Chief Scientist at Celonis , part-time affiliated with Fraunhofer FIT , and holds an unpaid professorship at Queensland University of Technology . His roles include deputy CEO of the Internet of Production Cluster of Excellence, co-director of the RWTH Center for Artificial Intelligence , and speaker of the RWTH ICT Profile Area . Research Interests : Wil van der Aalst pioneered process mining , bridging model-based process analysis (e.g., Petri nets, simulation) and data-centric techniques (e.g., machine learning). His work spans business process management , workflow modeling , interorganizational workflows , and data science . He developed tools like ProM , YAWL , and Woflan , influencing process mining standardization and commercial tools ( Celonis , Disco , etc.). Scientific Contributions : He has authored over 300 journal papers, 35 books, 720 conference papers, and 90 book chapters. His H-index of 184 and over 158,000 citations reflect his global impact. Key articles focus on workflow patterns , YAWL , interorganizational workflow verification , and social network discovery from event logs . Awards and Honors : Recipient of the Alexander von Humboldt Professorship (2018, €5M), he is an IFIP , IEEE , and ACM Fellow , and elected to multiple academies (e.g., Koninklijke Nederlandse Akademie van Wetenschappen, Academia Europaea). He received honorary degrees from Moscow Higher School of Economics , Tsinghua University , and Hasselt University .

Nils Agne Nordbottenمشاهده پروفایل

دانشیار

• Cybersecurity
• Networking
• Military Communications
• +۳ مورد دیگر

Nils Agne Nordbotten is an Associate Professor (20% position) at the University of Oslo's Institute of Transport Economics (ITS), with a main position at Thales Norway AS. His primary affiliation is with the Section for Autonomous Systems and Sensor Technologies. Nordbotten specializes in ICT and cybersecurity, with a focus on cross-domain security, fault-tolerant networks, and military communication systems. His research interests include cybersecurity frameworks for military and coalition networks, secure cross-domain information exchange, and adaptive routing methodologies for high-assurance systems. He has contributed to IEEE conferences and journals on topics such as network security function virtualization, XML/web services security, and fault-tolerant interconnection networks. Nordbotten's work spans both academia and industry, with notable collaborations on NATO transformation projects and MILS (Multiple Independent Levels of Security) architectures. His publications address challenges in secure communication protocols, machine learning for automated security classification, and resilient network design.

Lassi Saario-Ramsayمشاهده پروفایل

پژوهشگر

• History of Philosophy
• Logic
• Medieval Studies
• +۳ مورد دیگر

Lassi Saario-Ramsay is a doctoral researcher at the University of Helsinki's Faculty of Arts, Department of Philosophy, History and Art Studies. His research focuses on the historical development of the concept of logical consequence from the Late Middle Ages to the early 20th century. He teaches in the Bachelor’s Programme in Philosophy and is a member of the Helsinki Computational History Group (COMHIS). His work bridges medieval scholastic thought with modern analytical philosophy, leveraging computational methods to analyze historical texts. Research Interests: History of Logic and Philosophy Medieval Semantics and Scholastic Theology Philosophy of Language and Identity Computational Humanities Recent Activities: Presented at conferences including the European PhD Net in Philosophy and the Congress for Doctoral Researchers in Philosophy Visiting scholar at University of St Andrews (2023) and Radboud University (2025) Co-developed tools like XmlConverter and the Tagged Corpus of Early English Correspondence (TCEECE) Collaborations: Active in interdisciplinary projects combining historical analysis with digital methodologies, including corpus linguistics and text encoding initiatives.

• Semantic Web
• Cultural Heritage Modeling
• Knowledge Graphs
• +۳ مورد دیگر

Alessandro Adamou is a Digital Humanities Scientist at the Bibliotheca Hertziana - Max Planck Institute for Art History. His expertise spans Semantic Web technologies, knowledge graph development, and intangible cultural heritage modeling. He leads the 'Linked Data Infrastructure for Cognitive Computing' project and has held research positions at Insight SFI Research Centre, The Open University, and Italy's National Research Council. Research Focus: Develops computational methods for representing fuzzy cultural concepts, optimizing ontology networks, and integrating linked data in humanities research. Applications include modeling musical traditions, reading experiences, and art historical evidence. Professional Service: Co-chairs the WHiSe workshop series on data science for humanities and serves on the Apache Stanbol project management committee.