University of Twente - Formal Methods and Tools
Users following utwente-fmt
Shawn Charles
CharlesCreativeContent
Software Engineer building Tech Communities
ex-Amazon San Francisco, CA
Jevin Sweval
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer. Previously Apple Pay Security.
Lafayette, Indiana
_Nevo_
00Nevo
Now mainly learning: IT Support, R/Excel, & Java. | Data Analytics.
|BA Gerontology |
Looking for new opportunities Osnabrück & Stuttgart
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Naum-Tomov
Currently studying Technical Computer Science in the University of Twente in the Netherlands.
Enschede, Netherlands