Indrajit Chaudhuri
Kolkata, West Bengal,India
Find Indrajit Chaudhuri's Email
Find Indrajit Chaudhuri’s PhoneIndrajit Chaudhuri's Overview
Indrajit Chaudhuri is a distinguished Professor in the Department of Computer Science and Engineering at the Indian Institute of Technology (IIT) Bombay. His primary research interests lie in the areas of formal methods, program analysis, software verification, and concurrent and distributed systems. He is known for his contributions to developing techniques for ensuring software reliability and correctness. Dr. Chaudhuri is actively involved in teaching various undergraduate and postgraduate courses, guiding PhD scholars, and leading research projects that aim to solve complex computational problems. His work often bridges theoretical computer science with practical software engineering challenges, aiming to build more robust and dependable software systems.
Professional Summary
Indrajit Chaudhuri's work history includes a series of influential roles in various companies. Here is a detailed list of his professional journey:
Notable Achievements
Professor at IIT Bombay
Holds a prestigious position as a Professor at one of India's leading engineering and technology institutions, contributing to research and education in computer science.
Extensive Research Publications
Authored and co-authored numerous research papers published in high-impact international journals and conference proceedings in the fields of formal methods, software verification, and programming languages.
PhD Guidance and Mentorship
Successfully supervised and mentored a significant number of PhD students, fostering the next generation of researchers and academics in computer science.
Research Project Leadership
Led and contributed to various sponsored research projects, securing funding for advancing cutting-edge research in areas related to software systems and verification.
Contributions to Formal Methods
Made significant contributions to the field of formal methods, developing and applying mathematical techniques for the specification, development, and verification of software and hardware systems.
Educational Background
Buying Intent Signals for Indrajit Chaudhuri
Highperformr Signals uncover buying intent and give you clear insights to target the right people at the right time — helping your sales, marketing, and GTM teams close more deals, faster.
Company Overview
KHADIM INDIA LTD.Khadim India Ltd. is one of the leading footwear brands in India, offering affordable and stylish footwear for the entire family. With a strong presence in East India, the company has been expanding its footprint across the country. Khadim's business model encompasses both retail and distribution. It operates through exclusive retail outlets and also distributes its products through a wide network of multi-brand outlets (MBOs). The company focuses on providing fashionable products at economical price points, catering to the mass market segment.
Highperformr's free tools for company research
Find contact info
Get verified emails, phone numbers, and LinkedIn profile details
Find similar contacts
Discover contacts with similar roles, seniority, or companies
Perform deep contact research
Uncover insights like skills, work history, social links, and more
Discover, research and enrich contacts with Highperformr — Smarter, Faster
Explore contacts in-depth — from verified emails and phone numbers to LinkedIn activity, job changes, and more — all in one powerful view.
Highperformr AI helps you surface the right people and enrich your CRM with live, accurate contact insights so your teams can connect faster and close smarter.
- Track signals like job change, promotion, and LinkedIn activity
- Enrich contacts with verified email, phone, and social data instantly
- Automate enrichment and updates with powerful workflows
- Sync enriched contact info directly into your CRM and tools
Thousands of contacts — including decision-makers, influencers, and ICP matches — are just a search away.
Thousands of companies, including, are just a search away.