joulook Goto Github PK
Name: Mohammad Hossein Khoshechin Jorshari
Type: User
Bio: Ph.D. Student @ MPI-SWS & RPTU / Computer Science / Interested in Formal Methods / Distributed Systems / Concurrency Theory
Twitter: Mh_khoshechin
Location: Germany