Karthik Ravikanti
Senior Software Engineer at Ensign InfoSecurity
Singapore, Singapore
Summary
👤
Senior🎓
Top SchoolKarthik Ravikanti is a versatile Senior Software Engineer with a decade of experience building backend systems across finance, payments, and monitoring domains, currently focusing on productizing ML models at Ensign InfoSecurity. He has shipped production services in Rust, C++, Scala and Haskell, played key roles on real-time market data, trading backends and payment platforms, and is comfortable across low-level systems and web stacks. His background includes protocol and networking work, parser and code-analysis tool development in Haskell, and on-the-job learning of Rust, React and monitoring tooling—evidence of a pragmatic polyglot who quickly masters new technologies. He’s steadily deepening formal methods and dependently typed programming (TLA+, Agda) alongside day-to-day engineering, bringing both rigor and curiosity to complex system design. Based in Singapore, Karthik combines hands-on implementation experience with a penchant for clean, verifiable software and operationalized deployments.
10 years of coding experience
14 years of employment as a software developer
Bachelor of Technology Electronics and Communications, Bachelor of Technology Electronics and Communications at International Institute of Information Technology Hyderabad (IIITH)CBSE 10th class CBSE, CBSE 10th class CBSE at Hindu Public School, Sanathnagar, Hyderabad
Hindi, English, Telugu, Japanese
Stackoverflow
1,682reputation
155kreached
26answers
35questions
Github Skills (162)
ivy10
nix-shell10
fp-ts10
haskell10
rust-lang10
automatic-updates10
emacs10
compiler10
rust10
elisp10
magit10
lang10
autoupdate10
lint10
updater10
Programming languages (17)
Github contributions (5)
plumenator/fp-course
Dec 2020 - Mar 2022
Functional Programming Course
Contributions:80 pushes, 74 branches in 1 year 2 months
programming-coursefunctional-programming
plumenator/rustlings
May 2021 - Aug 2024
:crab: Small exercises to get you used to reading and writing Rust code!
Contributions:13 pushes, 10 branches in 3 years 3 months
rustcrabmdbookrust-lang
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.