我的研究生活
兴趣
- Cellular Automata (John von Neumann, E.F. Codd, John H. Conway, Stephen Wolfram, etc.; e.g., traffic flow modeling)
- Formal theorem proving/Type theory in mathmatical software programs(e.g., in Maple)
- Data Science/Machine learning/deep learning (Vladimir Vapnik, Leslie Valiant, Michael I. Jordan⭐️, Geoff Hinton, Yann Lecun⭐️, Yoshua Bengio⭐️, Andrew Ng⭐️, Dimitris Achlioptas⭐️, E. Candes⭐️, Michael Mahoney, Petros Drineas, Naftali Tishby⭐️)
Random matrix theory
(Eugene P. Wigner, Freeman Dyson, Athony Zee, Terence(Terry) Tao⭐️, L. N. Trefethen, Alan Edelman⭐️, Peter J. Forrester, R. J. Muirhead, Romain Couillet⭐️, Gerard Ben Arous⭐️, David Donoho⭐️, Zhidong Bai, etc.; e.g., applications in DL(optimization, saddle points, RNN))
- Tropical geometry/Semiring algebra (Imre Simon, Jean-Eric Pin, B. Sturmfels; e.g., piecewise linear function ReLU)
- Ultradiscrete system (Ryogo Hirota, S. Satsuma, Tetsuji Tokihiro, Daisuke Takahashi; e.g., soliton interaction)
博客
个人博客:
机构博客:
杂志
问答类
项目
- C/C++
- Coq
- Haskell
- Julia
- Numerical algorithms in matrix ensembles
- Compressed sensing(Harmonic analysis)
- Foundations of RMT
- Free probability theory
- Data science in Julia language
- High Performance Computing in Julia language
- Maple
- Dynamical behaviors in ultradiscrete systems
- Matlab
- Processing: from MIT Media Lab
- Python
其它
Written on
January
15th,
2017
by
李军
Feel free to share!