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: 23
• Repositories count: 39
• Created at: 2022-11-04T08:44:49.554Z
• Updated at: 2025-05-28T23:33:49.837Z
• Last synced at: 2025-05-28T23:33:49.837Z

Past Sponsorships

View All

Sponsorship Breakdown by Kind

• Organization: 1