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

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.

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.

• Big Data Analytics
• Cloud Computing
• Data Stream Processing
• +۴ مورد دیگر

Yanlei Diao is a Professor of Computer Science at École Polytechnique (France) with a joint appointment at the University of Massachusetts Amherst. She received her PhD from UC Berkeley in 2005. Her research focuses on scalable data systems, particularly in big data analytics, cloud computing optimization, and real-time stream processing. Research Interests: Her work spans cloud infrastructure optimization (UDAO project), explainable anomaly detection in data streams (EXAD), interactive data exploration (AIDEme), genomic data analysis (GESALL), and uncertain data management (CLARO). She leads the CEDAR team at Inria/LIX focusing on cloud-scale data exploration. Awards & Honors: ERC Consolidator Grant (2017-2023) CRA-W Borg Early Career Award (2013) NSF CAREER Award (2008) Keynote speaker at ACM DEBS 2021 and SWIFT 2023 AI Forum Best Paper Award at SIGMOD 2011 ACM SIGMOD Dissertation Honorable Mention (2005) Advising & Leadership: Mentored over 20 PhD students and postdocs, currently supervising 7 researchers. Served as PVLDB PC Co-Chair (2025-2026) and ACM SIGMOD Editor-in-Chief (2014-2019). Leads multiple projects with industry partners including Alibaba Cloud.

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

Weimin Heمشاهده پروفایل

استاد

• Big Data Management
• Information Retrieval
• XML Data Management

Weimin He is a Professor in the Department of Computing and New Media Technologies at the University of Wisconsin-Stevens Point, where he has taught since 2009. As Academic Director, he initiated and developed the online Applied Computing degree-completion program. His research is recognized internationally, with publications cited at conferences like the International Conference on Information System and Artificial Intelligence. Education: Ph.D. in Computer Science, University of Texas-Arlington M.S. in Computer Science, Yunnan University, China B.S. in Computer Science, Yunnan University, China Research Focus: Professor He specializes in XML data management systems, information retrieval optimization, and scalable big data solutions, emphasizing practical applications in search engine technology and database efficiency. Publications: His 3 most recent articles (2011-2019) focus on XML query processing, visual evaluation interfaces, and Lucene-based search engines, reflecting sustained innovation in data retrieval methodologies. Professional Leadership: Senior Member, International Association of Computer Science & Information Technology Program Committee Member, International Conference on Frontiers of Information Technology (2018-present) Editorial Board, International Journal of Communications and Information Sciences (2010-present) and International Journal of Computer Theory and Engineering (2014-present) Courses Taught: Database Systems, Object-Oriented Programming, Data Structures and Algorithms, Programming Languages, Introduction to XML, and foundational computing courses.

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.

Andreas Papasalourosمشاهده پروفایل

دانشیار

• Educational Technology
• Adaptive Hypermedia
• Ontology Engineering
• +۳ مورد دیگر

Andreas Papasalouros is an Associate Professor at the Department of Mathematics, University of the Aegean. He holds a Ph.D. in Engineering from NTUA (2004), a Diploma in Electrical and Computer Engineering (2000), and a BSc in Physics (1992). His research focuses on Educational Technology , Adaptive Hypermedia , and Ontology Engineering . Education Ph.D. in Mechanics, School of Electrical and Computer Engineering, NTUA (2004) Diploma in Electrical and Computer Engineering, NTUA (2000) BSc in Physics, National and Kapodistrian University of Athens (1992) Research Interests Papasalouros's work centers on leveraging UML and Ontologies for designing Educational Software . He explores Automated Assessment systems, Accessibility solutions (e.g., TeX-to-Braille), and Mobile Learning applications. His studies often intersect with Collaborative Learning and Semantic Web technologies. Key Contributions His publications span Adaptive Hypermedia , Ontology-Driven Learning , and Accessibility Tools . Notable works include Ob-AHEM (2002), Grid4All Ontology (2008), and TeX-to-Braille Transcribing (2017). Recent trends emphasize Game-Based Learning and Query Log Analysis for ontology creation. Courses Taught New Technologies in Education (3rd semester) Introduction to Computer Science (2nd semester) Advanced Programming Languages (6th semester) Postgraduate Course in New Technologies in Education

• Database Systems
• Semantic Web
• Graph Databases
• +۳ مورد دیگر

Mirian HALFELD-FERRARI is a Professor at the University of Orleans , where she serves as Director of the Pamda Laboratory, member of the Sustainable Development Working Group, and International Relations Manager. Her research focuses on database systems, semantic web technologies, and graph data management. Key contributions include graph rewriting systems , RDF database evolution , and data consistency frameworks . Recent work explores clinical text-to-knowledge graphs , XML schema evolution , and context-driven urban data analysis . She collaborates with researchers across Europe on projects involving graph data science , service composition refinement , and semantic web sanitization . Her leadership roles include organizing workshops at conferences such as ADBIS and serving on editorial boards for international journals.

Dario Colazzoمشاهده پروفایل

استاد

• Databases
• Programming Languages
• Cloud Computing
• +۷ مورد دیگر

Dario Colazzo is a Professor at Université Paris-Dauphine, affiliated with the LAMSADE laboratory. His research focuses on database systems and programming languages, particularly in cloud databases, type systems for semi-structured data, and query processing optimizations. He has contributed extensively to XML and XQuery research, including parallel query execution and static analysis techniques. His teaching includes courses on programming (Java), UML, database systems, and semantic web technologies at both undergraduate and graduate levels (in French). Key research interests span XML/XQuery optimization, JSON processing, distributed systems, and type systems for safe and efficient data handling. His work emphasizes scalable cloud-based solutions and efficient query execution models. Publications highlight advancements in parallel query processing (e.g., PAXQuery), type-based optimizations for XML updates, and semantic graph analytics. He has collaborated with institutions like EDBT, WWW, and VLDB conferences.

Nikolaus Augstenمشاهده پروفایل

استاد

• Database Systems
• Data-Centric Applications
• Approximate Matching
• +۴ مورد دیگر

Prof. Nikolaus Augsten is a Professor and Head of the Database Research Group at the Department of Computer Science, University of Salzburg. He previously held positions at the Free University of Bozen-Bolzano, Italy, and visited Technische Universität München (TUM) and Washington State University. His research focuses on data-centric applications, approximate matching techniques for complex data structures, and efficient index structures for similarity search. Education: PhD from Aalborg University (Denmark, 2008), supervised by Prof. Michael Böhlen. Master's from Adam Mickiewicz University (Poland). Research interests include hierarchical data similarity (e.g., tree structures), scalable algorithms for tree edit distance, and applications in e-government and XML search engines. His work emphasizes practical solutions for tree-to-tree matching and similarity joins. Selected Awards: ICDE 2010 Best Paper Award for TASM: Top-k Approximate Subtree Matching Advising includes PhD student Mateusz Pawlik (thesis: Efficient Computation of the Tree Edit Distance). His group develops open-source tools like the RTED algorithm and approximate tree matching libraries. Labs/Teams: Database Research Group at University of Salzburg, collaborating on projects like Tree Edit Distance reference implementations and set similarity join algorithms.

David Wai-lok Cheungمشاهده پروفایل

استاد

• Database Systems
• Data Mining
• E-commerce Technologies
• +۵ مورد دیگر

Professor David Wai-lok Cheung is a Professor in the Department of Computer Science at the University of Hong Kong (HKU) and Director of the Center for E-commerce Infrastructure Development (CECID). He holds a BSc in Mathematics from the Chinese University of Hong Kong and MSc/PhD in Computer Science from Simon Fraser University, Canada. His research focuses on database systems, data mining, e-commerce technologies, and secure computation. Key contributions include pioneering work on privacy-preserving data mining, XML schema design, and e-commerce infrastructure development. He has led numerous prestigious grants totaling over HK$60M and developed widely adopted open-source tools like the ebXML gateway. Professor Cheung has received awards such as the HKU Outstanding Researcher Award (1999) and the Distinguished Contribution Award (2009 PAKDD). He actively contributes to academia through leadership roles in conferences like PAKDD and CIKM. His research spans secure computation, data interoperability, and bioinformatics, with over 150 publications in top venues like SIGMOD, VLDB, and KDD. **Grants & Funding**: Highlighted grants include HK$6.6M for eLogistics Appliance (2007-2008) and HK$9.198M for a service-oriented e-transaction platform (2006-2008). **Publications**: Over 150 papers in areas like privacy-preserving data mining, XML query processing, and spatiotemporal data analysis. **Service**: Member of RGC Engineering Panel, Hong Kong Deposit Protection Scheme board, and Certification Board for IT Professional Certification.

Werner Nuttمشاهده پروفایل

استاد

• Data Management
• Knowledge Representation
• Intelligent Information Extraction
• +۳ مورد دیگر

Werner Nutt is a Professor at the Free University of Bozen-Bolzano , Italy, affiliated with the Faculty of Computer Science since 2005. He previously held academic positions as a Reader at Heriot-Watt University (2000-2005), Visiting Professor at Hebrew University of Jerusalem, and Research Scientist at DFKI (1992-2000). Current Role: Professor, Free University of Bozen-Bolzano Past Roles: Reader (Heriot-Watt), Visiting Professor (Hebrew University), Research Scientist (DFKI) Research Interests focus on Data Management , Knowledge Representation , and Intelligent Information Extraction , with emphasis on modeling Construction Processes and ensuring Data Quality . His work bridges Semantic Web technologies with Business Process Management , notably through the COCkPiT project (2017-present) for construction process optimization. Key Contributions include foundational work on Query Completeness in databases, SPARQL Reasoning , and Semantic Diagnostics . He has published extensively in venues like ISWC , BPM , and CIKM , with an h-index of 35 on Google Scholar. His 154+ publications span topics from Probabilistic XML to Construction Process Modeling .