From Fedora Project Wiki
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.
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.
This is a community maintained site. Red Hat is not responsible for content.
© 2025 Red Hat, Inc. and others. Content is available under Attribution-Share Alike 4.0 International unless otherwise noted.
Fedora is sponsored by Red Hat. Learn more about the relationship between Red Hat and Fedora »