Jorge A. Pérez
@perezjorgea.bsky.social
Fundamental Computing (http://rug.nl/fse/fc)
University of Groningen (NL)
Software correctness | Concurrency, Logic, Programming (https://www.jperez.nl/)
Father (x2)
University of Groningen (NL)
Software correctness | Concurrency, Logic, Programming (https://www.jperez.nl/)
Father (x2)
Pinned
Jorge A. Pérez
@perezjorgea.bsky.social
· Nov 20
Fundamental computing: Mathematics and logic for software we can all rely on.
YouTube video by University of Groningen
youtu.be
Explaining our work can be hard, so we designed an animation!
At the Fundamental Computing group (@unigroningen.bsky.social)
we use mathematics & logic to develop foundations for programs we can all rely on
youtu.be/85fiogkCyLY
Animation: Anne Mérat
At the Fundamental Computing group (@unigroningen.bsky.social)
we use mathematics & logic to develop foundations for programs we can all rely on
youtu.be/85fiogkCyLY
Animation: Anne Mérat
Reposted by Jorge A. Pérez
CAV (International Conference on Computer Aided Verification) is now also on Bluesky!
Please follow @confcav.bsky.social and help us spread the word.
Please follow @confcav.bsky.social and help us spread the word.
November 27, 2024 at 8:12 PM
CAV (International Conference on Computer Aided Verification) is now also on Bluesky!
Please follow @confcav.bsky.social and help us spread the word.
Please follow @confcav.bsky.social and help us spread the word.
Explaining our work can be hard, so we designed an animation!
At the Fundamental Computing group (@unigroningen.bsky.social)
we use mathematics & logic to develop foundations for programs we can all rely on
youtu.be/85fiogkCyLY
Animation: Anne Mérat
At the Fundamental Computing group (@unigroningen.bsky.social)
we use mathematics & logic to develop foundations for programs we can all rely on
youtu.be/85fiogkCyLY
Animation: Anne Mérat
Fundamental computing: Mathematics and logic for software we can all rely on.
YouTube video by University of Groningen
youtu.be
November 20, 2024 at 8:50 PM
Explaining our work can be hard, so we designed an animation!
At the Fundamental Computing group (@unigroningen.bsky.social)
we use mathematics & logic to develop foundations for programs we can all rely on
youtu.be/85fiogkCyLY
Animation: Anne Mérat
At the Fundamental Computing group (@unigroningen.bsky.social)
we use mathematics & logic to develop foundations for programs we can all rely on
youtu.be/85fiogkCyLY
Animation: Anne Mérat