Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
About Me
About me
Page not in menu
This is a page not in th emain menu
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
publications
Efficient global robustness certification of neural networks via interleaving twin-network encoding
Published in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems
Published in International Symposium on Automated Technology for Verification and Analysis (ATVA), 2022
Joint Differential Optimization and Verification for Certified Reinforcement Learning
Published in International Conference on Cyber-Physical Systems (ICCPS), 2023
Enforcing hard constraints with soft barriers: Safe reinforcement learning in unknown stochastic environments
Published in International Conference on Machine Learning (ICML), 2023
teaching
COMP305 - Biocomputation
Undergraduate course, University of Liverpool, Department of Computer Science, 2021
COMP305 - Biocomputation
Undergraduate course, University of Liverpool, Department of Computer Science, 2022
COMP305 - Biocomputation
Undergraduate course, University of Liverpool, Department of Computer Science, 2023