@jproenca@mastodon.world
Joined: 12/28/2022
Computer Scientist, Software Engineer, Formal Methods addicted. Interested in concurrent systems, Scala, software product lines, and real-time systems.
jproenca has no public lists
jproenca has no activity yet