Contact:
No. 200 Jinsu Road Shanghai 201206 Email： leizhendong3@huawei.comAbout me: I am a researcher in Huawei Taylor Lab. I received my PhD degree from Institute of Software Chinese Academy of Sciences, advised by Prof Shaowei Cai. After that, I joined Huawei Taylor Lab and assisted Professor Pinyan Lu, the chief scientist of Taylor Lab, in building Taylor solver team. Currently, I am the technical leader of the TAYLOR solver project. My research is mainly focused on operations research and solver development. As the first author, I have published multiple papers at top international conferences such as AAAI/IJCAI/CP, won multiple championships in related fields and international competitions. I have also won honors such as the Olympic Gold Medal presented by the International Joint Logic Conference, the Special Award of the President of the Chinese Academy of Sciences, and the Huawei Gold Medal Individual.[Chinese Resume] Research Interests: I have a broad interest in the efficient algorithm design for constraint solving and optimization, especially the MIP solver techniques in the operation research (OR) community and SAT solvers techniques in the computer science (CS) community. I’m trying to combine the algorithmic techniques from both OR and CS to design a more efficient solver. |
|
|
My dblp site Publications:
|