_index.org

Houjun's Academic Home Page

Last edited: June 6, 2026

👋 Howdy, I'm Houjun Liu!

I’m a third-year coterminal MSCS and BSCS student in the Computer Science Department at Stanford University, grateful to be advised by Prof. Mykel Kochenderfer. In the course of my research, I have also had the fortunate opportunity to work with Stanford NLP under Prof. Chris Manning, CMU TalkBank under Prof. Brian MacWhinney, and Prof. Xin Liu at UC Davis Engineering. I am affiliated with the Stanford NLP Group and Stanford Intelligent Systems Lab. I’m visiting Microsoft Research Frontiers as a research intern.

verefiable computation

Last edited: June 6, 2026

SU-EARTHSYS11 MAY222026

Last edited: May 5, 2026

Global Electricity Usage

The amount of non Co2 generating sources have increased.

Yet, the absolute value didn’t decrease; the total rate, especially in the rest of the world, has actually significantly increased.

Trees

One way to remove Co2 is to plant trees; but, any oxidative reactions (respiration, being burnt) will reverse this reaction.

Worms!

they chew on leafs and quarts int smaller pieces,

basalt spreading

Take (mayfic) basalt, spread it everywhere, and enhance silicate weathering. From there they

stress

Last edited: May 5, 2026

stress is the force per unit area applied to Bending a piece of solid object

geolegical stress regimes

  • extensional (normal faults)
  • compressional (thrust and rdeverse)
  • strike-slip