Mehrnoosh Sadrzadeh | |
---|---|
Born | |
Alma mater | Université du Québec à Montréal Sharif University of Technology |
Scientific career | |
Institutions | Queen Mary University of London University College London |
Thesis | Actions and resources in epistemic logic. (2007) |
Doctoral advisor | Mathieu Marion Alexandru Baltag |
Mehrnoosh Sadrzadeh is an Iranian British academic who is a professor at University College London. She was awarded a senior research fellowship at the Royal Academy of Engineering in 2022. [1]
Sadrzadeh is from Iran. She received her undergraduate and master's degrees at Sharif University of Technology. [2] After earning her master's degree Sadrzadeh moved to Canada. She was a doctoral researcher first at the University of Ottawa, where she was awarded an Ontario Graduate Scholarship, a University of Ottawa Excellence Scholarship, and a Canada Female Doctoral Student Award, and then at the Université du Québec à Montréal.[ citation needed ] Her research considered epistemic logic. [3] Alongside earning her doctorate, Sadrzadeh moved to the University of Oxford as an EPSRC postdoctoral fellow. [4]
In 2011, Sadrzadeh was awarded an Engineering and Physical Sciences Research Council Career Acceleration Fellowship. [5] She was appointed to the faculty at Queen Mary University of London, where she combined statistical and logical methods to study how language works. [6]
Whilst machine learning can improve reasoning about textual data, systems making use of machine learning cannot be translated to all applications. Sadrzadeh develops tensor-based mathematical models to improve these processes by combining logic, statistics and machine learning to strengthen the information from textual data. These models are based on the DisCoCat framework that she introduced with Bob Coecke and Stephen Clark. She was awarded two industrial fellowships from the Royal Academy of Engineering, [7] which allowed her to build partnerships with the BBC. In particular she concentrated on the development of tensorial analysis for textual understanding of subtitles and news. [8] At the time it was estimated that the average adult spends about one and a half years of their lives trying to device what to watch on broadcasting platforms. [8] Sadrzadeh looks to improve the quality and accuracy of recommendation algorithms. [9]
Sadrzadeh is involved in the conference SemSpace (Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science). In 2020, Sadrzadeh gave a talk "Gaussianity and typicality in matrix distributional semantics" [10] [11] and in 2021 she was co-organiser. [12] [13] In 2022, Sadrzadeh was awarded a Royal Academy of Engineering Senior Fellowship. [14]
{{cite book}}
: CS1 maint: multiple names: authors list (link)Samson Abramsky is a British computer scientist who is a Professor of Computer Science at University College London. He was previously the Christopher Strachey Professor of Computing at Wolfson College, Oxford, from 2000 to 2021.
Kaarlo Jaakko Juhani Hintikka was a Finnish philosopher and logician. Hintikka is regarded as the founder of formal epistemic logic and of game semantics for logic.
The Engineering and Physical Sciences Research Council (EPSRC) is a British Research Council that provides government funding for grants to undertake research and postgraduate degrees in engineering and the physical sciences, mainly to universities in the United Kingdom. EPSRC research areas include mathematics, physics, chemistry, artificial intelligence and computer science, but exclude particle physics, nuclear physics, space science and astronomy. Since 2018 it has been part of UK Research and Innovation, which is funded through the Department for Business, Energy and Industrial Strategy.
Distributional semantics is a research area that develops and studies theories and methods for quantifying and categorizing semantic similarities between linguistic items based on their distributional properties in large samples of language data. The basic idea of distributional semantics can be summed up in the so-called distributional hypothesis: linguistic items with similar distributions have similar meanings.
Stephen H. Muggleton is Professor of Machine Learning and Head of the Computational Bioinformatics Laboratory at Imperial College London.
Categorical quantum mechanics is the study of quantum foundations and quantum information using paradigms from mathematics and computer science, notably monoidal category theory. The primitive objects of study are physical processes, and the different ways that these can be composed. It was pioneered in 2004 by Samson Abramsky and Bob Coecke. Categorical quantum mechanics is entry 18M40 in MSC2020.
SemEval is an ongoing series of evaluations of computational semantic analysis systems; it evolved from the Senseval word sense evaluation series. The evaluations are intended to explore the nature of meaning in language. While meaning is intuitive to humans, transferring those intuitions to computational analysis has proved elusive.
Sir Anthony Charles Wiener Finkelstein is a British engineer and computer scientist. He is the President of City St George's, University of London. He was Chief Scientific Adviser for National Security to HM Government until 2021.
In natural language processing, textual entailment (TE), also known as natural language inference (NLI), is a directional relation between text fragments. The relation holds whenever the truth of one text fragment follows from another text.
Sergei Nikolaevich Artemov is a Russian-American researcher in logic and its applications. He currently holds the title of Distinguished Professor at the Graduate Center of the City University of New York where he is the founder and head of its research laboratory for logic and computation. His research interests include proof theory and logic in computer science, optimal control and hybrid systems, automated deduction and verification, epistemology, and epistemic game theory. He is best known for his invention of logics of proofs and justifications.
Bob Coecke is a Belgian theoretical physicist and logician who was professor of Quantum foundations, Logics and Structures at Oxford University until 2020. He pioneered categorical quantum mechanics, Quantum Picturalism, ZX-calculus, DisCoCat model for natural language, and quantum natural language processing (QNLP). He is a founder of the Quantum Physics and Logic community and conference series, and of the journal Compositionality.
Philippa Anne Gardner is a British computer scientist and academic. She has been Professor of Theoretical Computer Science at the Department of Computing, Imperial College London since 2009. She was director of the Research Institute in Automated Program Analysis and Verification between 2013 and 2016. In 2020 Gardner was elected a Fellow of the Royal Academy of Engineering.
Polina Leopoldovna Bayvel is a British engineer and academic. She is currently Professor of Optical Communications & Networks in the Department of Electronic and Electrical Engineering at University College London. She has made major contributions to the investigation and design of high-bandwidth multiwavelength optical networking.
In logic, an infinite-valued logic is a many-valued logic in which truth values comprise a continuous range. Traditionally, in Aristotle's logic, logic other than bivalent logic was abnormal, as the law of the excluded middle precluded more than two possible values for any proposition. Modern three-valued logic allows for an additional possible truth value and is an example of finite-valued logic in which truth values are discrete, rather than continuous. Infinite-valued logic comprises continuous fuzzy logic, though fuzzy logic in some of its forms can further encompass finite-valued logic. For example, finite-valued logic can be applied in Boolean-valued modeling, description logics, and defuzzification of fuzzy logic.
Sofia Charlotta Olhede is a British-Swedish mathematical statistician known for her research on wavelets, graphons, and high-dimensional statistics and for her columns on algorithmic bias. She is a professor of statistical science at the EPFL.
Nora Henriette de Leeuw is the inaugural executive dean of the Faculty of Engineering and Physical Sciences at University of Leeds. Her research field is computational chemistry and investigates biomaterials, sustainable energy, and carbon capture and storage.
Applied category theory is an academic discipline in which methods from category theory are used to study other fields including but not limited to computer science, physics, natural language processing, control theory, probability theory and causality. The application of category theory in these domains can take different forms. In some cases the formalization of the domain into the language of category theory is the goal, the idea here being that this would elucidate the important structure and properties of the domain. In other cases the formalization is used to leverage the power of abstraction in order to prove new results about the field.
Rebecca Julia Shipley is a British mathematician and professor of healthcare engineering at University College London (UCL). She is director of the UCL Institute of Healthcare Engineering, co-director of the UCL Centre for Nerve Engineering and Vice Dean (Health) for the UCL Faculty of Engineering Sciences. She is also co-director of the UCL CHIMERA Research Hub with Prof Christina Pagel and a Fellow of the Institution of Engineering and Technology.
Mona Talat Diab is a computer science professor and director of Carnegie Mellon University's Language Technologies Institute. Previously, she was a professor at George Washington University and a research scientist with Facebook AI. Her research focuses on natural language processing, computational linguistics, cross lingual/multilingual processing, computational socio-pragmatics, Arabic language processing, and applied machine learning.
DisCoCat is a mathematical framework for natural language processing which uses category theory to unify distributional semantics with the principle of compositionality. The grammatical derivations in a categorial grammar are interpreted as linear maps acting on the tensor product of word vectors to produce the meaning of a sentence or a piece of text. String diagrams are used to visualise information flow and reason about natural language semantics.