Rocq 中文社区
Users following Rocq-zh
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
DU Yu
duyu09
DU Yu (杜宇; ĐỖ Vũ), B.Eng. from Qilu University of Technology; M.Eng. candidate in Computer S.&T. at Lanzhou Jiaotong University. Research focus: TSF / ML / NLP
Lanzhou Jiaotong University / Qilu University of Technology (蘭州交通大學/齊魯工業大學; ĐH Giao Thông Lan Châu / ĐH Công Nghiệp Tề Lỗ) Jinan, Shandong Province, P.R.China / Lanzhou, Gansu Province, P.R.China (中國山東省濟南市/中國甘肅省蘭州市; TP.Tế Nam, Tỉnh Sơn Đông, TQ / TP.Lan Châu, Tỉnh Cam Túc, TQ)
