michael1015198808/connectbot

ConnectBot is the first SSH client for Android.

Updated at 2023.04.05.

Basic Info

I'm a PhD student at Peking University, major in Computer Science and Technology.

Like many students in this major, I enjoy writing codes, and pursue cool coding styles and tools.

I like things that have beautiful forms. Thus, I'm interested in mathematics, functional programming languages and the math model behind them.

I'm interested in practical technologies as well.

I'm a fan of

Statistics

Current Status

🌱 Studying

• Summary Generation (for modular program analysis).
• Fault Localization.
• JavaScript (especially parts concerning DOM and chromium).
• Japanese.

📘 Reading

😢 No reading recently.

🎮 Playing

• 

  Sekiro (隻狼、せきろう).

  • 1 achievement away from the platinum trophy.
  • Trying interesting mods (like Resurrection).

• 

  Card Shark.

• 

  Dark Souls III (ダークソウルIII).