I am a computer scientist interested in formal methods, computational logic, and rewriting. I am also interested in competitive programming, teaching, and software freedom. Please check my personal webpage for details.
Copyright © 2020 Red Hat, Inc. and others. All Rights Reserved. For comments or queries, please contact us.
The Fedora Project is maintained and driven by the community and sponsored by Red Hat. This is a community maintained site. Red Hat is not responsible for content.