From Fedora Project Wiki
I am a computer scientist interested in formal methods, computational logic, and rewriting. I am also interested in competitive programming and teaching.
I am a computer scientist interested in formal methods, computational logic, and rewriting. I am also interested in competitive programming and teaching.
Copyright © 2025 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.