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

Ian Horrocksمشاهده پروفایل

استاد

• Knowledge Representation
• Description Logics
• Automated Reasoning
• +۴ مورد دیگر

Ian Horrocks is a Professor of Computer Science at the University of Oxford and a Fellow of Oriel College. His research focuses on knowledge representation, description logics, automated reasoning, and semantic web technologies. He has held academic positions at the University of Manchester (2003–2007) and served as Chief Scientist at Cerebra Inc. (2001–2006). Horrocks earned his BSc (1st class), MSc, and PhD in Computer Science from the University of Manchester (1981–1997). His work includes foundational contributions to ontology languages (e.g., OWL) and reasoning systems such as HermiT and ELK. He has supervised over twenty doctoral students and postdoctoral researchers. His honors include Fellowships from the Royal Society (2011), ECCAI (2009), and the British Computer Society (2005). He serves as Editor-in-Chief of the Transactions on Graph Data and Knowledge and leads initiatives in semantic web standards and knowledge graph applications. Key Roles: Editor-in-Chief (Journal of Web Semantics), Co-Chair (W3C OWL Working Group) Grants: EPSRC Senior Research Fellowship (2005), numerous international collaborations Labs: Oxford Semantic Technologies, involvement in projects like RDFox and PAGOdA

Gheorghe Paunمشاهده پروفایل

پژوهشگر

• Automata and Language Theory
• Natural Computing
• DNA Computing
• +۳ مورد دیگر

Gheorghe Paun is a Senior Researcher at the Institute of Mathematics of the Romanian Academy (1994–present) and a Visiting Researcher at the University of Sevilla (2009–present). He earned his Ph.D. in Mathematics from the University of Bucharest (1977), supervised by Solomon Marcus. His research spans Automata and Language Theory (descriptional complexity, regulated rewriting), Natural Computing (DNA computing, membrane computing), and he is the initiator of membrane computing . Education : M.Sc. in Mathematics (1974), University of Bucharest (specialization: computer science) Ph.D. in Mathematics (1977), University of Bucharest His work includes foundational contributions to DNA computing (book DNA Computing. New Computing Paradigms , 1998) and membrane computing (book Membrane Computing. An Introduction , 2002). He has collaborated with over 100 researchers globally and advised multiple Ph.D. students, including Victor Mitrana and Gianina Georgescu. His scientific awards include the Gheorghe Lazar award (1981), Corresponding Member of the Romanian Academy (1997), Doctor Honoris Causa from Silesian University of Opava (2007), and recognition as an ISI Highly Cited Scientist (2007). He also holds honorary citizenships in Curtea de Arges (1998), Arges County (2007), and Cicanesti village (2009). Paun has served on editorial boards for journals like Theoretical Computer Science. Natural Computing Series and Natural Computing , and organized major workshops in membrane computing. His academic contributions include over 150 publications and editorial roles in 20+ journals.

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.

Jeffrey Kramerمشاهده پروفایل

استاد

• Software engineering
• Distributed computing
• Requirements engineering
• +۵ مورد دیگر

Professor Jeffrey Kramer is a distinguished academic at Imperial College London, where he currently serves as Professor in Distributed Computing within the Department of Computing, Faculty of Engineering. With a career spanning over four decades at Imperial College, he has held numerous leadership positions including Senior Dean (2009-2012), Dean of the Faculty of Engineering (2006-2009), and Head of the Department of Computing (1999-2004). Professor Kramer's research focuses on software engineering, particularly in distributed computing, requirements engineering, software architecture, and self-managing adaptive systems. His work on the Darwin Software Architecture led to commercial implementation by Philips in consumer television products. He has been a principal investigator in research projects developing the CONIC and DARWIN environments for distributed programming. His publication portfolio includes over 200 refereed journal and conference papers along with two influential books: 'Distributed Systems and Computer Networks' (1986) and 'Concurrency: State Models & Java Programs' (1999, 2nd ed. 2006). His most cited works address software architecture, dynamic reconfiguration, and adaptive systems, demonstrating a consistent research trajectory focused on foundational aspects of distributed software systems. FREng Fellow of the Royal Academy of Engineering (2008) ACM SIGSOFT Outstanding Research Award (2005, joint with Prof. Magee) ACM SIGSOFT Distinguished Service Award (2011) Editor-in-Chief of IEEE Transactions on Software Engineering (2006-2009) Most Influential Paper Award at ICSE 2003 IEE Informatics Premium prize (1998/99) Professor Kramer has served on over 50 international conference committees in the last decade and has delivered numerous keynote addresses globally. His industrial collaborations include work with BP, BT, NATS, Fujitsu, Barclays Capital, QinetiQ, Kodak, Microsoft, and Philips. He has also served as an expert witness for major law firms and has been involved in numerous research collaborations and consulting engagements.

Sangiorgi Davideمشاهده پروفایل

استاد

• Computer Science
• Theory of Concurrent Systems
• Theory of Distributed Systems
• +۲ مورد دیگر

Davide Sangiorgi is a Full Professor at the University of Bologna, Italy, with a distinguished career in computer science and theoretical concurrency. He has held significant roles as Director of Research at INRIA (2000), Researcher at INRIA (1995), and Research Fellow at the University of Edinburgh (1993). His work spans programming languages, distributed systems, and formal verification. Laurea (Master) in Computer Science, University of Pisa, 1987 PhD in Computer Science, University of Edinburgh, 1993 His research focuses on the theory of concurrent and distributed systems, with contributions to bisimulation, process calculi, and type systems. His publications highlight advancements in lock-freedom, environmental bisimulation, and behavioral equivalence, primarily in programming languages and concurrency theory. Key trends in his articles include the development of formal methods for concurrency, type systems for mobile processes, and the application of bisimulation in higher-order languages. His work bridges theoretical foundations with practical verification techniques in distributed systems and programming languages. Elected Chairman of IFIP Working Group 2.2 (FORMAL DESCRIPTION OF PROGRAMMING CONCEPTS) in 2005 and re-elected in 2008 Member of the Council of the Italian Chapter of the European Association for Theoretical Computer Science (EATCS), re-elected 3 times Sangiorgi has supervised 10 PhD students across France and Italy, currently advising 3. He has led 3 large EU projects and bilateral initiatives (France-USA, France-Germany, France-Italy). He co-founded the joint INRIA-University of Bologna laboratory, the first of its kind for INRIA in a foreign institution.

• Voice Quality
• Experimental Phonetics
• Speech Production
• +۵ مورد دیگر

Professor Ailbhe Ní Chasaide at Trinity College Dublin is a leading figure in phonetics, with expertise in voice quality, speech production, and Irish language prosody. She established Trinity’s Phonetics & Speech Laboratory and leads a multidisciplinary team focused on speech technology and endangered language preservation. Education PhD Experimental Phonetics, University of Wales, Bangor (1985) MA Linguistics, University of Wales, Bangor (1977) Maîtrise ès Lettres French Literature, Université de Bordeaux (1975) BA French/German, University College Galway (1973) Her research explores how voice quality interacts with prosody to convey emotion and linguistic meaning, alongside pioneering work in documenting and preserving the Irish language through speech technology. Key areas include experimental phonetics, speech acoustics, and Irish dialect intonation. Recent publications highlight affective prosody, cross-language voice quality analysis, and Irish language revitalization. These works span acoustic modeling, synthetic speech applications, and the role of prosody in linguistic identity. Scientific Awards Elected member of the ISCA IAC (2021) Elected to Council of the International Phonetic Association (2019) Government of Ireland Senior Research Fellowship (2003) Fellow Trinity College Dublin (1998) Fulbright Senior Research Fellowship (1987) Senior Research Fellowship, Oxford University (1982) Professor Ní Chasaide mentors a team of postdocs, research assistants, and PhD students. She has co-founded Irish postgraduate programs in phonetics and supervised numerous researchers. Her projects, including ABAIR (€3.85m) and FastNet (€1.12m), focus on speech technology and social interaction studies.

Benedikt Löweمشاهده پروفایل

استاد

• Foundations of mathematics
• Set theory
• Mathematical logic
• +۶ مورد دیگر

Dr. Benedikt Löwe is a Professor at the University of Hamburg since 2009, holding the CIPSH Chair 'Diversity of Mathematical Research Cultures & Practices'. He maintains affiliations with the Universiteit van Amsterdam (2003–2023) and the University of Cambridge (since 2012). His roles include research group leadership at Hamburg, editorial leadership at 'Mathematical Logic Quarterly', and governance positions in international academic organizations. Education : Master's in Mathematics (Tübingen, 1996), PhD in Mathematics (Berlin, 2001), Habilitation (Bonn, 2004), M.A. and Sc.D. from Cambridge His research bridges mathematical logic with philosophy, narratology, AI, and social sciences, with a focus on foundational questions and interdisciplinary modeling. His work has pioneered algebra-valued set theory, modal logic of forcing, and empirical approaches to modeling mathematical practices. Key contributions include the concept of 'quasigenerics' in set theory, the development of paraconsistent algebra-valued models, and the application of logic to folktale morphology. He has edited multiple journals and served on editorial boards, including as Managing Editor of 'Mathematical Logic Quarterly' (2011–2022). Scientific Awards : Fellow of the International Science Council (2023) Ordinary member of the Hamburg Academy of Sciences (2023) Simons Foundation Research Fellowship (2015) Felix-Hausdorff-Gedächtnispreis (2001) As a leader in academic governance, he has chaired the Deutsche Vereinigung für Mathematische Logik (DVMLG) and served as Secretary General of the International Union of History and Philosophy of Science and Technology's logic division (DLMPST/IUHPST).

• Experimental Phonetics
• Speech Production
• Speech Acoustics
• +۷ مورد دیگر

Ailbhe Ní Chasaide is a Professor of Phonetics at Trinity College Dublin's School of Linguistic, Speech and Communication Sciences, where she has held continuous academic positions since 1979, progressing from Lecturer to Senior Lecturer and ultimately Professor in 2003. Her career spans over four decades of research excellence in phonetics with significant international collaborations including appointments at MIT, Haskins Laboratories, Oxford University, and Stockholm University. Professor Ní Chasaide's research focuses on experimental phonetics with particular expertise in voice quality analysis, prosody, and Irish language phonetics. Her work bridges theoretical phonetics with practical applications for Irish language documentation and revitalization. She has made significant contributions to understanding how voice quality interacts with melody in linguistic and expressive contexts, speech production mechanisms, and acoustic-perceptual relationships in speech. Her extensive publication record demonstrates consistent scholarly productivity, with recent work focusing on leveraging speech technology for Irish language maintenance. Her research on Irish dialects, particularly Connaught Irish, has provided valuable insights into micro-dialect variation and tonal alignment patterns unique to the language. Notable scientific awards include: Election to the ISCA IAC (Advisory Council to the International Speech Communication Association) in 2021 Long-standing election to the Council of the International Phonetic Association (re-elected consistently since 1991) Gradaim na Gaeilge 2015 Irish Language Service Award from Trinity College Dublin Fulbright Senior Research Fellowship for work at MIT Speech Group and Haskins Laboratories Government of Ireland Senior Research Fellowship Professor Ní Chasaide has received significant recognition for her contributions to Irish language technology, including being nominated for 'Person of the Year' following the development of the first Irish synthetic voice. Her work bridges academic phonetics with practical language preservation efforts, demonstrating commitment to both theoretical advancement and real-world application of speech science.

• Semantic Web
• Knowledge Representation
• Graph Data Management
• +۴ مورد دیگر

Shqiponja Ahmetaj is an Assistant Professor in the Department of Knowledge-Based Systems at the Faculty of Informatics, TU Wien. She specializes in semantic web technologies, knowledge representation, and graph data management. Her research focuses on SHACL validation, ontology integration, and formal methods for constraint satisfaction in graph databases. Education: PhD in Computer Science, TU Wien (2019): 'Rewriting approaches for ontology-mediated query answering.' MSc in Computer Science, TU Wien (2013): 'Planning in graph databases under description logic constraints.' Roles: Course instructor for 'Introduction to Artificial Intelligence,' 'Knowledge-based Systems,' and 'Semantic Technologies.' Principal investigator in projects like FRESH (2021–2026) and SEE (2012–2016). Research Interests: Her work addresses challenges in semantic web validation, ontology semantics, and graph data evolution. She develops formal methods for SHACL constraint validation, explanation generation for non-validation, and repair algorithms. Her contributions bridge the gap between semantic web standards and practical database systems. Her recent publications focus on SHACL validation of evolving graphs , ontology-ontology interoperability , and consistent query answering under constraints . Projects like FRESH emphasize theoretical and applied aspects of SHACL in knowledge graphs. Grants & Projects: FRESH (FWF, 2021–2026): 'Shapes in Graph Data: Theory and Implementation.' SEE (WWTF, 2012–2016): 'SPARQL Evaluation and Extensions.' Advising: Supervised theses such as 'SHACL validation of evolving RDF graphs' (2023) and 'A metaheuristic approach to crowdsourced package delivery' (2023). Labs/Teams: Active in TU Wien's research groups on semantic technologies and knowledge representation, collaborating with international institutions on projects like OMEGA and KtoAPP.

Thomas Eiterمشاهده پروفایل

استاد

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Computational Logic
• +۷ مورد دیگر

Thomas Eiter is a Full Professor at the Institute of Logic and Computation, Technical University of Vienna (TU Wien), where he serves as Head of Research Unit. He is a Full Member of the Division of Mathematics and Natural Sciences since 2022 and holds leadership roles within the university. His research focuses on knowledge representation and reasoning, computational logic, algorithms and complexity in AI, declarative problem solving, nonmonotonic logic programming and databases, and reasoning about actions and change. His work bridges theoretical foundations with practical applications in artificial intelligence, particularly in logic programming and knowledge-based systems. He has made significant contributions to Answer Set Programming (ASP), developing frameworks like DLV and HEX programs that enable sophisticated reasoning capabilities. His recent publications demonstrate a strong focus on stream reasoning (LARS framework), knowledge forgetting, modular reasoning systems, and the integration of logic programming with ontologies. His research shows consistent contributions to both theoretical foundations and practical implementations of AI systems over several decades. ACM Fellow (2020) Fellow of the European Association for AI (2006) Distinguished Paper Award of the 17th International Joint Conference on Artificial Intelligence (IJCAI, 2001) Prominent Paper Award of the Artificial Intelligence Journal (2013) Test of Time Award (10 years) of the International Conference on Logic Programming (2013) Eiter has led and participated in numerous research projects, both internationally funded (such as LogiCS@TUWien, Humane AI, AI4EU) and nationally funded (including projects like BILAI, TAIGER, and several FWF-funded initiatives). His research unit has received substantial support from European Commission programs (H2020) and Austrian funding agencies (FWF, FFG, WWTF). He is actively involved in the academic community as a member of the Austrian Academy of Sciences (ÖAW), Academia Europaea, and has served on the Executive Council of AAAI. His research unit maintains strong connections with international collaborators and has developed influential systems like the DLV answer set programming system.

Anne Abeilléمشاهده پروفایل

استاد

• Natural Language Syntax
• Descriptive Linguistics
• Syntactic Theories
• +۳ مورد دیگر

Anne Abeillé is a Professor of Linguistics at Université de Paris since 2000, previously holding academic positions at Université Paris 7 (1994-2000) and Université Paris 8 Saint Denis (1991-1994). She is an Ordinary Member of the Academy of Europe (elected 2008) in Linguistic Studies with her primary research base at Laboratoire de Linguistique Formelle (LLF/CNRS). Her research specializes in Natural Language Syntax and Syntactic Theories , with significant contributions to Descriptive Linguistics across multiple languages and Linguistic Resource Development for computational processing. She integrates formal linguistic frameworks with practical syntactic analysis methodologies. Major recognitions include: 1988: Grant J-W Zellidja from the French Academy 1992: Price Pierre Larousse for Language Sciences 1995 & 2007: CNRS Bronze and Silver Medals She maintains active research leadership at LLF but no student advisement or grant details are publicly documented in available sources.

Patrick Blackburnمشاهده پروفایل

استاد

• Philosophical Logic
• Computational Linguistics
• Formal Semantics
• +۵ مورد دیگر

Patrick Blackburn is a Professor of Formal Philosophy at the University of Roskilde, Denmark, since 2011. Previously, he served as Director of Research at INRIA (France), and held academic positions in Germany, the Netherlands, and the UK. He specializes in philosophical logic, computational semantics, and the application of logic in cognitive science and computing. Education: Habilitation, Computational Linguistics, University of the Saarland (2000) PhD, Cognitive Science, University of Edinburgh (1990) MSc, Logic and Scientific Method, Sussex University (1986) BA, Philosophy & Mathematics, University of Waikato (1981) Research Interests: Blackburn’s work bridges logic, philosophy, and computational linguistics. Key areas include hybrid logics, modal logic applications, formal semantics of natural language, and computational methods in cognitive science. He emphasizes interdisciplinary approaches, integrating mathematical rigor with linguistic and philosophical insights. Publications & Impact: With over 80 journal articles and 3 books—including the seminal Modal Logic (2001)—he has achieved significant scholarly impact (6,376 citations, h-index 35). His work is foundational in hybrid logic and computational semantics. Awards: Elected Member of the Academy of Europe (2014) Editorial Roles: He has edited 10 books and journal issues, and currently serves on editorial boards for Notre Dame Journal of Formal Logic and Logique et Analyse . He also co-edits the Logic and Language section of the Stanford Encyclopedia of Philosophy.

Louise McNallyمشاهده پروفایل

استاد

• Semantic/Pragmatic Theory
• Morphosyntax/Semantics/Pragmatics Interfaces
• Computational Semantics
• +۴ مورد دیگر

Louise McNally is a Professor of Linguistics at Universitat Pompeu Fabra (UPF) in Barcelona, Spain. She holds a Ph.D. in Linguistics from the University of California, Santa Cruz (1992) and a Postgraduate Diploma in Computational Linguistics from UPF (2002). Her research focuses on semantic/pragmatic theory, morphosyntax-semantics-pragmatics interfaces, and computational semantics, with recent explorations into vector-based and information-theoretic models of meaning. McNally has held senior administrative roles at UPF, including Vice Rector for the Organization and Academic Project (2015–2017), Vice Rector for Faculty Affairs (2011–2015), and Vice Rector for Research (2009–2011). She is co-Editor-in-Chief of Semantics and Pragmatics and affiliated with the Grammar and Cognition Lab and Computational Linguistics and Linguistic Theory groups. Her work bridges formal semantics with experimental perspectives, addressing issues like nominalization, scalar implicatures, and idiomatic expressions. Key honors include the Alexander von Humboldt Research Prize (2017) and multiple ICREA Academia Awards (2008, 2013, 2018). Her publications span theoretical linguistics, computational semantics, and experimental studies, emphasizing cross-disciplinary collaboration.

Katharina Gerhalterمشاهده پروفایل

مدرس

• Corpus Linguistics
• Syntax
• Semantics
• +۳ مورد دیگر

Katharina Gerhalter is a Lecturer at the Department of Romance Linguistics within the Institute of Romance Studies at the University of Graz. Her academic work focuses on the intersections of syntax , semantics , and pragmatics , particularly in the diachronic development of discourse functions in Romance languages. Education: Mag. Dr.phil. Bakk.phil. (equivalent to MA and BA in philosophy/philology) Her research includes the adjective-adverb interface in Spanish (dissertation, 2018) and a current habilitation thesis on topicalized infinitives in Spanish, French, and Portuguese. She contributes to the creation of annotated corpora for comparative studies in Romance languages. Recent publications analyze quantifiers in Spanish/Portuguese , NLP processing of infinitive structures , and historical pragmatics . Her work bridges theoretical linguistics with digital corpus methodologies, emphasizing cross-linguistic variation.

• Experimental Phonetics
• Laboratory Phonology
• Speech Production
• +۷ مورد دیگر

Didier Demolin is a Professor at Grenoble Alpes University (formerly Université Stendhal) and researcher at Gipsa-lab in Grenoble, France, holding this position since 2010. Previously, he was Professor at Université Libre de Bruxelles (2003-2010) and held visiting professorships at Universidade de São Paulo, Brazil (2003-2007, 2013). His career began in 1982 with field research in Rwanda, followed by work at the American Museum of Natural History and Harvard Ituri project. Education: PhD in Linguistics, Université Libre de Bruxelles (1992) Professor Demolin's research focuses on experimental phonetics and laboratory phonology, with extensive fieldwork on African languages and Sub-Saharan phonetics. His interdisciplinary work bridges speech production mechanics, evolution of language, primate vocalizations, and ethnomusicology. He has pioneered MRI applications in articulatory phonetics and investigated phonological universals through understudied languages. His publication trends reveal consistent innovation in speech imaging techniques (particularly real-time MRI), analysis of rare phonetic phenomena like palatal implosives, and theoretical contributions to phonological emergence. Work spans acoustic analysis of nasal vowels, cross-linguistic phonetic patterns, and evolutionary frameworks for speech development, often integrating biological and cultural perspectives. Scientific Awards: Freeman Prize, University of Massachusetts, Amherst (2010) Francqui chair, Belgium (2009-2010) Coup de cœur de l’Académie Charles Cros (2004, 2007) Membre titulaire de l’Académie Royale des Sciences d’Outre-Mer de Belgique (2004) Prix de l’International Phonetic Association (1999) Choc du Monde de la Musique (1990-1992) Prix de la Fondation belge de la Vocation (1982) Professor Demolin has received no documented research grants in available sources and no doctoral students are listed in public records. His advising activities remain unreported in institutional documentation. As a core researcher at Gipsa-lab, he leads MRI-based speech production studies within interdisciplinary teams combining signal processing, linguistics, and biomedical engineering. His lab collaborations focus on real-time articulatory imaging, biomechanical modeling of vocal tract dynamics, and cross-species vocalization comparisons to elucidate speech evolution.