Hsu Justin - RWTH AACHEN UNIVERSITY UnRAVeL - English

This website uses technically necessary cookies to offer the best possible functionality.

Further Information

Skip to Content Skip to Main Navigation Skip to Search

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Download digital business card

Person

Justin Hsu

University College of London

Senior Research Associate

Address

j.hsu@cs.ucl.ac.uk

Similar Topics

Guest-Talk: Justin Hsu: From Couplings to Probabilistic Relational Program Logics

last updated : 12/05/2021

Faculty of Mathematics, Computer Science and Natural Sciences

Business and Economics

Faculty of Civil Engineering

Services Institutions