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

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.

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

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.

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

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.

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

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.

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

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.

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

Prof. Dr. Zeki Bayram is a full Professor and current Chairman of the Computer Engineering Department at Eastern Mediterranean University (EMU). He has served as the founding chairman of the Internet Technologies Research Center (2006) and chaired the departmental ABET committee from 2010 to 2023. His academic contributions span semantic web services, mobile payment systems, and XML-based technologies. Founded Cybersoft Bilişim Teknolojileri Limited, a dormant software company in North Cyprus Active in academic service, including thesis supervision and editorial roles Teaches courses on programming languages, automata theory, and software tools Research focuses on semantic web service composition, secure payment schemes, and declarative programming paradigms. His work integrates logic programming, constraint solving, and ontology engineering. Prof. Bayram has published extensively in journals and conferences since the 1990s, with notable contributions to formal methods in service-oriented architectures.

• Semantic Web Services
• Mobile Payment Systems
• XML-based Programming
• +۴ مورد دیگر

Manuel Rigger is an Assistant Professor at the National University of Singapore (NUS), leading the TEST Lab (Trustworthy Engineering of Software Technologies) within the PL/SE group at the School of Computing. His research focuses on improving the reliability of data-centric systems through automated testing frameworks and formal methods. Education : PhD from Johannes Kepler University Linz (supervised by Hanspeter Mössenböck), postdoctoral work at ETH Zurich (Advanced Software Technologies Lab under Zhendong Su). Research Interests : Automated testing of database systems Programming language design and verification Incremental build systems Formal methods for software reliability Key Contributions : Developed tools like SQLancer (for finding bugs in databases) and CERT (performance issue detection). His work has uncovered over 800 bugs in real-world systems. Awards : Recipient of the ERC Consolidator Grant (2025) for groundbreaking research in software security and testing. Service Roles : Organizer of ICFP/SPLASH 2025 Outdoor Activities, committee member for OOPSLA Review, PLDI Artifact Evaluation, and ICSE Program Committee. Also actively involved in organizing workshops (e.g., Fuzzing & Software Security Summer School 2025).

• Software Engineering
• Programming Languages
• Systems
• +۴ مورد دیگر

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.

• Digital Signal Processing
• FPGA Design
• VLSI Systems
• +۴ مورد دیگر

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.

• Databases
• Big Data Management
• Machine Learning for Data Management
• +۷ مورد دیگر

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

• Description Logics
• Ontologies
• Automated Reasoning
• +۷ مورد دیگر

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.

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

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.

• Programming Languages
• Type Systems
• Formal Verification
• +۳ مورد دیگر

Pascal Bizarro, Ph.D., is an Associate Professor in the Department of Accounting and Information Systems at Bowling Green State University (BGSU), part of the Schmidthorst College of Business. He holds a Ph.D. and M.Acc. from the University of Alabama and a B.B.A. in Commercial Engineering from HEC, Liège, Belgium. A Certified Information Systems Auditor (CISA), he specializes in IT Auditing, Accounting Information Systems, and emerging technologies like blockchain. He advises BGSU's Information System Audit and Control (ISAC) programs and serves as president of the Northwest Ohio ISACA Chapter and academic board member of the Northwest Ohio IIA Chapter. Dr. Bizarro's research focuses on cybersecurity, audit technology, data privacy, and blockchain applications in accounting. His work has been published in leading journals such as ISACA Journal , Internal Auditing , and The CPA Journal . Notable contributions include studies on phishing attacks, IoT security, AI in auditing, and XBRL implementation. He has received awards including the Schmidthorst Leadership Council Faculty Excellence Award (2015) and the Primrose Family Professorship (2013–present). His professional certifications and academic leadership roles reflect his expertise in bridging accounting practices with information systems innovation.

• Accounting Information Systems
• IT Auditing
• Information System Assurance & Control
• +۷ مورد دیگر

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.

• Database Theory
• Data Science
• Information Visualization
• +۹ مورد دیگر

Wesley W. Chu is a Professor in the Computer Science Department at the University of California, Los Angeles . He earned his B.S.E. and M.S.E. in Electrical Engineering from the University of Michigan (1960, 1961) and Ph.D. in Electrical Engineering from Stanford University (1966). His career spans roles at IBM, Bell Laboratories, and UCLA since 1969. B.S.E. (EE), University of Michigan (1960) M.S.E. (EE), University of Michigan (1961) Ph.D. (EE), Stanford University (1966) Dr. Chu's research has evolved from foundational work in computer communications , distributed databases , and real-time systems (notably statistical multiplexing and ATM network development) to modern focus areas in intelligent information systems , data mining , and medical digital libraries . His methodologies for approximate matching and query relaxation underpin systems like CoBase , KMeD , and CoXML , with applications in logistics, healthcare, and web technologies. His contributions to data security and privacy (ISP project), XML schema transformation , and medical image systems have earned recognition through multiple best paper awards and the IEEE Technical Achievement Award (2003). He has held editorial and organizational roles at major conferences including SIGCOMM, VLDB, and ER.

• Computer Networks
• Distributed Systems
• Data Mining
• +۳ مورد دیگر