gaperez64

View JSON Representation

I am a software engineer turned computer scientist. My interests include formal verification, learning theory, and theoretical computer science in general.

• Name: Guillermo A. Perez
• Location: Antwerp, Belgium
• Company: University of Antwerp
• Kind: user
• Followers: 15
• Following: 3
• Total stars: 22
• Repositories count: 37
• Created at: 2022-11-04T08:44:49.554Z
• Updated at: 2025-03-26T23:36:08.898Z
• Last synced at: 2025-03-26T23:36:08.897Z

Past Sponsorships

View All

Sponsorship Breakdown by Kind

• Organization: 1