Krishnan Govindraj
Software Engineer at TypeDB
Leuven, Flemish Brabant, Belgium
Summary
🤩
Rockstar🎓
Top SchoolKrishnan Govindraj is a software engineer with 12 years of experience building reliable, scalable systems across database engineering and distributed cloud storage. He currently contributes to TypeDB’s core reasoning engine and TypeQL, focusing on planner optimizations, reasoning correctness, and caching improvements that materially boost query performance and explainability. Previously he worked on Microsoft’s ADLS distributed file systems and on research projects like P#, blending production engineering with formal research. With an Advanced Master’s in AI from KU Leuven and a BE in Computer Science from BITS Pilani, he combines theoretical rigor with hands-on backend and database expertise. Colleagues can expect a pragmatic engineer who digs into algorithmic detail—from negative cycle detection to unifier constraints—to deliver robust, high-performance systems.
11 years of coding experience
1 year of employment as a software developer
Advanced Master's Artificial Intelligence, Advanced Master's Artificial Intelligence at KU LeuvenBITS Pilani, Birla Institute of Technology and Science
Github Skills (11)
javas10
edb10
databases10
reasoning10
java10
database10
logic10
data-structure9
algorithm9
data-structures9
algorithms9
Programming languages (13)
Github contributions (5)
typedb/typedb
Jun 2022 - Jan 2023
TypeDB: the power of programming, in your database
Role in this project:
Back-end Developer & Database Engineer
Back-end Developer & Database EngineerContributions:644 reviews, 25 commits, 274 PRs in 7 months
Contributions summary:Krishnan primarily contributed to the core functionality and optimization of the TypeDB database and its reasoning engine. Their work involved implementing and refining the reasoner's planner, including improvements to negative cycle detection, and the addition of stratified forward chaining for reasoning tests. They also addressed bugs related to explanation completeness and made enhancements to the unifier, focusing on value constraints. Furthermore, the user worked on improving the answer count model for the reasoner planner, and caching mechanisms.
hyper-relationalknowledge-baseknowledge-graphagdagraph-theory
krishnangovindraj/typedb-behaviour
May 2022 - Apr 2025
TypeDB Behaviour Test Specification
Contributions:205 pushes, 82 branches in 2 years 10 months
testingspecificationbehaviourtypedb
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.