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

• Databases
• Data Provenance
• XML
• +۵ مورد دیگر

Peter Buneman is a prominent academic affiliated with the University of Edinburgh, UK. His research primarily focuses on databases, data provenance, XML, and semistructured data. He has held significant roles in advancing computational models for data citation, provenance tracking, and distributed systems. Key areas of expertise include database systems, graph algorithms, and collaborative data curation platforms. Buneman's work integrates theoretical foundations with practical applications in pharmacology data, digital libraries, and scientific data management. His contributions to data provenance and citation systems have shaped standards in academic and industrial settings. Notable projects include the Database Wiki platform for collaborative data management and the MITra framework for graph traversal. Buneman collaborates extensively with co-authors like Susan Davidson, Wenfei Fan, and Val Tannen. Publications span 1974–2025, emphasizing methodologies for data integration, distributed computing, and computational biology. His work bridges theoretical computer science with real-world applications in biomedicine and information systems.

• Model Engineering
• Web Engineering
• Process Engineering
• +۹ مورد دیگر

Gerti Kappel is a full professor at the Institute of Information Systems Engineering at TU Wien, affiliated with the Business Informatics Group (BIG). Since 2020, she has served as Dean of the Faculty of Informatics at TU Wien, previously holding the role of Dean’s team member responsible for research, diversity, and financial affairs (2016–2019). She previously held a full professorship in computer science (database systems) and led the Department of Information Systems at Johannes Kepler University Linz (1993–2001). Her research focuses on Model Engineering, Web Engineering, and Process Engineering, particularly in cyber-physical production systems. She has co-authored influential works such as UML@Work (2005), UML@Classroom (2015), and Web Engineering (2006). Key projects include leadership roles in Vienna Informatics Living Lab (2018–2019), MPM4CPS (2014–2019), and ARTIST (2012–2015), addressing topics like model versioning, cloud architecture modeling, and inter-organizational systems. Her recent articles explore circular systems engineering, IoT-based simulation environments, and model-driven approaches for time-series analytics and cloud applications. She actively contributes to academic governance, including managing the Office of the Dean (E199-01) and overseeing faculty services. Her work emphasizes bridging theory and practice through collaborative frameworks like ERPEL and TROPIC . Grants: Projects funded by Austrian Research Promotion Agency, European Cooperation in Science and Technology, Vienna Business Agency, and others. Advising: Supervised over 15 graduate theses, including recent works on model-driven techniques for railway planning, debugging frameworks for modeling tools, and cloud-based IDEs. Labs/Teams: Leads research within the Business Informatics Group (BIG) and collaborates with the Vienna Informatics Living Lab for applied systems engineering.

Niko Siltalaمشاهده پروفایل

مدرس

• Production System Design
• Robotics
• Manufacturing Automation
• +۳ مورد دیگر

Niko Siltala is a University Instructor at Tampere University's Department of Automation Technology and Mechanical Engineering. He holds a Doctor of Science (Technology) in Mechanical Engineering (2016) and a Master of Science (Technology) in Automation Engineering (2001). His research focuses on production system design, reconfiguration, robotics, and virtual reality applications in safety training. He has contributed to the development of semantic rules for capability matchmaking, which supports rapid system design and reconfiguration. Key research areas include: Manufacturing automation and system adaptability Human-robot collaboration and safety protocols Virtual reality-based training solutions Formal resource descriptions for modular systems His work aligns with UN Sustainable Development Goals, particularly in advancing quality education (SDG 4) through innovative robotics education tools. He has received the Distinguished Committee Service Award (2004) and contributed to grants such as the K.F. ja Maria Dunderbergin testamenttisäätiö (2014). He has collaborated on projects like the D-BEST methodology for pilot lines and the ODIN project for scalable production systems. His activities include organizing conferences, presenting at international forums, and developing web-based tools for manufacturing system planning.

Daniele Fusiمشاهده پروفایل

مدرس

• Digital Humanities
• Computational Philology
• Classical Studies
• +۷ مورد دیگر

Daniele Fusi is a Lecturer at the Department of Humanities, Ca' Foscari University of Venice, with a focus on Digital Humanities and Computational Philology. He teaches courses on XML databases and digital/public humanities, bridging classical studies with modern technology. University: Ca' Foscari University of Venice Department: Department of Humanities His research spans digital edition frameworks, metrical analysis, and XML markup for classical texts. Recent works explore AI applications in textual dynamics and forensic linguistic tools for legal corpora, demonstrating interdisciplinary approaches between humanities and computer science. Notable projects include: EpiSearch for ancient inscriptions Chiron framework for metrical analysis AttiChiari digital corpus He actively publishes in journals like Journal of Data Mining and Digital Humanities and Rivista di Cultura Classica e Medioevale , with over 20 years of contributions to digital philology, epigraphic databases, and computational linguistics.

• Description Logics
• Ontologies
• Automated Reasoning
• +۷ مورد دیگر

Professor Boris Konev is a faculty member at the University of Liverpool, affiliated with the School of Electrical Engineering, Electronics and Computer Science. He holds the academic rank of Professor in Computer Science. Description Logics Ontologies Automated Reasoning Temporal Logic Formal Verification Encrypted Database Applications His recent research focuses on temporal queries mediated by ontologies, knowledge evaluation agents using large language models, and semantic modularity in description logics. Key sub-fields include LLM applications, encrypted databases, and formal verification techniques. He has contributed to software development projects and industry partnerships, including design of equine simulators and online services with Racewood Limited. Current teaching includes the Foundations of Computer Science module (COMP109). Professional roles include guest editorships for AI Communications and program committee membership for the European Conference on Logics for Artificial Intelligence (JELIA).

• Databases
• Information Systems
• Data Management
• +۹ مورد دیگر

Johann Eder is a full professor for Information and Communication Systems at the Department of Informatics Systems, University of Klagenfurt, Austria, and currently serves as Deputy Head of Department. He previously held positions at the Universities of Linz, Hamburg, Vienna, and Klagenfurt, and was Vice President of the Austrian Science Funds (FWF) from 2005-2013. He was also a visiting scholar at AT&T Shannon Labs, NJ. Educational Background: Diplom-Ingenieur, University of Linz Doctor of Technical Sciences, University of Linz Johann Eder's research focuses on databases, information systems, and data management for medical research, including temporal information modeling, process evolution, and workflow systems. His work spans temporal data warehousing, exception handling in workflows, and application interoperability, with a particular emphasis on privacy and quality in medical data lakes and federated biobanks. Recent publications highlight trends in temporal reasoning for business processes, medical data quality, and service composition optimization. His editorial roles include positions at ACM Transactions on Database Systems and IEEE Transactions on Knowledge and Data Engineering . He leads the Information and Communication Systems Research Group at AAU, contributing to projects like federated biobank integration and blockchain-based smart contracts.

Stefan Böttcherمشاهده پروفایل

استاد

• Databases
• Data Compression
• Graph Algorithms
• +۳ مورد دیگر

Prof. Dr. Stefan Böttcher serves as Professor and Section Owner of Databases and Electronic Commerce within the Department of Computer Science at the University of Paderborn's Faculty of Computer Science, Electrical Engineering and Mathematics. His office (F2.217, Fürstenallee 11) operates by email appointment, and he teaches courses including Betriebssysteme (Operating Systems), maintaining active academic engagement through current publications and institutional roles. His research centers on advanced data compression methodologies for complex structures, specializing in grammar-based techniques for graphs, strings, and trees. Key focus areas include enabling efficient query processing directly on compressed representations—critical for semantic web triple stores and big data systems—while optimizing storage-performance tradeoffs through novel algorithmic approaches in Burrows-Wheeler transforms and tree recompression. Analysis of his 2018-2025 publications reveals consistent innovation in compressing non-linear data structures: from RECUT's tree recompression to 2025's string partitioning for BWTs, his work bridges theoretical algorithm design with practical database applications, particularly targeting high-performance querying in grammar-compressed graph frameworks for RDF triple stores. Scientific Awards No awards documented in source materials Prof. Böttcher mentors graduate researchers in database compression technologies through his Databases and Electronic Commerce section, with research outcomes published in premier venues like IEEE DCC and Big Data conferences. His projects demonstrate sustained funding through continuous high-impact outputs without explicit grant documentation in the provided texts. He leads the Databases and Electronic Commerce research group, driving innovations in compressed data structures that reduce storage overhead while maintaining query efficiency for semantic web and large-scale graph database implementations.

Fan Wenfeiمشاهده پروفایل

استاد

• Database systems
• Database theory
• Big data
• +۳ مورد دیگر

Professor Wenfei Fan is a Chair of Web Data Management at the University of Edinburgh since 2006. He holds adjunct roles at Huawei Edinburgh Research Laboratory and the International Research Center on Big Data at Beihang University. His research focuses on database systems, theory, big data, data quality, and constraint applications. He is a Fellow of the ACM and Royal Society of Edinburgh, and recipient of the ERC Advanced Grant (2015). His work includes foundational contributions to XML constraints, data quality management, and graph databases, with over 160 top-tier publications and 8 patents. Education: BSc and MSc from Peking University (1985, 1988); PhD from the University of Pennsylvania (1999). Professional Roles: Editor for TODS, TCS, VLDBJ, and TBD; PC Chair for PODS, CIKM, APWeb, and others. Key awards include the Roger Needham Award (2008), Yangtze River Scholar (2007), and multiple best paper awards at SIGMOD, PODS, VLDB, and ICDE. He has led over 15 grants totaling €6M and advised students who all received top conference awards. His labs and initiatives drive industry collaboration, with deployed solutions at Huawei for big data query optimization.

Pascal Bizarroمشاهده پروفایل

دانشیار

• Accounting Information Systems
• IT Auditing
• Information System Assurance & Control
• +۷ مورد دیگر

Pascal Bizarro, Ph.D., is an Associate Professor in the Department of Accounting and Information Systems at Bowling Green State University (BGSU), part of the Schmidthorst College of Business. He holds a Ph.D. and M.Acc. from the University of Alabama and a B.B.A. in Commercial Engineering from HEC, Liège, Belgium. A Certified Information Systems Auditor (CISA), he specializes in IT Auditing, Accounting Information Systems, and emerging technologies like blockchain. He advises BGSU's Information System Audit and Control (ISAC) programs and serves as president of the Northwest Ohio ISACA Chapter and academic board member of the Northwest Ohio IIA Chapter. Dr. Bizarro's research focuses on cybersecurity, audit technology, data privacy, and blockchain applications in accounting. His work has been published in leading journals such as ISACA Journal , Internal Auditing , and The CPA Journal . Notable contributions include studies on phishing attacks, IoT security, AI in auditing, and XBRL implementation. He has received awards including the Schmidthorst Leadership Council Faculty Excellence Award (2015) and the Primrose Family Professorship (2013–present). His professional certifications and academic leadership roles reflect his expertise in bridging accounting practices with information systems innovation.

Benjamin C. Pierceمشاهده پروفایل

استاد

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

Benjamin C. Pierce is Henry Salvatori Professor of Computer and Information Science at the University of Pennsylvania, with appointments in the School of Engineering and Applied Science. A Fellow of the ACM, his research spans programming languages, formal verification, and security-privacy technologies. He directs the DeepSpec project on verified systems infrastructure and leads climate computing initiatives. Research interests focus on: Formal methods for reliable software via proof assistants like Coq Bidirectional programming and data synchronization Language-based security and differential privacy Publication trends show consistent contributions to type theory foundations, with recent emphasis on property-based testing methodologies and real-world verification. Articles frequently appear in top PL/SEC venues with practical applications in compilers and secure systems. Scientific Awards: ACM Fellow (systems verification) SIGPLAN Distinguished Educator Award (textbook innovations) Advises graduate students through the Penn PL Club. PI for NSF Expeditions in Sustainable Computing. Leads the VERSE project for verified C code and Unison file synchronizer. Directs the Penn Programming Languages Research Group collaborating with industry partners including Amazon and Microsoft Research.

Evaggelia Pitouraمشاهده پروفایل

استاد

• Data Management
• Distributed Databases
• Database Systems
• +۷ مورد دیگر

Evaggelia Pitoura is a Professor in the Department of Computer Engineering and Informatics at the University of Ioannina, Greece, and a Lead Researcher at the Archimedes Research Unit, ATHENA Research Center. Her work spans data management, distributed systems, and mobile computing, with a strong focus on database personalization and diversity. Her research interests include data diversity, contextual preferences, XML data management, peer-to-peer systems, and mobile computing . She has pioneered work in result diversification, preference-aware querying, and distributed data indexing, publishing extensively in top venues such as PVLDB, ICDE, SIGMOD, and IEEE TPDS. The recent publications highlight a consistent trend in personalized, context-aware database systems , with emphasis on improving user experience through intelligent query processing, recommendation, and efficient data organization in distributed environments. Best Paper Award, SIGMOD 1999 Best Paper Award, PVLDB 2013 She has advised several PhD students, including Georgia Koloniari, Kostas Stefanidis, Marina Drosou, and Konstantinos Semertzidis, who now hold positions in academia and industry. She teaches courses in Databases and Information Retrieval and actively contributes to the academic community through program committee roles in major conferences like ICDE, VLDB, SIGMOD, and WWW. She leads the Distributed Management of Data Group , fostering innovation in scalable and intelligent data systems.

Wenfei Fanمشاهده پروفایل

استاد

• Database Theory
• Data Science
• Information Visualization
• +۹ مورد دیگر

Wenfei Fan holds the Personal Chair in Web Data Management at the School of Informatics, University of Edinburgh . He is affiliated with the Database Group , LFCS (Laboratory for Foundations of Computer Science), Bell Labs , and the International Research Center on Big Data at Beihang University. His research spans database theory, data science, and big data systems. PhD in Computer and Information Science, University of Pennsylvania, USA MS in Computer Science, Peking University, China BS in Computer Science, Peking University, China His research interests focus on database theory and systems , including big data, data quality, data integration, database security, distributed query processing, query languages, social networks, and XML. He has pioneered techniques for graph pattern matching, data dependencies, and scalable algorithms. Recent publications emphasize graph data management , rule-based systems , and ML-data quality integration . Key themes include incremental computation, GPU-accelerated graph cleaning, entity linking, and logic-driven ML. Articles like 'Rock' and 'MiniClean' demonstrate hybrid approaches for real-world data challenges. Fellow of the Royal Academy of Engineering (FREng), 2023 Foreign Member, Chinese Academy of Sciences (ForMemCAS), 2019 Fellow of the Royal Society (FRS), 2018 ERC Advanced Fellowship, 2015 ACM Fellow (FACM), 2012 Roger Needham Award, 2008 He leads the ERC project: Resource-Bounded Graph Query Answering and contributes to systems like GRAPE and GraphScope , which parallelize sequential algorithms and process large graphs. He mentors students and collaborators globally, with a focus on data quality and graph analytics.

• Digital Humanities
• Philology
• Lexicography
• +۵ مورد دیگر

Christian D'AGATA is a Research Fellow at the Department of Humanities, University of Catania, conducting research on 'Philology and Digital Lexicography of 19th and 20th-Century Italian Literature' under the CHANGES (PNRR) - Spoke 3 project on Digital Verismo. His work focuses on creating digital scholarly editions of major Italian literary works through computational analysis and digital philology. His educational background includes a PhD in Interpretation Sciences from the University of Catania with a thesis on 'The Names of the Rose,' a Master's in Digital Humanities from Ca' Foscari University, and a degree in Modern Philology with a thesis on Gadamer and Eco. He completed a three-month internship at the Cologne Centre for eHumanities (CCeH). D'AGATA's research integrates philology, lexicography, hermeneutics and digital humanities methodologies to analyze literary works by Umberto Eco, Luigi Pirandello, Giovanni Verga, and other major Italian authors. His computational studies focus on textual variants, digital annotation systems, and the relationship between traditional literary criticism and digital media. He has developed specialized expertise in XML-TEI text encoding and digital edition platforms. His publication record demonstrates a consistent focus on digital scholarly editions, particularly for works like The Name of the Rose , Il fu Mattia Pascal , and Cesare Pavese's poetry. His research shows progression from theoretical foundations of digital philology toward practical implementation of hypereditions and digital archives. Member of the board of the Association for Humanistic Computing and Digital Culture (AIUCD) since January 2024 Program Committee member for the 13th AIUCD Annual Conference (May 2024) Active participant in multiple national research projects including PRIN Paves-e and POIChILIA D'AGATA actively supervises the development of digital humanities projects including the Hyperedition of Il fu Mattia Pascal within the National Digital Edition of Pirandello's Complete Works. His research team at CINUM (Center for Humanities Computing) collaborates with Mondadori publisher on these scholarly editions. He has presented his research at over 15 international conferences between 2020-2024, demonstrating strong engagement with the digital humanities community.

Luc Segoufinمشاهده پروفایل

استاد پژوهشی

• Database theory
• Verification
• Logic in computer science
• +۳ مورد دیگر

Luc Segoufin is a Research Professor at INRIA (French National Institute for Research in Computer Science and Automation), affiliated with the Department of Computer Science at École Normale Supérieure (ENS) in Paris. He leads the VALDA research team, focusing on theoretical computer science foundations. His research spans: Database theory: Query answering, consistency, and enumeration complexity Logic and automata: Finite model theory, automata over data structures Computational complexity: Fine-grained analysis and lower bounds Formal methods: Verification and logic-based modeling His recent publications (2022–2024) concentrate on: Dichotomy theorems for query answering under constraints Constant-delay enumeration algorithms for structured data Decidability in logic fragments over trees and graphs Connections between automata, algebra, and complexity No scientific awards are mentioned in available sources. He collaborates extensively within the VALDA team and international researchers on projects involving database theory, logic, and automata. No student advising details are provided.

• Computer Networks
• Distributed Systems
• Data Mining
• +۳ مورد دیگر

Wesley W. Chu is a Professor in the Computer Science Department at the University of California, Los Angeles . He earned his B.S.E. and M.S.E. in Electrical Engineering from the University of Michigan (1960, 1961) and Ph.D. in Electrical Engineering from Stanford University (1966). His career spans roles at IBM, Bell Laboratories, and UCLA since 1969. B.S.E. (EE), University of Michigan (1960) M.S.E. (EE), University of Michigan (1961) Ph.D. (EE), Stanford University (1966) Dr. Chu's research has evolved from foundational work in computer communications , distributed databases , and real-time systems (notably statistical multiplexing and ATM network development) to modern focus areas in intelligent information systems , data mining , and medical digital libraries . His methodologies for approximate matching and query relaxation underpin systems like CoBase , KMeD , and CoXML , with applications in logistics, healthcare, and web technologies. His contributions to data security and privacy (ISP project), XML schema transformation , and medical image systems have earned recognition through multiple best paper awards and the IEEE Technical Achievement Award (2003). He has held editorial and organizational roles at major conferences including SIGCOMM, VLDB, and ER.