Find Academic Supervisors

Uwe Meyer-BaeseView profile

Associate Professor

• Digital Signal Processing
• FPGA Design
• VLSI Systems
• +4 more

Uwe Meyer-Baese is an Associate Professor in the Electrical and Computer Engineering Department at the FAMU-FSU College of Engineering. He holds a Ph.D. (Dr.-Ing. habil) from Darmstadt University of Technology, Germany. His research focuses on Digital Signal Processing with FPGAs, VLSI design, and medical imaging applications. He has authored over 100 publications, 5 books, and holds 3 patents. He has been recognized with awards such as the Humboldt Fellowship (2009) and the FAMU-FSU Teaching Award (2007). Education History: Dr.-Ing. habil (Venia Legendi), Darmstadt University of Technology, Germany, 2003 Ph.D. (Dr. Ing.), Darmstadt University of Technology, Germany, 1995 M.S., Darmstadt University of Technology, Germany, 1989 Research Interests: FPGA-based embedded systems and real-time DSP Low-power VLSI architectures Medical image processing (e.g., breast MRI, brain tumor analysis) Hardware security and intellectual property protection Graph theory applications in biological networks Recent work includes advancements in FPGA implementations for microprocessor systems, brain network controllability studies, and AI-driven medical diagnostics. His lab focuses on bridging hardware design with biomedical applications, emphasizing practical implementations through FPGA platforms. Awards: Max-Kade Award in Neuroengineering (1997) ECE Department Research Award (2005) Humboldt Fellowship (2009) FAMU-FSU Teaching Award (2007) He has advised over 60 master’s theses and contributed to major grants in FPGA-based medical systems. His book Digital Signal Processing with Field Programmable Gate Arrays is a widely used textbook in the field.

Tova MiloView profile

Professor

• Databases
• Big Data Management
• Machine Learning for Data Management
• +7 more

Professor Tova Milo is the Chair for Information Management at the School of Computer Science, Tel Aviv University, leading the prominent Databases Lab (DB Group). Her research spans databases, big data management, crowd-based data sourcing, and business process querying, with significant contributions to data integration and semi-structured data systems. Her research interests focus on innovative approaches to data management challenges through machine learning integration, crowd computing, and business process analysis. Key projects include Business Process Querying (BPQ) for analyzing BPEL specifications, MoDaS for crowd-based data management, and PROX for data provenance summarization. Her work bridges theoretical foundations with practical applications in fraud detection, recommendation systems, and data cleaning. Analysis of her recent publications reveals strong trends in human-in-the-loop data management systems, with growing emphasis on crowd integration for data cleaning and knowledge acquisition. Her research increasingly combines traditional database theory with machine learning techniques for scalable big data processing, while maintaining focus on business process modeling and provenance tracking. ACM PODS Alberto O. Mendelzon Test-of-Time Award (2010) ERC Advanced Investigators grant MoDaS (2011) The Weizmann Prize for Exact Sciences (2017) VLDB Women in Database Research award (2017) IEEE TCDE Impact award (2022) ISF Breakthrough Research Grant (2022) Doctorate Honoris Causa, University of Zurich (2023) ACM Fellow Member of Academia Europaea Professor Milo has advised over 30 graduate students including PhD candidates like Yael Amsterdamer and Ohad Greenshpan, and numerous MSc students working on projects including MoDaS, BPQ, and EDOS. Her research has been supported by major grants including the ERC Advanced Investigators grant and ISF Breakthrough Research Grant. She actively collaborates with industry partners including IBM and Microsoft, particularly in business process management standards. She directs Tel Aviv University's Databases Lab, which maintains the DB Group with multiple research streams including business process querying (BPQ), crowd-based data management (MoDaS), and self-adaptive data dissemination (EDOS/COLT). The lab operates from the Schreiber Building (M-20) and maintains strong international collaborations, particularly with European institutions through the ERC-funded MoDaS project.

• Database Systems
• Data Management
• Graph Databases
• +5 more

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
• +5 more

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

• Model Engineering
• Web Engineering
• Process Engineering
• +9 more

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
• +7 more

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 FusiView profile

Lecturer

• Digital Humanities
• Computational Philology
• Classical Studies
• +7 more

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
• +7 more

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
• +9 more

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.

• Computer Networking
• Software-Defined Networking (SDN)
• Distributed Systems
• +3 more

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.

• Software Verification
• Formal Methods
• Program Synthesis
• +4 more

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öttcherView profile

Professor

• Databases
• Data Compression
• Graph Algorithms
• +3 more

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 WenfeiView profile

Professor

• Database systems
• Database theory
• Big data
• +3 more

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.

Luc SegoufinView profile

Research Professor

• Database theory
• Verification
• Logic in computer science
• +3 more

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.

Benjamin C. PierceView profile

Professor

• Programming Languages
• Type Systems
• Formal Verification
• +3 more

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.