Anand Kumar Keshavan profile photo 1 on Tal

Anand Kumar Keshavan

Software Developer| Researcher | Computational Linguistics | Generative AI| Formal Methods | Author | Musician(Retired)| Neurodivergent

Pune Division

13+ years of work experience

Self-Employed
Jan 20251 yr 8 mosPresent

Pune District, Maharashtra, India

As a lifelong researcher, I am curious about many subjects and go where my curiousity takes me!! NEW: Ralph- a coding Agent for Deepseek, Sarvam and Locally hosted Models. https://ralphy-server.fly.dev/ Here are the links to some of my projects: 1. Building a compiler using Rust and LLVM 2. The First programming language - a typed functional language 3. Spectre - a Formal specification and verification tool 4. Understanding Garbage collectors 5. A Deep Dive into LL Parser Generators 6.Building and RDBMS - Key concepts Follow the links on this page: https://akkeshavan.github.io/ak-webpage/
Postman
Jul 20224 yrs 2 mosPresent

Pune District, Maharashtra, India

Solving hard problems using computer science in development of the "zero-to-one" products in Postman Labs. Involved in research, architecture, development and coaching.
Extentia Information Technology
Jun 20193 yrsMay 2022

Pune/Pimpri-Chinchwad Area

Charting an ambitious course for meeting the Engineering Excellence targets of Extentia. The role involves building a strong culture of learning and inculcating a rigor amongst the engineering teams of Extentia. Architecting complex systems that can be extended, scaled, and maintained in the long term. Conducting rigorous reviews of all technical artifacts- code, design and architecture, by creating reference implementations.
SwanSpeed Consulting
Jan 20181 yr 6 mosJun 2019

Pune

Self Employed
Dec 20134 yrs 2 mosJan 2018

Self Employed
Jan 20135 yrs 1 moJan 2018

Pune/Pimpri-Chinchwad Area

Energy management , smart meters solutions

Anand’s AI Stack

antigravity
antigravity
cursor
cursor

Education

University of delhi

B. Com ( Hons), Business

University of delhi

19793 yrs1982

Join Anand and 10k+ other professionals on

Tal Boss

Tal is the app where bosses meet engineers & builders directly, without middlemen

Download Tal Boss

Anand Kumar Keshavan on Tal

Headline

Software Developer| Researcher | Computational Linguistics | Generative AI| Formal Methods | Author | Musician(Retired)| Neurodivergent

About

After a long and successful career building software related businesses, where I held top management positions in several companies, I have returned to by original passion- creating software that is rooted in the fundamental principles of computer science. Consultant for architecting new products , and re-engineering existing ones for massive scalability, maintainability and fault tolerance, using advanced concurrent/functional programming techniques. . Highlights: - Author of two books on Functional Programming - Re-engineering and migration of one of the most popular charting libraries to Javascript - Creating the system integration team for one of the earliest Linux based Operating systems for mobile phones ( ~2007) -Creating the team and re-architecting the technology stacks for one of the world's largest poker networks (~2006) - Leading the creation of semiconductor industry practice for a leading services company.( ~2001-5) - Invented the multi-factor authentication and related aspects of wireless payment systems.(2000) -Architected one of the earliest Object oriented languages/development toolchain that was targeted at business applications . ( 1992-1995) - One of the first SLR compiler-compiler systems for MS-DOS ( 1980s) - One of the earliest text search engines and NLP system ( 1980s) Worked across various countries such as US, UK, Europe and Japan.Possess domain knowledge in System software (compilers, operating system, embedded software, mobile, large scale applications). Rich experience in creating great product development teams. Publications: 1. The Magical World Of Functional Programming -Part I: Thinking Functional 2. Deep Dive. The Magical World Of Functional Programming- Part II GitHub: https://github.com/akkeshavan Experimental Projects: Spectre: A formal specification language. https://github.com/BoundlessProducts/spectre Hand on polyglot programmer. Languages : Node.JS, Javascript/TypeScript, Python Research languages: Rust, Haskell Formal Specification, Formal Verification using TLA+ GenAI: RAG pipelines with LLMs, Fine-tuning Huggingface and other models. Multi Agent (Agentic) systems using Autogen, LangGraph, own custom framework.

Location

Pune Division

AI stack

antigravity

cursor

Work experience

Research Projects ( On-going ) at Self-Employed, Jan 2025 - Present · 1 yr 8 mos, Pune District, Maharashtra, India, As a lifelong researcher, I am curious about many subjects and go where my curiousity takes me!! NEW: Ralph- a coding Agent for Deepseek, Sarvam and Locally hosted Models. https://ralphy-server.fly.dev/ Here are the links to some of my projects: 1. Building a compiler using Rust and LLVM 2. The First programming language - a typed functional language 3. Spectre - a Formal specification and verification tool 4. Understanding Garbage collectors 5. A Deep Dive into LL Parser Generators 6.Building and RDBMS - Key concepts Follow the links on this page: https://akkeshavan.github.io/ak-webpage/

Principal Engineer at Postman labs at Postman, Jul 2022 - Present · 4 yrs 2 mos, Pune District, Maharashtra, India, Solving hard problems using computer science in development of the "zero-to-one" products in Postman Labs. Involved in research, architecture, development and coaching.

Chief Technical Architect at Extentia Information Technology, Jun 2019 - May 2022 · 3 yrs, Pune/Pimpri-Chinchwad Area, Charting an ambitious course for meeting the Engineering Excellence targets of Extentia. The role involves building a strong culture of learning and inculcating a rigor amongst the engineering teams of Extentia. Architecting complex systems that can be extended, scaled, and maintained in the long term. Conducting rigorous reviews of all technical artifacts- code, design and architecture, by creating reference implementations.

Founder/Partner at SwanSpeed Consulting, Jan 2018 - Jun 2019 · 1 yr 6 mos, Pune

Independent consultant for product development companies, Director Codewalla at Self Employed, Dec 2013 - Jan 2018 · 4 yrs 2 mos

Co-Founder at Self Employed, Jan 2013 - Jan 2018 · 5 yrs 1 mo, Pune/Pimpri-Chinchwad Area, Energy management , smart meters solutions

Education

B. Com ( Hons), Business, University of delhi