xamidi

Proof theory & complexity

Aachen, Germany Joined on May 28, 2023 https://github.com/xamidi

Education

RWTH Aachen University

Work

Logician (theoretical computer science) · Developer (HPC & logic tools)

Two Year Club

Two Year Club badge

This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least two years.

2 Week Community Wellness Streak

2 Week Community Wellness Streak badge

Keep the community conversation going! Post at least 2 comments for 2 straight weeks and unlock the 4 Week Badge.

Writing Debut

Writing Debut badge

Awarded for writing and sharing your first DEV post! Continue sharing your work to earn the 4 Week Writing Streak Badge.

1 Week Community Wellness Streak

1 Week Community Wellness Streak badge

For actively engaging with the community by posting at least 2 comments in a single week.

One Year Club

One Year Club badge

This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least one year.

5 posts published

19 comments written

3 tags followed

Tackling fundamental logic: A very hard automated deduction challenge (free for all)

5 min read

Create an account to connect with xamidi. You can also sign in below to proceed if you already have an account.

Already have an account? Sign in