Showing
1 - 1
results of
1
for search '
Philippa Gardner
'
Skip to content
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Language
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Philippa Gardner
Philippa Gardner
Philippa Anne Gardner
(born 29 July 1965) 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
.
Provided by Wikipedia
Showing
1 - 1
results of
1
for search '
Philippa Gardner
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Footprints in Local Reasoning
by
Mohammad Raza
,
Philippa Gardner
Published 2009-04-01
Get full text
Article
Search Tools:
RSS Feed
Email Search