About
I am a third-year PhD student in the Computer Science department at Columbia University, advised by Prof. Junfeng Yang. I also work closely with Prof. Suman Jana and am a member of the Center for Digital Finance and Technologies. My current work focuses on Software Security, Zero Knowledge Proofs, and AI agents.
I got a Bachelor of Arts and Science in Informatics from the University of Tokyo, where I was advised by Prof. Alex Fukunaga. During my undergraduate studies, I spent a gap year as a research intern at Tsinghua University, supervised by Prof. Yang Liu and Prof. Jingjing Liu.
I am also passionate about open-source development, and my projects have gained 1.4k+ GitHub stars in total.
Tip: The most useful information on this page, my favorite Japanese restaurants in NYC, is available at the very end.
links
Education
Columbia University in the City of New York
Ph.D. Student (Computer Science)
The University of Tokyo
Bachelor of Arts and Science (Informatics)
Papers
* first author
peer-reviewed
Efficient Branch-and-Bound Testing and Verification of zkVMs.
Hideaki Takahashi*, Suman Jana, Junfeng Yang
ACM Conference on Computer and Communications Security
zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits.
Hideaki Takahashi*, Jihwan Kim, Suman Jana, Junfeng Yang
IEEE Symposium on Security and Privacy
On the Transit Obfuscation Problem.
Hideaki Takahashi*, Alex Fukunaga
Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems
VFLAIR, A Research Library and Benchmark for Vertical Federated Learning.
Zou, Tianyuan, Zixuan Gu, Yuanqin He, Hideaki Takahashi, Yang Liu, Guangnan Ye and Ya-Qin Zhang
Proceedings of the International Conference on Learning Representations
Breaching FedMD, Image Recovery via Paired-Logits Inversion Attack.
Hideaki Takahashi*, Jingjing Liu, and Yang Liu
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition
preprints
Detecting buggy contracts via smart testing.
Sally Junsong Wang, Jianan Yao, Kexin Pei, Hideaki Takahashi, and Junfeng Yan
arXiv:2409.04597
Eliminating Label Leakage in Tree‑based Vertical Federated Learning.
Hideaki Takahashi*, Jingjing Liu, and Yang Liu
arXiv:2307.10318
Difficulty of Detecting Overstated Dataset Size in Federated Learning.
Hideaki Takahashi*, Kohei Ichikawa, and Keichi Takahashi
Technical Report of DPS, 10, Information Processing Society of Japan.
Talks
zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits
Zero Knowledge Frontier Japan: vol.2
Typical Bugs and Detection Methods in Implementing Zero‑Knowledge Proof Constraint
Selected security findings
Selected software
Research & industry
research
Fukunaga Lab, The University of Tokyo
Undergraduate Student
Conducted research on the transit obfuscation problem, which is a new task of privacy-preserving AI planning, under the supervision of Prof. Alex Fukunaga.
Institute for AI Industry Research, Tsinghua University
Federated Learning & Privacy Computing Intern
Conducted research on federated learning and privacy computing under the supervision of Prof. Yang Liu and Prof. Jingjing Liu.
Laboratory for Software Design and Analysis, Nara Institute of Science and Technology
Visiting Student
Conducted research on the free‑rider problem of federated learning under the supervision of Prof. Kohei Ichikawa and Prof. Keichi Takahashi.
industry
Apple Inc.
Technical Internship: AIML/Software Engineer
Working on AIML/software engineering.
UTokyo Economic Consulting Inc.
Research Assistant
Working on research and social implementations of econometrics and machine learning.
FRONTEO, Inc.
Research Intern
Worked on the detection of anomaly documents with NLP and network analysis.
Honors
Funai Foundation Scholarship
Scholarship · Granted two years of tuition and stipend
Kaggle, Google - Fast or Slow? Predict AI Model Runtime
Compiler Optimization, Automated Algorithmic Configuration
Kaggle, Santa 2020
AI Agent, Reinforcement Learning, Multi-Armed Bandit
Kaggle, Google Research Football with Manchester City F.C.
51st/1138 teams (silver medal)
AI Agent, Reinforcement Learning
Kaggle, Cornell Birdcall Identification
88th/1390 teams (bronze medal)
Audio Classification, Signal Processing
Service
reviewer
NeurIPS 2026
IEEE Transactions on Network Science and Engineering
IEEE Transactions on Medical Imaging
IEEE Transactions on Dependable and Secure Computing
Favorite Japanese restaurants in NYC
249 E 49th St New York, NY 10017
15 W 33rd St, New York, NY 10118
31 St Marks Pl, New York, NY 10003
61 N 11th St, Brooklyn, NY 11249
358 W 46th St, New York, NY 10036
95 Guernsey St, Brooklyn, NY 11222
Contact
Email: ht[3^5*11]@columbia.edu