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

Maya Ramanathمشاهده پروفایل

دانشیار

• Database Systems
• Information Retrieval
• Semantic Web Data Management
• +۳ مورد دیگر

Maya Ramanath is an Associate Professor in the Department of Computer Science and Engineering at Indian Institute of Technology (IIT) Delhi. She joined IIT Delhi in 2011 after a postdoctoral research stint at the Max-Planck Institute for Informatics in Germany. Her research interests focus on database systems, information retrieval, semantic web technologies, and knowledge graph construction and applications. Education: PhD in Computer Science, Indian Institute of Science, Bangalore M.Sc.(Engg.) in Computer Science, Indian Institute of Science, Bangalore B.E. in Computer Science and Engineering, Bangalore University, Bangalore Her recent work emphasizes efficient query processing over large-scale graphs, knowledge graph applications, and natural language interfaces for semantic data. Notable contributions include algorithms for reachability approximation in web-scale graphs, speculative query planning for knowledge graphs, and exploratory querying techniques. She has collaborated extensively on projects like NAGA, ESTHETE, and KlusTree, advancing the state of the art in graph-based data management and semantic search. Publications span conferences such as ICDE, ECIR, EDBT, and VLDB, reflecting a strong focus on database systems, graph algorithms, and semantic web applications. Her work bridges theoretical foundations with practical implementations, addressing scalability and efficiency challenges in modern data management systems. Research and advising activities include supervision of projects on distributed graph processing, query optimization, and knowledge representation. She has contributed to open-source tools like LegoDB and StatiX, and her lab focuses on interdisciplinary approaches to data-centric AI.

Josef Urbanمشاهده پروفایل

پژوهشگر

• Automated Reasoning
• Machine Learning
• Theorem Proving
• +۵ مورد دیگر

Josef Urban is a leading researcher at the Czech Institute of Informatics, Robotics and Cybernetics (CIIRC) , Czech Technical University in Prague, heading the ERC Consolidator project AI4REASON . Previously, he held positions as a postdoc at Radboud University Nijmegen and assistant professor at Charles University in Prague, where he co-founded the Prague Automated Reasoning Group. Education Ph.D. in Computer Science (2004), Charles University, Prague M.S. in Mathematics (1998), Charles University, Prague B.S. in Economics (1995), Charles University, Prague Research Interests Urban specializes in automated reasoning over large formalized knowledge bases, combining deductive theorem proving and inductive machine learning . His work aims to realize "strong AI" through formalized mathematics, particularly using systems like Mizar and the AI/TP Challenges . He advocates for computer-verifiable mathematics as a foundation for AI progress. Article Trends Urban's publications focus on integrating machine learning with automated theorem proving in systems like ENIGMA and BliStr . Key trends include semantic guidance for ATPs, premise selection in formal libraries, and automated proof compression via concept invention. Scientific Contributions Head of ERC Consolidator project AI4REASON Marie-Curie Fellow at University of Miami Co-founder of Prague Automated Reasoning Group Editor for Formalized Mathematics Advising and Grants Urban has advised numerous PhD and MSc students including Daniel Kuehlwein, Krystof Hoder, and Yutaka Nagashima. He has secured grants like the ERC Consolidator Grant and Marie-Curie Fellowship . Labs and Collaborations Urban leads the AI4REASON team at CIIRC and collaborates with the Foundations Group at Radboud University. He contributes to projects like Mizar TWiki and XML-based API for Mizar , aiming to create a semantic AI ecosystem for formal knowledge.

Giansalvatore Meccaمشاهده پروفایل

استاد

• Data Quality
• Data Analytics
• Data Integration
• +۷ مورد دیگر

Giansalvatore (Gianni) Mecca is a full professor at the Department of Mathematics, Computer Science and Economics at the University of Basilicata. Born in Potenza, he earned his Computer Engineering degree and PhD from Sapienza University of Rome under Prof. Paolo Atzeni. He joined the University of Basilicata in 1995, initially as a research associate and later as an associate professor. He has held visiting positions at the University of Toronto, Qatar Computing Research Institute, Arizona State University, and Roma Tre University. His research focuses on data quality, analytics, integration, and information extraction, alongside cooperative database systems. He teaches courses in computer programming, databases, and web development for Computer Science and Engineering programs. Key initiatives include the Diogene project, which innovates teaching methodologies in procedural programming and database systems, emphasizing layered instruction and dual-language (C++/FORTRAN) approaches. Diogene’s framework tools like pinco (Web MVC) and PdD (questionnaire generator) reflect his contributions to educational software. His work integrates practical coding examples with layered theoretical explanations, emphasizing algorithmic clarity and cross-language comparisons. Publications include methodological papers on educational systems and teaching practices, such as the 2006 Diogene Working Report on certification frameworks. His teaching materials span procedural programming, XML, and object-oriented design, distributed under Creative Commons licenses.

Gabriel Wainerمشاهده پروفایل

استاد

• Modelling and Simulation Methodologies
• Discrete Event Systems
• Real-Time Modelling
• +۷ مورد دیگر

Dr. Gabriel Wainer is a Professor in the Department of Systems and Computer Engineering at Carleton University's Faculty of Engineering and Design. He leads the Advanced Real-Time Simulation Lab and specializes in modeling and simulation methodologies, particularly focusing on discrete event systems, real-time modeling, cellular automata, and DEVS formalism. Research Interests: Discrete event systems, DEVS formalism, cellular automata, real-time simulation, IoT applications, and parallel/distributed simulation Affiliation: Carleton University Recent publications highlight his work in advanced simulation frameworks, energy-efficient 5G systems using deep reinforcement learning, and pandemic modeling with cellular automata. His lab develops tools like PROMETHEUS and Devsmap for standardized DEVS model representation, while also exploring applications in wireless communication, building energy systems, and behavioral epidemiology.

CHAN Chee Yongمشاهده پروفایل

دانشیار

• Database Systems
• Query Processing
• Query Optimization
• +۳ مورد دیگر

CHAN Chee Yong is an Associate Professor in the Department of Computer Science at the School of Computing, National University of Singapore (NUS) . He earned his Ph.D. in Computer Science from the University of Wisconsin-Madison and holds B.Sc. and M.Sc. degrees in Computer Science from NUS. Education : Ph.D., Computer Science, University of Wisconsin-Madison M.Sc., Computer Science, NUS B.Sc., Computer Science (1st Class Honours), NUS His research focuses on database systems , emphasizing query processing and optimization , transaction management , and database usability . He has contributed extensively to XML data dissemination, skyline computation, and multicore database performance optimization, with publications in venues like ACM SIGMOD, VLDB, and IEEE ICDE. Recent publications show increasing emphasis on join optimization , transaction healing , and spatial-keyword queries , reflecting trends in multicore systems, complex query processing, and XML data management. His work combines theoretical rigor with practical applications in distributed databases and data engineering. Notable professional roles include Associate Editor for the VLDB Journal , ACM SIGMOD Record , and IEEE Transactions on Knowledge and Data Engineering . He has served on program committees for major conferences like SIGMOD, ICDE, and VLDB across 2003-2026. Dr. Chan has supervised 9 PhD students and 10 M.Sc./M.Comp. students , including WANG TaiNing (2021), LI Meiying (2020), and TRAN Quoc Trung (2011). His advisees have been placed in institutions like the Institute for Infocomm Research and Huawei Shannon Lab.

Victor Vianuمشاهده پروفایل

استاد

• Computational Logic
• Database Systems
• Database Theory
• +۴ مورد دیگر

Victor Vianu is a Professor of Computer Science and Engineering at the University of California, San Diego and holds the INRIA International Chair at INRIA-Saclay in Paris. He has maintained continuous faculty status at UC San Diego since 1983 while developing extensive international collaborations, particularly with French research institutions including INRIA, ENST-Paris, ENS-Paris, and the University of Paris. His academic credentials include a Ph.D. in Computer Science from the University of Southern California (1983) and undergraduate studies in Mathematics and Informatics at the University of Bucharest (1974-1977). Professor Vianu's research spans computational logic, database systems and theory, and automatic verification. His work uniquely bridges theoretical foundations with practical applications in XML processing, workflow systems, and data-driven applications. He has made seminal contributions to understanding the theoretical underpinnings of database query languages and their expressive power, particularly in the context of XML technologies and workflow systems. His research demonstrates a consistent trajectory from theoretical computer science to practical database systems applications. His publication record reveals significant contributions to database theory spanning over three decades, with particular emphasis on XML technologies, workflow systems, and formal methods for data-driven applications. His work shows a clear evolution from foundational theoretical work to practical applications in business processes and web technologies. INRIA International Chair (2013) Fellow of the American Association for the Advancement of Science (AAAS) (2013) ACM PODS Alberto O. Mendelzon Test-of-Time Award (2010) Fellow of the Association for Computing Machinery (ACM) (2006) Professor Vianu has held significant leadership roles including Editor-in-Chief of the prestigious Journal of the ACM, numerous program committee chair positions for major database conferences (PODS, ICDT, ASIAN), and General Chair for ACM SIGMOD conferences. He has served on the executive committees of SIGMOD (1998-2000) and PODS (1993-2004), and was a member of the ICDT Council (1997-2007), demonstrating sustained influence in the theoretical database community. His extensive invited talks at major conferences including College de France, ACM PODS, and International Conference on Database Theory highlight his international recognition.

Murali Maniمشاهده پروفایل

استاد

• Database Systems
• Data Provenance
• Generative AI
• +۱۲ مورد دیگر

Murali Mani is a Professor in the Department of Computer Science, Engineering, and Physics at the College of Innovation and Technology, University of Michigan-Flint. He is actively involved in teaching courses such as Database Design (CSC 384, CSC 584) and Independent Graduate Study in Computer Science (CSC 591), and serves as Principal Investigator on multiple research grants focused on computing education and data science. His research interests span database systems, data provenance, generative AI for data augmentation, computing education, and the societal impact of technology . He has developed educational tools including epidemiology calculators and market basket analysis modules to support interdisciplinary learning. His work emphasizes integrating computing skills across disciplines such as health sciences and management. The 15 most recent scholarly contributions reflect a strong focus on data management, AI-augmented data curation, educational technology, and the cognitive aspects of learning programming. These publications appear in venues such as VLDB, IEEE FIE, and ACM conferences, with several under review or in preparation for top-tier journals like Communications of the ACM and the VLDB Journal. Scientific Awards: No awards explicitly mentioned in the provided text. Advising and Grants: Murali Mani actively mentors students through independent graduate studies and collaborative research projects. He has secured funding from the National Science Foundation (SGER grant on provenance metadata) and internal university sources, including the CIT/CHS Joint Grant and the Office of Research at UM-Flint, supporting projects on civic literacy, computational skills integration, and AI for social science data archiving. Labs and Teams: While no formal lab name is mentioned, Murali Mani leads a research group focused on data systems and computing education, collaborating with colleagues across departments and institutions. He contributes to initiatives such as the Michigan Institute for Data & AI in Society (MIDAS) and the Academic Data Science Alliance (ADSA), and has presented at conferences including IASSIST, FIE, and ICCTAC.

Marina Buzzoniمشاهده پروفایل

استاد

• Germanic Philology
• Historical Linguistics
• Digital Humanities
• +۳ مورد دیگر

Marina Buzzoni is a Full Professor at Ca' Foscari University of Venice, affiliated with the Department of Linguistics and Comparative Cultural Studies. She serves as President of the Council of the University Library System and Rector's Delegate. Her research focuses on Germanic philology, historical linguistics, and digital humanities, with expertise in textual criticism and cultural heritage preservation. Buzzoni leads projects such as the digital edition of the Edictum Rothari and the Marco Polo manuscripts. She contributes to editorial boards for journals like Filologie medievali e moderne and the Handbook of Stemmatology . Her teaching includes courses on Germanic philology, historical linguistics, and digital tools for textual analysis. Recent publications (2024–2025) highlight work on Longobard legal terminology, digital critical editions, and cultural heritage projects. Buzzoni collaborates with institutions like the Swiss National Science Foundation and the European Open Science Cloud (EOSC). She has secured funding for initiatives such as the ATLAS of Italian Digital Humanities (PRIN 2022) and CHANGES-CREST (EU PNRR). Grants: Over 20 projects, including PRIN-funded ALIM (2013–2019) and PNRR-backed CHANGES (2022–2025). Labs/Teams: Research Institute for Digital and Cultural Heritage, co-leading digital philology and computational linguistics initiatives.

• Data Science
• Bioinformatics
• Open Science
• +۴ مورد دیگر

Philippe Rocca-Serra is a Researcher at the Oxford e-Research Centre (OeRC), University of Oxford, and an Associate Member of the Engineering Science Department. Affiliated with Kellogg College, his work focuses on advancing open science through FAIR data principles, interoperable metadata standards, and translational biomedical data systems. He holds a DPhil in Molecular Genetics from the University of Bordeaux, supported by an EMBO Fellowship, and has contributed to major initiatives like the ISA-Tab format, the FAIR Cookbook, and the Translational Data Catalog. His research spans data standards for omics technologies, semantic validation frameworks (e.g., BioValidator), and infrastructure for reproducible research. Key contributions include the ISA API platform, metabolomics standards (nmrML, mzTab-M), and FAIRification frameworks. He actively collaborates with global initiatives such as ELIXIR, the Common Fund, and the Precision Toxicology Initiative. Rocca-Serra’s work emphasizes bridging data producers and consumers through machine-actionable metadata, fostering interdisciplinary research and policy compliance. He leads projects on clinical trial metadata profiling and has published extensively on data governance, computational workflows, and the role of FAIR principles in drug discovery and pandemic preparedness. Education: Ecole Nationale Supérieure d'Agronomie de Rennes (Diplôme d'Ingénieur), University of Bordeaux (PhD, Molecular Genetics) Key Roles: Group Coordinator at OeRC, Co-Investigator on international grants Tools Developed: ISAcreator, COPO, FAIR Cookbook, Data Tags Suite (DATS) Awards: EMBO Fellowship (2001) Labs/Teams: Oxford Data Readiness Initiative, FAIR Implementation Network

• Digital Writing
• Generative AI in Education
• Digital Media Studies
• +۴ مورد دیگر

Robert E. Cummings is a Professor of Writing and Rhetoric and Executive Director of Academic Innovation at the University of Mississippi. He directs the Interdisciplinary Minor in Digital Media Studies and leads the Academic Innovations Group (AIG) and Center for Excellence in Teaching and Learning (CETL), focusing on evidence-based teaching strategies and professional development for faculty. His academic roles emphasize bridging technology and pedagogy, particularly in digital writing instruction. Education: B.A. in English, University of Tennessee-Knoxville (1990) M.A. and Ph.D. in English, University of Mississippi (1999, 2006) Research Interests: Cummings explores the intersection of digital tools and writing pedagogy, including generative AI’s impact on writing, Wikipedia’s role in education, and post-pandemic digital instruction. He collaborates with computer science researchers to study AI-human dynamics in writing processes. His work emphasizes open educational practices, resilience in teaching, and inclusive digital platforms. Publications Trends: His articles analyze AI writing tools, pandemic-era pedagogy shifts, and long-term trends in digital writing instruction. Recent work focuses on frameworks for integrating AI into first-year writing programs while addressing ethical and practical challenges. Awards: No scientific awards explicitly mentioned in the provided materials. Advising & Grants: No student advising records or grant details are listed. Current responsibilities include curriculum development and institutional innovation initiatives. Labs/Teams: Leads the Academic Innovations Group and collaborates with CETL to advance teaching strategies across the University of Mississippi campus.

Dan Olteanuمشاهده پروفایل

استاد

• Database Systems
• Database Theory
• Artificial Intelligence
• +۷ مورد دیگر

Prof. Dan Olteanu is a full professor at the Department of Informatics, University of Zurich, leading the Data Systems and Theory (DaST) group. He holds visiting professorships at the University of Oxford and is an emeritus fellow of St Cross College. His academic journey includes a PhD from Ludwig Maximilian University (2005), postdoctoral roles at Saarland University and Cornell University, and prior faculty positions at Oxford (2007–2020). He has also worked in industry with companies like LogicBlox and RelationalAI, focusing on database systems and AI. Education: Bachelor’s in Computer Science, Politehnica University of Bucharest (2000) PhD in Computer Science, Ludwig Maximilian University (2005) Professional Roles: Full Professor, University of Zurich (since 2020) Visiting Professor, University of Oxford Emeritus Fellow, St Cross College Editorial Roles: ACM TODS, VLDBJ, SIGMOD Conference Chair: ICDT Council (since 2022) His research focuses on data systems theory, including query optimization, probabilistic databases, factorized databases, and in-database machine learning. He co-authored the seminal book Probabilistic Databases (2011) and has pioneered algorithms for efficient machine learning over relational data and incremental maintenance of analytical workloads. His work emphasizes scalable, theoretically grounded solutions for real-world data challenges. Awards: ICDT 2019 Best Paper Award ACM SIGMOD 2018 Distinguished PC Member Award ERC Consolidator Grant (2016) Oxford Outstanding Teaching Award (2009) Grants & Funding: Supported by Google, Microsoft Azure, Amazon AWS, EPSRC, and the European Commission. His research bridges academia and industry, with contributions to commercial systems like LogicBlox and RelationalAI. Labs & Teams: Heads the DaST group at Zurich, focusing on data systems theory and applications. Collaborates widely in the database and AI communities.

Philip Wadlerمشاهده پروفایل

استاد

• Theoretical Computer Science
• Functional Programming
• Programming Language Foundations
• +۶ مورد دیگر

Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK. He is an ACM Fellow, Fellow of the Royal Society, and Fellow of the Royal Society of Edinburgh. His work spans programming language design, type systems, and formal verification, with significant contributions to Haskell, Java, and XQuery. He has held leadership roles in ACM SIGPLAN and served on editorial boards for major journals. Research Interests: Wadler's research focuses on the foundations of programming languages , including Gradual and session typing Language-integrated query Functional and logic programming XML data models Parametricity and free theorems Verification of smart contracts Publication Trends: Recent articles emphasize type safety, formal verification, and blockchain applications. Key themes include gradual typing (blame calculus), session types for concurrency, and logical foundations of programming. His 2015–2025 papers show sustained focus on type theory and language design . Awards & Recognition: POPL Most Influential Paper (2003 for 1993 work) SIGPLAN Distinguished Service Award Best Paper SBMF 2018 Royal Society-Wolfson Fellowship (2004–2009) ACM Fellow (2007) Fellow of Royal Society of Edinburgh (2005) Advising & Grants: He has supervised numerous PhD students in programs like the Centre for Doctoral Training in Pervasive Parallelism. His EPSRC Programme Grant "From Data Types to Session Types" (2013–2020) funded major advances in concurrency theory. Current work with IOHK explores blockchain verification using Haskell-based Plutus.

• Network Security
• Data Security
• Cryptography
• +۵ مورد دیگر

Prof. Dr. Jörg Schwenk is a Professor and Chair of Network and Data Security at Ruhr-University Bochum's Faculty of Computer Science. He has held this position since 2003 and serves as Deputy Managing Director of the university's Computer Center. From 2007 to 2010, he was Managing Director of the Horst Görtz Institute for IT Security. His office is located at Universitätsstr. 150, 44801 Bochum (Room MC 4/110), with contact via email at joerg.schwenk@rub.de. His research focuses extensively on practical aspects of information security, particularly in: Cryptographic protocol analysis (TLS, SSH, Noise Protocol) Web and browser security vulnerabilities (XS-Leaks, DOM security) Document security flaws in PDF, OOXML, and OpenDocument formats Email encryption weaknesses and authentication mechanisms Network security implementations and powerline communications Recent publications demonstrate a strong emphasis on discovering and mitigating critical vulnerabilities in widely used protocols and file formats. His work frequently involves developing automated analysis tools (e.g., TLS-Anvil, XSinator) and reveals systemic security issues in standards implementations. Research outputs consistently target top-tier security venues (USENIX Security, CCS, NDSS) with findings that directly impact real-world systems. Schwenk leads a research group at the Horst Görtz Institute focusing on network and data security. The group maintains an active publication record in applied cryptography and systems security, frequently collaborating with industry partners to address emergent threats. His team's work on TLS vulnerabilities (ALPACA, Raccoon attacks) and document security (PDF/OOXML signature flaws) has significantly influenced protocol designs and standardization efforts.

Paul Spenceمشاهده پروفایل

دانشگاهی

• Digital Humanities
• Digital Publishing
• Digital Multilingualism
• +۴ مورد دیگر

Paul Spence is a Reader in the Department of Digital Humanities at King's College London. His research focuses on digital publishing, multilingualism in digital contexts, and the intersection of modern languages with digital culture. He leads major interdisciplinary projects totaling £5 million in funding, including the Language Acts and Worldmaking initiative. He co-ordinates the department’s PhD program and has held acting Head of Department roles. His work emphasizes disrupting digital monolingualism through projects like the Disrupting Digital Monolingualism report and co-edited volumes exploring post-pandemic language education. He teaches digital humanities methods and has extensive experience in MA program leadership. Research highlights include global digital scholarship frameworks, digital pedagogies, and multilingual DH networks. He has published widely on topics ranging from XML-TEI markup standards to the future of academic publishing. His projects, such as the Henry III Fine Rolls and Gascon Rolls digital archives, showcase expertise in digital historical documentation. He actively engages in international DH organizations and policy discussions, advocating for language diversity in digital knowledge infrastructures. Key collaborations include work with the Andrew W. Mellon Foundation, AHRC, and European funding bodies. His recent focus includes multilingual DH methodologies and the impact of digital practices on cultural representation. He advises on modern languages research and has supervised numerous interdisciplinary projects.

Sylvain Lombardyمشاهده پروفایل

استاد

• Automata Theory
• Formal Languages
• Theoretical Computer Science
• +۳ مورد دیگر

Sylvain Lombardy is a Professor at the University of Bordeaux, affiliated with the Laboratoire Bordelais de Recherche en Informatique (LaBRI) and the Enseirb-Matmeca engineering school within the Institut Polytechnique de Bordeaux. His research focuses on automata theory, formal languages, and theoretical computer science, particularly in weighted automata, formal methods, and algebraic properties of automata. He leads the Formal Methods research team at LaBRI and contributes to projects like the Awali and Vaucanson software platforms for automata manipulation. Education: PhD in Computer Science (2001, ENST Paris), Habilitation à Diriger des Recherches (2005, University of Paris Diderot). His work bridges theoretical foundations with practical tools, emphasizing algorithmic and algebraic aspects of automata. Notable contributions include studies on automata minimization, determinization, and the interplay between rational expressions and automata constructions. Research Interests: Automata Theory, Formal Power Series, Weighted Automata, Tropical Semirings, Algebraic Automata Theory, and Computational Models for Discrete Systems. His recent work explores two-way automata, Hadamard series, and applications in formal verification. Publications highlight contributions to the structure and properties of automata, with a focus on formal methods and algorithmic decidability. Key works address unambiguity, determinism, and the minimization of weighted automata across various semirings. Collaborations include projects on automata-based kernels for machine learning and XML formats for automata descriptions. He has developed influential software tools such as Awali (finite-state machine platform) and Vaucanson (automata manipulation framework), demonstrating practical applications of theoretical research. His work is supported by grants exploring automata in computational linguistics and discrete mathematics.