gaperez64

Guillermo A. Perez gaperez64

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

16 followers · 3 following

University of Antwerp
Antwerp, Belgium
https://gaperez64.github.io/

Achievements

Luca Di Stefano lou1306

PhD in Computer Science. Version control your LaTeX, folks

TU Wien Vienna, Austria

Pierre Vandenhove pvdhove

Research associate ("Premier Assistant") in CS at Université de Mons.

Université de Mons Belgium

Tobias Wilfert tobias-wilfert

To be, or not to be --- Fixing stuff & breaking stuff, good day if more fixing than breaking happens.

Sentry.io 🏔️

Regina Manansala rgnmnl

Antwerp, BE

Philip Offtermatt p-offtermatt

PhD in formal verification/theoretical compsci | Research Engineer @informalsystems working on the Cosmos Hub

Munich

Karan Muvvala MuvvalaKaran

Making robots safer and smarter one-step at a time

University of Colorado Boulder Boulder, CO

Mehrdad Moradi mehrdad-moradi

PhD in AI, dependability analysis, robustness checking, validation, and verification techniques for CPSs using model-based fault injection and ML.

University of Antwerp Antwerp, Belgium

Michael Blondin michaelblondin

Associate professor of computer science at the Université de Sherbrooke

Université de Sherbrooke Sherbrooke, QC, Canada

Abrikoos Triple1312

Dennis Groß DennisGross

Ritam Raha ritamraha

Postdoctoral Researcher in Computer Science

Max Planck Institute for Software Systems, Kaiserslautern, Germany Kaiserslautern, Germany

Stan Schepers stanschepers

Hello there, I'm a Computer Science: Data Science student @UAntwerpen. I'm interested in explainable AI, data science in medicine and so much more ...

Antwerp, Belgium