Hideyuki Kanazawa - Cloud Engineer at Citadel

Hideyuki Kanazawa

Cloud Engineer at Citadel

Singapore, Singapore

Join Prog.AI to see contacts

Summary

👤

Senior

🎓

Top School

Hideyuki Kanazawa is a Cloud Systems Engineer with nine years of experience building and operating cloud-native infrastructure across GCP, AWS, Azure and OCI, currently leading enterprise and high-frequency cloud networking at Citadel in Singapore. He combines SRE rigor with hands-on systems engineering—from running Kafka and digital-assets trading systems to architecting multi-cloud networking—enabling low-latency, resilient platforms for mission-critical workloads. A former SRE team lead at DBS and researcher in quantum technologies, he brings a strong analytical background (BSc Physics, math minor) and a knack for optimizing complex distributed systems. Hideyuki is also an open-source contributor to the Soufflé Datalog compiler, where he improved static type-printing for compiler diagnostics—an indication of his attention to tooling quality and static analysis.

9 years of coding experience

5 years of employment as a software developer

High School Diploma, Mathematics, Physics, Chemistry, High School Diploma, Mathematics, Physics, Chemistry at NUS High School of Mathematics & Science

Bachelor of Science - BS, Physics major, Mathematics minor (Specialization in Quantum Technologies), Bachelor of Science - BS, Physics major, Mathematics minor (Specialization in Quantum Technologies) at National University of Singapore

English, Chinese, Japanese

Stackoverflow

Stats

3reputation

44reached

0answers

1question

Github Skills (12)

type-system10

static-code-analysis10

translator10

c-language10

translators10

datalog10

cprogramming-language10

logic-programming10

flet10

ff10

csv6

batchfile6

Programming languages (3)

C++HTMLPython

Github contributions (5)

souffle-lang/souffle

Sep 2021 - Oct 2021

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Role in this project:

Back-end Developer

Contributions:3 reviews, 9 commits, 4 PRs in 29 days

Contributions summary:Hideyuki primarily contributed to the development of a type annotation printer for the Soufflé Datalog compiler. Their work involved implementing features to print type annotations for various language constructs, including atoms, negations, and binary constraints. The user also added support for printing type information related to user-defined functors, counters, and type casts, enhancing the compiler's ability to provide detailed type information. This suggests a focus on improving the static analysis capabilities of the compiler.

logic-programminganalysesc-plus-plusc-programlogic

hide-kawabata/traf

Apr 2018 - Jan 2021

Contributions:30 commits, 46 pushes, 1 branch in 2 years 9 months

Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.

Request Free Trial