Miscellaneous

Links

Research

• The three golden rules for successful scientific research, by E.W. Dijkstra.
• Some modest advice for graduate students, by Stephen C. Stearns.
• On-line advice about research writing, specifically in computer science, by Mary Shaw.
• How to give a technical presentation (how to give a scientific talk), by Michael Ernst.

Others

• LaTeX mathematical symbols.
  Basic mathematical symbols, very useful when you have no ideas to use which symbols. pdf
• LaTex standalone.
  Use it to create a figure in pdf standalone and then use pdf2svg to convert it to an SVG.
• PDFtk.
  Very useful tool to split, merge, rotate, watermark, stamp and secure PDF pages and documents.
• Ecoji.io | 🏣🔉🦐🩻🎁🪲🥰☕
  Encode and decode data using emojis. Github repo
• Emoji cheat sheet.
• Live server and VScode-live-server
  Http/https server with live reload capability.
• Font Awesome and Simple Icons

Books

Foundations of Computing

• Automata and Computability
  Dexter C. Kozen. Springer, 1997.

• Automata, Logics, and Infinite Games - A Guide to Current Research
  Erich Grädel, Wolfgang Thomas, Thomas Wilke. Springer, 2002.

Software Foundation

• Software Reliability Methods
  Doron A. Peled, Springer, 2001.

• Software Foundations

Model Checking

• Principles of Model Checking
  Christel Baier, Joost-Pieter Katoen, MIT Press, 2008.

• Handbook of Model Checking
  Edited by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem. Springer, 2018.

Decision Procedures

• The Calculus of Computation - Decision Procedures with Applications to Verification
  Aaron R. Bradley, Zohar Manna. Springer, 2007.

• Decision Procedures - An Algorithmic Point of View
  Daniel Kroening, Ofer Strichman. Second Edition, Springer, 2016.

Machine Learning

• Probabilistic Machine Learning
  Kevin Murphy. MIT Press, 2022.

Others

• 古人名字解诂 (Interpretation of Ancient Names)
  吉常宏, 吉发涵. 第二版, 商务印书馆, 2021.

• 中国书画家印鉴款识
  上海博物馆 编. 重印, 文物出版社, 2021.