- Computer Sciences
- Research Keywords:
- Formal methods, software engineering, machine learning, deep learning
- Collaboration interests:
- I'm open to any collaboration
To see other contact details you need to have an active task with this person
The above links will open in a new tab in your web browser. Once you are signed in, you can come back to this browser tab and reload it to see the contact form.