Up to 30% off — ends 7 Aug
ONLY00h00m00s
Up to 30% off — ends 7 Aug
ONLY00h00m00s
Taolue Chen
Lecturer
Birkbeck University of London
United Kingdom
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do I reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Artificial Intelligence
Computational Linguistics
Verification Engineering
Cryptography
Programming Language
High-level Synthesis
Computational Intelligence
Ask ApplyKite AI
Recent Grants
Grant: Close
Perturbation Analysis for Probabilistic Verification
Open Date: 2016-12-01
Close Date: 2018-05-30
Grant: Close
Using process algebra to verify quantum cryptographic protocols
Open Date: 2016-01-01
Close Date: 2018-12-31
Articles12
Collaborators4
Harald Gall
University of Zurich
Anthony W. Lin
-
Matthew Hague
Royal Holloway, University of London
Francois-Xavier Standaert
Université catholique de Louvain
How do I reach out?
Sign in for free to see their profile details and contact information.