Hideaki Takahashi
Hideaki Takahashi has no recent reposts yet.
Hideaki Takahashi
PhD @ Columbia researching AI & system security | https://github.com/h5i-dev/h5i (Axum‑based Rust web framework designed for formal verification with Lean 4)
Hideaki Takahashi has no recent reposts yet.
PhD @ Columbia researching AI & system security | https://github.com/h5i-dev/h5i (Axum‑based Rust web framework designed for formal verification with Lean 4)
