User Tej Chajed - Stack Overflow

Tej Chajed

3,749

reputation

14

18

Member since September 26 2014
193 profile views
Last seen Aug 08 '23 at 18:45

PhD student working on formal verification of systems software.