NUS Math Formalization
Mohammad Hossein Khoshechin Jorshari
joulook
Ph.D. Student @ MPI-SWS & RPTU /
Computer Science /
Interested in Formal Methods / Distributed Systems / Concurrency Theory
Germany
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
