A PhD in EECS at UC Irvine on specification and runtime verification of multiprocessor systems (architectures, languages and specification mining).
Highlights
- Pro
Tarcísio Genaro Rodrigues
tarc
I'm mainly focused on C++ development. Lately I've been writing some Python mostly related to CI/CD of C/C++ projects and libraries.
São Paulo, Brazil
Taicha M Pabon
stand4loyaty
Here on Earth not by choice but obligated by God to witness this worthless abomination going on globally
Lungoupao Khongsai
mlpao500
Lungoupao Khongsai
Director
Permanent Clicksure Affiliate Mail Marketing
United Khulmi Export Import Pvt Ltd Churachandpur, Manipur, India