The Business of Tomorrow: esponi alla Fiera Internazionale e Festival sull'Innovazione: AI, Tech e Digital
Torna indietro
Hrishikesh Karmarkar
Tata Consultancy Services Research
💡 Strong Theoretical Foundation: Backed by a robust background in theoretical computer science, I bring a deep understanding of foundational principles to every project. This expertise enables me to devise innovative approaches and tackle complex problems with clarity and precision.
🔬 Expert Leadership: As a seasoned leader, I've spearheaded teams in the creation of industrial-scale software analysis tools for safety-critical systems. Leveraging techniques like abstract interpretation, I've led the design and implementation of novel abstract domains, to ensure robustness and reliability in software systems.
🌟 Current Focus: In my role as a Senior Scientist at TCS Research, I orchestrate research endeavors at the convergence of formal verification and AI/ML systems. My current projects span the verification of deep learning systems and the application of AI/ML techniques, including LLMs, to enhance test automation methodologies. I also contribute to the development of state-of-the-art tools that have been consistently benchmarked against the best in the world at international competitions.
🌐 Vision for Collaboration: I thrive on collaboration and innovation, constantly seeking opportunities to collaborate with like-minded professionals and organizations. Let's connect to explore synergies and drive impactful advancements at the intersection of software verification, AI/ML, and beyond.
🔬 Expert Leadership: As a seasoned leader, I've spearheaded teams in the creation of industrial-scale software analysis tools for safety-critical systems. Leveraging techniques like abstract interpretation, I've led the design and implementation of novel abstract domains, to ensure robustness and reliability in software systems.
🌟 Current Focus: In my role as a Senior Scientist at TCS Research, I orchestrate research endeavors at the convergence of formal verification and AI/ML systems. My current projects span the verification of deep learning systems and the application of AI/ML techniques, including LLMs, to enhance test automation methodologies. I also contribute to the development of state-of-the-art tools that have been consistently benchmarked against the best in the world at international competitions.
🌐 Vision for Collaboration: I thrive on collaboration and innovation, constantly seeking opportunities to collaborate with like-minded professionals and organizations. Let's connect to explore synergies and drive impactful advancements at the intersection of software verification, AI/ML, and beyond.