جستجوی استاد راهنمای دانشگاهی

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

• Information Systems
• E-business
• E-government
• +۷ مورد دیگر

Professor Angelika Kokkinaki is Dean of the School of Business and MBA Director at the University of Nicosia. With a PhD in Computer Science from the University of Louisiana at Lafayette (1995), a M.Sc. from Northeastern University (1991), and a Diploma from Patras University (1987), her academic credentials are rooted in Information Systems and Computer Science. PhD in Computer Science (1995), University of Louisiana at Lafayette M.Sc. in Computer Science (1991), Northeastern University Diploma in Computer Engineering and Informatics (1987), University of Patras Her research spans e-business, e-government, e-learning, and smart city technologies, focusing on semantic search engines, distributed systems, and circular economy applications. Recent work emphasizes Smart Cities through projects like OpenDCO, CRISIS, and DEVOPS. Key article trends include smart city resilience, AI applications in education, e-learning adoption, marine sensor networks, and open data workforce development. Her scholarly output aligns with 6 UN Sustainable Development Goals , particularly in education, sustainability, and urban innovation. Scientific Awards : Innovation award by the Republic of Cyprus (for quality management system) She leads over 30 EU/national projects and contributes to the Center of Equality, Diversity, and Inclusion (CEDI) and OECD policy monitoring. Her work integrates Petri Net modeling , software agent systems, and 100+ publications in information systems.

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.

• Software Verification
• Formal Methods
• Program Synthesis
• +۴ مورد دیگر

Madhusudan Parthasarathy is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign, College of Engineering. His research focuses on software verification, formal methods, and logic in computer science, with significant contributions to trustworthy AI systems, program synthesis, and security. Ph.D. in Theoretical Computer Science (2002), Institute of Mathematical Sciences, University of Madras Research interests include automating software verification, building correct-by-design systems, and exploring synergies between machine learning and program synthesis. He pioneered visibly pushdown languages , impacting XML processing and program verification. His tools like VEX and Strand advanced security and heap reasoning. Recent articles focus on blockchain verification, timed automata, and learning logics from data. His work has been widely cited, with the visibly pushdown language paper alone generating over 940 scholarly entries. Best Paper Award, 19th USENIX Security Symposium (2010) He has advised numerous students and postdocs, with former advisees now at institutions like Purdue University and Google. His outreach initiatives include the ConTraIL privacy-preserving contact tracing project and the MASSIVELY EMPOWERED CLASSROOMS MOOC platform for Indian undergraduates. He teaches courses like CS 521: Advanced Topics in Programming Systems and CS 474: Logic in Computer Science , while actively serving on program committees for top-tier conferences such as POPL and PLDI.

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.

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.

Jeremy Fei Wangمشاهده پروفایل

استاد

• Artificial Intelligence
• AI-Driven Recommendation Systems
• E-Commerce
• +۴ مورد دیگر

Jeremy Fei Wang is a Professor of Computer Information Systems at Flagler College within the School of Liberal Arts and Sciences and Department of Math & Technology, also serving as Director of the China Program. He leverages extensive industry experience from senior consulting roles at Cap Gemini Ernst & Young and Meritage Technologies, where he collaborated with global clients including Procter & Gamble and General Electric on enterprise IT solutions. Dr. Wang's academic credentials include: Ph.D. in Business Information Technology from Virginia Tech (2022) M.B.A. with MIS concentration from Ohio University (1998) B.A. in Economics from Marietta College (1996) His research centers on artificial intelligence applications in business contexts, with particular expertise in AI-driven recommendation systems, e-commerce frameworks, and Web 2.0/mobile platform development. Dr. Wang investigates user trust in AI agents through affordance theory, examines AI's impact on customer relationship management, and explores localization strategies for digital platforms in international markets. His work bridges theoretical innovation with practical business implementations across consumer products, finance, and healthcare sectors. Analysis of Dr. Wang's publication history (2010-2023) reveals a consistent trajectory from foundational Web 2.0 and e-commerce studies toward cutting-edge AI research, particularly in recommendation agent design. His recent work demonstrates increasing focus on China's digital ecosystem and dual-process models for user behavior, while maintaining strong connections to enterprise systems and mobile application development. The integration of affordance theory across his publications provides a unifying framework for understanding human-AI interaction. Professional recognition includes: Honored Guest Professor appointments at three Chinese universities Cap Gemini Ernst & Young's 'Consultant of the Month' (awarded twice) Cap Gemini Ernst & Young's 'Ace Award' (top 3% globally) Phi Kappa Phi honor society membership Beta Gamma Sigma and Omicron Delta Epsilon distinctions As an educator, Dr. Wang developed and teaches courses spanning business analytics, ERP systems, mobile application development, and information security. His China Program leadership involves strategic partnership development, recruitment innovation, and family support systems for Chinese students. His industry background directly informs classroom practice through real-world case studies and hands-on technical training.

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