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

Siobhán Northمشاهده پروفایل

مدرس ارشد

• XML databases
• formal languages
• indexing techniques
• +۴ مورد دیگر

Dr Siobhán North is a Senior Lecturer in the School of Computer Science at the University of Sheffield. She holds a PhD in Computer Science from the same institution and teaches courses including Java programming, object-oriented design, and programming for engineers. Her research focuses on XML databases, formal languages, and model checking, with notable contributions to indexing, compression techniques, and trust-based access control. She is also the Faculty of Engineering's Deputy Director of Learning and Teaching, overseeing educational strategy and quality assurance. Education: BSc Mathematics and PhD Computer Science (University of Sheffield) Teaching: COM1003 Java Programming, COM160 Computer Problem Solving, GEE106 Programming for Engineers Administrative Roles: Deputy Examinations Officer, Member of Senate, Chair of Senate Discipline Panel Research Group: Member of Testing and Verification research groups Her research interests span XML database optimization, formal language translation (e.g., Z to SAL), and security mechanisms. Over 15 years, she has supervised eight PhD students, contributing to topics ranging from dynamic XML labeling schemes to automated grading systems. Her recent publications address clinical trial database challenges, automated framework verification, and prime number-based XML query algorithms. Dr North actively participates in university governance, contributing to academic standards committees and disciplinary processes. Her work bridges theoretical computer science with practical applications in education and healthcare informatics.

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

استاد

• Theoretical Computer Science
• Functional Programming
• Programming Language Design
• +۱۱ مورد دیگر

Philip Wadler is a Professor of Theoretical Computer Science in the Laboratory for Foundations of Computer Science at the School of Informatics, University of Edinburgh, a position he has held since 2003. He is also a Senior Research Fellow and Area Leader in Programming Languages at IOHK. His career includes prior academic roles at the University of Glasgow and research positions at Bell Labs and Avaya Labs. He is a principal designer of the Haskell programming language and a leading figure in programming language theory. Education: B.S. Stanford University (1977), Ph.D. Carnegie-Mellon University (1982), Postdoc Oxford University (1983–1987) Wadler's research focuses on the intersection of logic, types, and programming languages. His work has profoundly influenced functional programming, type systems, concurrency, and formal methods. Key contributions include the design of Haskell, the development of the blame calculus for gradual typing, Featherweight Java as a formal model, and the Links language for web programming. He has also worked extensively on XML standards (XQuery, XSLT) and the Curry-Howard correspondence, most notably through his widely acclaimed article "Propositions as Types". His current research, supported by an EPSRC Programme Grant, explores session types and concurrency. His recent publications (2015–2025) reveal a consistent focus on type theory, particularly blame calculus, gradual typing, session types, and formal verification for blockchain and smart contracts. There is a strong emphasis on logical foundations, parametricity, and the application of theoretical concepts to practical systems, especially in the context of modern programming challenges like concurrency and distributed systems. SIGPLAN Distinguished Service Award, 2016 ACM Fellow, 2007 Fellow, Royal Society of Edinburgh, 2005 Wolfson-Royal Society Research Merit Award, 2004–2009 Most Influential POPL Paper Award 2003 (for 1993) Best Paper Award, SBMF 2018 Wadler has advised numerous PhD and Master's students and has been actively involved in the academic community through editorial roles (e.g., Journal of Functional Programming, Journal of Financial Technology), program committees for major conferences (POPL, ICFP, HOPL), and leadership in ACM SIGPLAN. He has led significant research projects such as the EPSRC Programme Grant 'From Data Types to Session Types' and has contributed to outreach and education through extensive lecturing, tutorials, and public talks. He is associated with key research groups including the Laboratory for Foundations of Computer Science at Edinburgh and the ABCD project, and collaborates with institutions and industry partners on topics ranging from programming language design to blockchain technology.

• Artificial Intelligence
• Optimization Algorithms
• Software Engineering
• +۳ مورد دیگر

Antonio Moratilla Ocaña is a Professor at the Department of Computer Science (Ciencias de la Computación) at Universidad de Alcalá. He is affiliated with the AUDITAI research group focused on Research, Development and Analysis of Complex and AI Software. His doctoral thesis (2017) explored 'Intelligent Management of Road Distribution of Hydrocarbons'. Education: PhD in Computer Science from Universidad de Alcalá (2017), supervised by Dr. Eugenio José Fernández Vicente. Research Interests: His work bridges AI and optimization techniques with real-world applications. Key areas include: Genetic Algorithms for logistics optimization (e.g., VRP problems) AI-driven narrative text generation from data Integration of multimedia and ERP systems IT governance frameworks (ITIL, COBIT, EFQM) Application of machine learning in tourism and healthcare sectors Publications Trends: His work spans 25 years (1996-2018), with recent emphasis on AI applications in logistics, healthcare informatics, and software engineering. Early work focused on tourism information systems and XML-based educational tools. Advising & Grants: No specific grants or student advisees listed, though his research group likely engages in collaborative projects. His thesis supervision record is not detailed here. Labs/Teams: Active member of the AUDITAI group, dedicated to advanced software development for AI applications.

• Human Language Technologies
• Natural Language Processing
• Temporal Information Processing
• +۴ مورد دیگر

Estela Saquete is a Full Professor in the Department of Software and Computing Systems at the University of Alicante, affiliated with the Escuela Politécnica Superior. She teaches in the Computer Engineering program and contributes significantly to research in Human Language Technologies and Natural Language Processing. Her research focuses on temporal information recognition and normalization , question answering systems , and textual information extraction . She is an active member of the Natural Language Processing Group (GPLSI), where she has led research since 2003. Dr. Saquete earned her European PhD in Computer Engineering from the University of Alicante in 2005, following a Degree in Computer Engineering from the same institution (1993–1998). Her academic journey reflects a deep integration of theoretical and applied computing. Although specific publications are not listed in the provided text, her research trajectory shows consistent engagement with major international conferences such as COLING/ACL, EVALITA, TERN, and EACL, indicating strong scholarly output in computational linguistics and NLP. Professional Experience: University of Alicante (2003–present): Professor and Researcher Sub-director of Communication, EPS (2008–2013) Multimedia Lab, UA (1998–2000): Analyst & Programmer Mediterranean Savings Bank (2000–2002): Programmer She has been involved in teaching a range of courses including Database Fundamentals, Information Management, Object-Oriented Programming, and Concurrent Programming at the undergraduate level, as well as specialized master's courses in Web Services, XML, and Textual Information Extraction. She mentors students through research and advises on advanced topics in language technology. She is associated with the Natural Language Processing Group (GPLSI) , a research team focused on advancing technologies for understanding and processing human language, particularly in temporal and contextual contexts.

• Semantic Web
• Linked Open Data
• e-Learning Systems
• +۵ مورد دیگر

Professor Lorenzo Sommaruga holds the position of Professor in Semantic and Multimedia Systems at the Department of Innovative Technologies (DTI) , University of Applied Sciences and Arts of Southern Switzerland (SUPSI). He is affiliated with the Institute of Information Systems and Networking (ISIN). With a background in Computer Science (University of Milan, 1989) and a PhD in Psychology focusing on Distributed Artificial Intelligence from Nottingham University (1993), he has extensive academic and professional experience. Prof. Sommaruga's professional roles include leadership of the Semantic and Multimedia Lab , coordination of the Master's program in Mobile Internet Applications (2009–2012), and responsibility for numerous EU and national research projects. His expertise spans XML technologies , Linked Open Data , e-learning systems , ambient intelligence , and mixed reality . Research Highlights: Key projects include the GIOCOnDa LOD platform for smart regions, the SEE A Game entrepreneurship initiative, and the RiParTI 2.0 smart home charging system. His work emphasizes usability and accessibility in semantic web applications, with frameworks like Semantic DB , IRCS Water , and AWI . Teaching: He leads courses such as Web Applications and Applicazioni web , focusing on practical, industry-relevant skills. His pedagogical contributions extend to adult educator training via initiatives like ICT per Educatori di Adulti . Grants & Projects: Over 49 funded projects, including EU programs on entrepreneurship, smart cities, and digital factories. His work bridges theoretical research with applied solutions in domains like water management and industrial automation. Labs & Teams: Active in the Semantic and Multimedia Lab , fostering interdisciplinary collaboration between computer science, psychology, and education.

Véronique Benzakenمشاهده پروفایل

استاد

• Data-Centric Programming Languages
• Formal Verification of Data Management Systems
• XML/JSON Data Processing
• +۳ مورد دیگر

Véronique Benzaken is a Full Professor at Université Paris-Saclay, affiliated with the Laboratoire de Méthodes Formelles (LRI) and INRIA Saclay's Toccata group. Her research focuses on Data-Centric Programming Languages , formal verification of data management systems, and type-safe XML/JSON processing. Key projects: ℂDuce XML-centric functional language, Datacert data certification initiative Collaboration with Oracle Labs on multi-lingual query interfaces using QIR Active in Coq formalization of SQL, Datalog, and data provenance Research interests include: Formal foundations for NoSQL/BigData languages Coq-based verification of database systems Type systems for data models Cloud computing data abstraction Her work bridges theory and practical implementation through collaborations with both academic and industrial partners.

• Logic
• Well Quasi-Orders
• Verification
• +۷ مورد دیگر

Sylvain Schmitz is a Professor of Computer Science at Université Paris Cité, affiliated with the Institut de Recherche en Informatique Fondamentale (IRIF). He leads the automata and applications team and is a member of the modelling and verification team. His research focuses on logic, well quasi-orders, verification, formal languages, and database theory. He is actively involved in the academic community, serving on steering and program committees for major conferences such as STACS, LICS, and CSL. PhD in Computer Science, defended on September 24, 2007, at I3S Laboratory, Sophia Antipolis. Habilitation titled Algorithmic Complexity of Well-Quasi-Orders , defended on November 27, 2017, at ENS Paris-Saclay. His research interests span logic, well quasi-orders, verification, formal languages, database theory, theoretical computer science, complexity theory, program verification, automata theory, and model checking. His recent work explores complexity bounds in vector addition systems, reachability problems, and logical foundations of verification. His publications exhibit a strong focus on theoretical foundations of computation, particularly in the analysis of infinite-state systems, complexity hierarchies beyond elementary, and logical characterizations of computational problems. Key themes include well-structured transition systems, non-elementary complexity, and applications of ordinal analysis to verification. IUF junior (2018–2023) Sylvain Schmitz has supervised several PhD students, including Hector Buffière, Aliaume Lopez, Anthony Lick, and Simon Halfon, often in joint supervision with researchers such as Jean Goubault-Larrecq, David Baelde, and Philippe Schnoebelen. His research has been funded by multiple ANR projects including BraVAS, PRODAQ, ReacHard, and AVeriSS. He is a key member of the IRIF laboratory, contributing to research in automata, verification, and logic. He has organized major events such as ICALP 2022 and RP 2020, and is deeply involved in the European theoretical computer science community through committee memberships and conference organization.

Imre Gáborمشاهده پروفایل

عضو هیئت علمی

• Computer Science
• Software Engineering
• Web Application Performance
• +۴ مورد دیگر

Imre Gábor is an Assistant Lecturer at the Department of Automation and Applied Informatics within the Faculty of Electrical Engineering and Informatics at Budapest University of Technology and Economics (BME). He is affiliated with the Applied Computer Science Group , focusing on software engineering and system performance. Office: Q.B224, Magyar tudósok krt. 2., Budapest 1117, Hungary Email: Imre.Gabor@aut.bme.hu Phone: +36 (1) 463-2713 Fax: +36 (1) 463-2871 His research spans Java-based systems , XML serialization , web application performance , and cloud computing . Recent work analyses WebSocket benchmarking , EC2 scalability , and application server tuning . Publications in Computer Science and Software Engineering highlight his expertise in distributed systems , XML technology , and enterprise application performance . He contributes to the BME Publication Registry and collaborates via platforms like Google Scholar and ResearcherGate . He is associated with the Applied Computer Science Group , which investigates theoretical and applied challenges in modern software development and system optimization.

Jérôme Darmontمشاهده پروفایل

استاد

• Database Systems
• Data Lakes
• XML Technologies
• +۴ مورد دیگر

Jérôme Darmont is a Professor in the Department of Computer Science at Lumière University Lyon 2, where he teaches advanced database technologies and supervises doctoral research. He is a key member of Laboratoire ERIC, a joint research unit between Universities Lyon 2 and Lyon 1, with a web presence at https://eric.msh-lse.fr/ . His research interests center on database systems, with particular expertise in data lakes, XML technologies, XQuery language, and business intelligence applications. His work bridges theoretical database concepts with practical implementations, as evidenced by his teaching of PL/pgSQL programming and advanced data querying techniques. Analysis of his recent publications reveals a consistent focus on data management challenges, particularly in the areas of data lake architecture, metadata modeling, and the integration of heterogeneous data sources. His research increasingly incorporates machine learning techniques for data analysis and quality improvement, reflecting the evolving landscape of database technologies. As an active supervisor, he currently guides multiple PhD candidates including Simon Weinberger, Eliz Peyraud, and Noé Lebreton, whose doctoral defenses are scheduled for late November and December 2025. His involvement in doctoral education demonstrates his commitment to training the next generation of database researchers. Through Laboratoire ERIC, he participates in various research initiatives and academic events, contributing to the broader computer science research community in Lyon and internationally, particularly through conference participation in venues like ADBIS and DaWaK.

• Database Systems
• Text Processing
• Hypertext Management
• +۳ مورد دیگر

Professor Frank William Tompa, affiliated with the David R. Cheriton School of Computer Science at the University of Waterloo, is renowned for his transformative research in database systems and text management. His pioneering work on the world’s first searchable electronic edition of the Oxford English Dictionary (OED) revolutionized document encoding and search technologies. Dr. Tompa’s contributions span Database design SGML/XML technologies Hypertext systems and have influenced modern web search engines. He co-founded Open Text Corporation, a $1.8B industry leader, and advanced text-relational database integration. His accolades include the University-Industry Synergy R&D Partnership Award . He remains a national advocate for university-industry collaboration, serving on NSERC and Mitacs panels.

Kanda Runapongsa Saikaewمشاهده پروفایل

دانشیار

• XML databases
• Web services
• Database systems
• +۵ مورد دیگر

Kanda Runapongsa Saikaew is an Associate Professor in the Department of Computer Engineering at Khon Kaen University's Faculty of Engineering . He earned a Ph.D. in Computer Science and Engineering from the University of Michigan at Ann Arbor , preceded by a Bachelor's degree in Electrical and Computer Engineering (Minor in Computer Science ) from Carnegie Mellon University . Research Interests XML databases and compression techniques Web services and UDDI registries Thai language processing and segmentation Bioinformatics and genome database integration Supervised Projects Thai Words Segmentation (Rule-based approach) Consolidation of Genome Databases via P2P Web Services Real-Time Information System (supported by Thailand Research Fund) Committee Roles Organizing Committee: NECSEC 2005, JCSSE 2007, ECTICON 2011 Technical Program Committee: NCSEC 2004-2006, JCSSE 2005-2011 Contact: Office EN4203D, Department of Computer Engineering, Khon Kaen University, Thailand. Email: krunapon@kku.ac.th

Kalinka Mihaylova Kaloyanovaمشاهده پروفایل

استاد

• Information Systems
• Data Modeling
• E-learning
• +۹ مورد دیگر

Kalinka Mihaylova Kaloyanova is a Professor at the Faculty of Mathematics and Informatics, Sofia University. Her research focuses on Information Systems, Data Modeling, E-learning, ITIL, and Healthcare Data Management. She has led projects like me_HeLi-D (2022) and ICT in HE (2021), addressing digital education and mental health literacy. Research Trends: Her recent publications (2022–2019) emphasize Data Quality, Digital Health Literacy, E-learning, and Big Data Integration, reflecting interdisciplinary collaboration in education and healthcare IT. Projects: me_HeLi-D: Enhancing youth mental health via digital resources (2022) ICT in HE: Developing digital skills in higher education (2021) National eHealth Program: Bridging healthcare and IT (2019) UNITe: Promoting digital society through technology (2018)

Cristina Sirangeloمشاهده پروفایل

استاد

• Database Theory
• Logic
• Automata Theory

Cristina Sirangelo is a Professor of Computer Science at Université Paris Cité, affiliated with the Institut de Recherche en Informatique Fondamentale (IRIF) and on INRIA delegation at ENS Paris within the VALDA team. Her work bridges database theory, logic, and automata theory, focusing on query answering in incomplete data environments and XML processing. Ph.D., University of Calabria (2005) Habilitation à diriger des recherches, ENS de Cachan (2014) Her research explores computational complexity in consistent query answering, Datalog and first-order logic for XML querying, and automata-based validation. Recent projects emphasize dichotomy theorems for query complexity and algorithmic solutions for database constraints under primary keys. She has been recognized with the ICDT 2013 Test of Time Award for foundational work on XML with incomplete information. Her publications span top-tier venues like PODS, ICDT, JACM, and LMCS, with a focus on logical frameworks and efficient data processing. ICDT 2013 Test of Time Award : For pioneering work on XML with incomplete data. As a teaching leader, she co-organizes the master DATA program and the MIDS double master in data science. Her collaborative efforts include co-authoring key papers on XML reasoning, data exchange, and histogram-based data summarization.

Dominique Stutzmannمشاهده پروفایل

استاد

• Latin Palaeography
• Digital Humanities
• Medieval Manuscript Studies
• +۷ مورد دیگر

Dominique Stutzmann is an Honorary Professor at Humboldt University of Berlin (since 2023) and Research Professor ( Research Director ) at the Institute for Research and History of Texts (IRHT-CNRS) since 2010. Specializing in Latin Palaeography , they lead the Department of Latin Palaeography at IRHT and coordinate the "Cluster 3: Artificial Intelligence" within the EquipEx Biblissima+ infrastructure. Their work bridges Medieval Manuscript Studies with Digital Humanities , focusing on text-image alignment , script classification , and machine learning applications for historical document analysis. Academic Education 2021: Qualification for a professorship ( Venia legendi ) from the Conseil National des Universités 2009: Habilitation thesis on Cistercian library networks 2002: Doctoral thesis Summa cum laude on Fontenay Abbey 2000: Paleographic Archivist diploma Summa cum laude Research Interests encompass medieval writing systems , digital paleography , manuscript digitization , and computational analysis of historical documents . They pioneered AI-driven full-text search engines for medieval manuscripts and developed open-source tools like Oriflamms for text-image alignment. Scientific Leadership includes Managing €2M+ in national/international grants Organizing colloquia and workshops Advisory roles for ERC projects DiDip and PRAYER Key Collaborations involve institutions such as the Bibliothèque Nationale de France , University of Hamburg , and University of Pennsylvania . Their editorial work spans journals like Scripta and Humanités numériques .

Stefan Kuhlinsمشاهده پروفایل

استاد

• Business Informatics
• Information Technology
• E-commerce
• +۶ مورد دیگر

Prof. Dr. Stefan Kuhlins is a Professor of Business Informatics at Heilbronn University's Faculty of Economics. He specializes in Business Engineering Logistics and previously worked at the universities of Mannheim and Regensburg. His research focuses on E-commerce, XML technologies, and enterprise software integration. He also operates as a freelance business information technology specialist. Current: Professor at Heilbronn University (Faculty of Economics) Previous: University of Mannheim, University of Regensburg Specialization: Business Engineering Logistics (formerly Technical Logistics Management) Freelance: E-commerce and software projects Education : Graduate in Business Information Technology Research Interests : His work spans business informatics, information technology, and programming with particular emphasis on database systems, XML standards, and Robotic Process Automation (RPA). He has developed frameworks for enterprise application integration and explored wireless usability metrics through Java software agents. His publications reflect a strong focus on E-commerce systems, XML schema design, and software development methodologies. Publications Trends : His scholarly output from 1993-2018 covers XML technologies, Java applications in enterprise systems, simulation modeling for logistics, and web service integration. The articles demonstrate consistent engagement with software engineering challenges in E-commerce and enterprise contexts. Technical Leadership : Since 2014, he has served as Head of the Internship Office for Business Engineering Logistics (BEL) and Technical Logistics Management (TLM) programs at Heilbronn University. This administrative role complements his technical expertise in systems design. Programming Expertise : With deep knowledge of C++ standard libraries and Java technologies, he has contributed to areas like garbage collection, CORBA optimization, and multithreaded frameworks. His technical work spans from core programming challenges to enterprise-scale integration solutions.