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

Thomas Stäckerمشاهده پروفایل

استاد

• Digital Humanities
• Library Science
• Digitization of Early Printed Books
• +۷ مورد دیگر

Prof. Dr. Thomas Stäcker is a Part-time Professor for Digital Humanities at the Department of Information Sciences, University of Applied Sciences Potsdam. He serves as Director of the University and State Library Darmstadt (since 2017) and Deputy Director of the Herzog August Library Wolfenbüttel (since 2009). His career spans roles as a librarian at Herzog August Bibliothek (since 1998) and Johannes a Lasco Library in Emden (1997-1998). Education: Master's degree in History of Philosophy and Latin (1991), doctorate (1994) from TU Braunschweig, University of Essex, and University of Osnabrück Research: Digital Humanities, digitization of early printed books, XML/TEI encoding, OCR technologies, and cultural heritage preservation Leadership: Key roles in major digitization projects (e.g., VD17, Dünnhaupt Digital) and digital library development His work bridges library science with scholarly research, emphasizing open access, digital editions, and metadata standards. He has authored/co-authored numerous monographs, including the 2015 'Grenzen und Möglichkeiten der Digital Humanities' and the 2016 Festschrift chapter on open access. Stäcker co-edited digital editions like Christoph Heidmann's Oratio de Bibliotheca Julia (2013) and maintained active engagement through blogs like 'dhd-blog.org' (2015 post on humanities research data).

• Databases
• Data Management
• Provenance Analysis
• +۶ مورد دیگر

Val Tannen is a Professor at the University of Pennsylvania, specializing in database systems, provenance analysis, and programming languages. His research focuses on data management, query languages, and systems like DBSP and ORCHESTRA. Collaborations include work with co-authors such as Zachary Ives, Susan Davidson, and Todd Green. Key research interests include provenance for databases, incremental view maintenance, and data integration. His work bridges theoretical foundations and practical applications in systems like DBSP for stream processing and ORCHESTRA for collaborative data sharing. Publications span provenance frameworks, query optimization, and distributed systems. While no awards are explicitly listed, his contributions to database theory and systems are widely recognized.

• Database Systems
• Data Management
• Graph Databases
• +۵ مورد دیگر

Alin Deutsch is a Professor of Computer Science at the University of California, San Diego (UCSD), specializing in database systems, graph databases, and formal verification. He has contributed significantly to research areas including query optimization, data integration, and privacy-preserving systems. His work spans theoretical foundations and practical implementations, such as the Linked Data Benchmark Council (LDBC) and the TigerGraph database system. He co-authored over 100 papers and has been involved in major conferences like SIGMOD and VLDB. Research interests include graph query processing, parallel computing, data-centric business processes, and automated system verification. Recent work focuses on scalable hybrid analytics and graph databases. Deutsch is also active in database education, co-authoring a paper on UCSD's database curriculum. He has led projects in privacy-aware systems, such as policy-aware location-based services, and contributed to tools like CLIDE for interactive query formulation in service-oriented architectures. His collaborations involve industry partners like TigerGraph and academic institutions globally.

• 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.

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.

• Automata Theory
• Formal Methods
• Tree Automata
• +۴ مورد دیگر

Christof Löding is an Adjunct Professor at the Department of Logic and Theory of Discrete Systems (Computer Science 7) at RWTH Aachen University. His research focuses on automata theory, formal verification, and logical foundations of computer science, with significant contributions to Büchi automata, tree automata, and stochastic games. Academic affiliation: RWTH Aachen University, Germany Research areas: Automata theory, Formal methods, Game theory, Logic in computer science Contact: loeding@informatik.rwth-aachen.de His recent work spans deterministic parity automata construction, finite-valued transducers, and algorithmic solutions for infinite games. Publications emphasize theoretical foundations and practical applications in program verification and XML processing. Articles analyze automata learning, uniformization problems, and lookahead degrees in infinite games, showing interconnections between automata theory and formal verification.

• Computer Networking
• Software-Defined Networking (SDN)
• Distributed Systems
• +۳ مورد دیگر

Mario Baldi is a researcher affiliated with the Polytechnic University of Turin, Italy , with significant contributions to computer networking , distributed systems , and software-defined networking . Key research themes: network function virtualization , programmable dataplanes , time-driven scheduling , and traffic analysis . Recent work focuses on RDMA-enabled compute offloading (2023) and DNN inference in network data planes (2023). Longstanding expertise in multicast routing , voice/data packet efficiency , and XML-based protocol parsing (2000–2006). Collaboration network includes Yoram Ofek , Fulvio Risso , and Han Hee Song , with 99+ publications spanning 1994–2023.

• Database Systems
• Integration of heterogeneous databases
• Data quality and data integrity
• +۶ مورد دیگر

Thomas Kudraß serves as Professor for Database Systems at the Faculty of Computer Science, Mathematics and Natural Sciences (IMN) at Leipzig University of Applied Sciences (HTWK Leipzig). With over 25 years of academic and industry experience, he teaches courses including Database Basics, Database Application Programming, Data Warehousing, and Big Data Technologies. His leadership roles include Internship Coordinator for Computer Science since 2001, Member of the Academic Senate since 2011, and Contact person for the IMN faculty alumni association since 2005. Dr. Kudraß earned his Dipl.-Ing. in Computer Science from Technical University of Dresden (1985-1990) and completed his doctorate at Darmstadt University of Technology (1992-1997), where his dissertation received the prestigious Jos Schepens Memorial Award. Prior to academia, he worked as an Information Systems Architect at UBS AG Zurich and Database Specialist at Swiss Bank Corporation Basel. His research spans database technologies with focus on heterogeneous database integration, data quality, data privacy, and modern database concepts. Recent work explores cloud-native billing applications for 5G, NoSQL databases, and privacy-preserving record linkage techniques. His publication record shows continuous evolution from traditional database systems to contemporary challenges in big data and distributed systems. Jos Schepens Memorial Award for doctoral dissertation (1997) Active participation in German Informatics Society (GI) specialist groups Organizer of multiple database-related workshops and conferences Professor Kudraß has significantly contributed to academic governance as E-Learning Officer (2000-02), Faculty Council member (2009-12), and liaison lecturer for the German Society for Computer Science (2001-14). He has coordinated numerous student projects and served on program committees for major conferences including INFORMATIK 2017 and BTW series.

• Database Systems
• Data Management
• Data Mining
• +۴ مورد دیگر

Michael Grossniklaus is a Professor at the University of Konstanz, Germany, specializing in database systems, data management, and information systems. His research focuses on query optimization, social media data streams, and object-oriented databases. He has contributed to the development of C-SPARQL for RDF stream processing and frameworks for adaptive data management. Grossniklaus has collaborated extensively with researchers in areas such as trajectory data modeling, cloud database optimization, and context-aware systems. His work emphasizes practical applications in education technology, mobile computing, and semantic web technologies. Affiliation: University of Konstanz, Germany Key Research Areas: Database Systems, Data Mining, Social Media Analysis, Query Optimization Notable Projects: C-SPARQL, Sahara (cloud database optimization), LPLM (neural cardinality estimation) Recent publications highlight advancements in neural models for cardinality estimation, trajectory data models, and memory optimization in cloud databases. His interdisciplinary approach bridges theoretical foundations with real-world applications in education, social media, and mobile systems.

David Philipp Eibeckمشاهده پروفایل

پژوهشگر

• Ancient History
• Epigraphy
• Numismatics
• +۵ مورد دیگر

David Philipp Eibeck is a Researcher in the Department of Ancient History at Johannes Gutenberg University Mainz since April 2023, while also serving as a project collaborator on the DFG-funded Editing Tools for Digital Epigraphy (EDEp) project. He holds an MA in History (2022) with specialization in Ancient History from the University of Stuttgart, where he previously taught epigraphy, archaeology, and Latin. His research focuses on Roman Republic political dynamics Cultural identity in Republican Italy Digital epigraphy and numismatic analysis Colonization processes in the Western Mediterranean His recent publications highlight interdisciplinary approaches combining epigraphic records with digital tools and numismatic evidence. Notably, he received two prestigious awards for his MA thesis: Bürkert Universitätspreis (2023) Wilhelm Zimmermann-Preis (2023) As an active member of the international Epigraphy.info research community—including roles on its Steering Committee (2023–2025) and Communication & Outreach Working Group—he contributes to epigraphic education through initiatives like the Saxa Loquuntur summer school and collaborative inscriptional editions.

Anca Muschollمشاهده پروفایل

استاد

• Foundations of Formal Verification
• Automata Theory
• Logics and Games
• +۲ مورد دیگر

Anca Muscholl is a Professor at the University of Bordeaux and holds the Hans Fischer Senior Fellowship at the Technical University of Munich (TUM-IAS). She leads the Formal Methods group at the Bordeaux Laboratory for Computer Science Research (LABRI). Her research focuses on foundational aspects of formal verification, automata theory, logics, concurrent systems, and database foundations. She has held academic positions at the University of Paris 7 and has been recognized with prestigious awards, including the Silver Medal from CNRS (2010) and membership in the Institut Universitaire de France (2007–2012). Education: Master’s from Technical University of Munich (TUM), PhD from University of Stuttgart (1994), and habilitation at the same institution. She has contributed to editorial roles for journals like Information Processing Letters and Discrete Mathematics & Theoretical Computer Science , and serves on the council of the European Association for Theoretical Computer Science (EATCS). Her work emphasizes automated controller synthesis for distributed systems and formal methods in concurrency. Notable achievements include advancements in distributed synthesis, temporal logic, and verification of reactive systems. She actively participates in organizing major conferences like ICALP and steering committees for theoretical computer science initiatives. Awards: Silver Medal (CNRS 2010), Junior Member of IUF (2007–2012), Best Paper Awards (PODS 2006, ETAPS 2001). Professional Roles: Editor for TheoretiCS , member of EATCS council, and leader of the Formal Methods group at LABRI. Research Themes: Formal verification, automata theory, concurrency, distributed systems, database logics.

• Multimedia publishing
• Communication design
• Interface Design
• +۷ مورد دیگر

Professor Ulrich Nikolaus serves as a Professor of Multimedia Publishing and Communication Design at the Faculty of Computer Science and Media at Leipzig University of Applied Sciences (HTWK Leipzig). He has held this position since his appointment in December 2002 and currently serves as Chairman of the Examination Board for technical degree programs within the faculty. His academic journey began with computer science studies at Saarland University in 1988, followed by a degree in computer science in 1996, and culminated in his doctorate on 'Multimedia Learning in Companies' in October 2001. Nikolaus's research spans multimedia publishing, interface design, electronic publishing, and digital accessibility. His work emphasizes creating inclusive digital experiences, particularly through his longstanding collaboration with the German Central Library for the Blind (since 2011). He has directed significant projects including the redesign of the Egyptian Museum website in collaboration with Leipzig University, where students under his supervision developed design, content, and technical concepts. His scholarly contributions focus on advancing accessible digital publications, voice user interfaces, eye-tracking analyses for media research, and cross-media publishing workflows. Nikolaus has been instrumental in developing digital teaching strategies at HTWK Leipzig, serving on the 'Steering Committee for Inclusion' since 2018 and as a founding member of the Institute for Digital Teaching and Learning since 2019. Among his notable recognitions are membership in the Accessibility in Education Working Group of the IAAP-DACH since 2022, and his role as co-organizer of Leipzig's first World Usability Day in 2017. He has also contributed to international standards through his participation in the DAISY 2009 International Technical Conference. Nikolaus teaches across multiple courses including Media Production, Interface Design, Electronic Publishing, and Media Management at the Master's level. His educational philosophy integrates theoretical knowledge with practical application, evident in his supervision of student projects that address real-world challenges in digital media and accessibility.

Dietmar Seipelمشاهده پروفایل

استاد

• Logic Programming
• Deductive Databases
• Knowledge Engineering
• +۵ مورد دیگر

Dietmar Seipel is a Professor at the University of Würzburg, affiliated with the Department of Computer Science within the Faculty of Mathematics and Computer Science. He has held this position since November 1995, establishing a distinguished academic career spanning over 25 years with significant contributions to logic-based computer science. Professor Seipel's research focuses on Logic Programming and Deductive Databases, with substantial expertise in Knowledge Engineering and Artificial Intelligence. His scholarly work bridges theoretical foundations with practical applications, particularly in rule-based systems, knowledge representation, and declarative programming paradigms. He has consistently advanced the field through both theoretical developments and practical implementations, creating tools that enable more effective knowledge management and reasoning systems. His publication trajectory demonstrates a clear evolution from foundational work in disjunctive logic programming to contemporary applications in knowledge representation and semantic technologies. Recent research shows continued innovation in integrating logic programming with modern programming languages and systems, including Python and JavaScript implementations. His work spans theoretical contributions to practical tool development, with applications across diverse domains including space systems, medical informatics, and business process management. Professor Seipel has made extensive contributions to the academic literature, with publications appearing consistently from the 1980s through to the present. His work has influenced both theoretical developments in logic programming and practical applications in knowledge-based systems. He has been actively involved in academic community building through conference organization, particularly for events related to declarative programming and knowledge management.

David N. Jansenمشاهده پروفایل

دانشیار

• Computer Science
• Formal Methods
• Model Checking
• +۵ مورد دیگر

David N. Jansen is an Associate Professor at the Institute of Software , Chinese Academy of Sciences , Beijing, China. Previously, he held an Assistant Professor position at Radboud University Nijmegen (2007–2016) and a Postdoc role at RWTH Aachen University (2007). His work bridges academic research, software development, and international collaboration. Education : PhD in Computer Science from University of Twente (1998–2003); Diploma in Mathematics (with minors in Computer Science and Comparative Linguistics) from University of Bern (1990–1997); Certificate of Proficiency in English from University of Cambridge (2000). Research interests include stochastic model checking , UML extensions for probabilistic systems , Markov reward models , and formal verification of embedded systems . He has contributed to tools like MRMC and TCM , focusing on efficient data structures and lumping techniques for system validation. Publication trends show expertise in formal methods , probabilistic verification , and equivalence relations . His work spans automated analysis of probabilistic programs , stuttering equivalence algorithms , and applications to real-world systems like the European Train Control System. Leadership and Service : He has served on doctoral advisory boards (SIKS), supervised student projects (e.g., XML/XMI interface for TCM), and volunteered in Christian organizations. His technical skills include C, C++, UML, model checking, and database systems like MySQL.

Kerstin Schneiderمشاهده پروفایل

استاد

• Databases
• Data Engineering
• Workflow Management Systems
• +۴ مورد دیگر

Kerstin Schneider is a full-time Professor for Databases at Harz University of Applied Sciences since 2007. She operates within the Faculty of Automation and Informatics , focusing on database theory, data engineering, and AI-driven educational technology solutions. Current research emphasizes adaptive e-learning platforms (ALEA system) Interdisciplinary projects in AI Engineering (AiEng 2021-2025) Custom database applications for SMEs (TEA project) Her research interests span: Reliable workflow execution in distributed systems Multimedia information systems Semantic data recommendations Temporal XML database models Recent publications (2021–2017) highlight trends in: Academic database foundations Intelligent e-learning architectures Life science data analytics Historical data visualization Scientific Awards : 2004 Research and Innovation Award of the Rhine-Neckar Triangle Foundation She contributes to academic governance through roles in: Steering Committee for Fundamentals of Databases Examination Board AI Engineering Senate Deputy at Harz University Equal Opportunities Officer for AI Department Key collaborative projects include: APRICOTS (CORBA-based workflow systems) GEIST (Intelligent History Information Systems) Team projects with international universities Open Educational Resources (OER) development