Dr. Pradeep H K

Associate Consultant

Bengaluru, Karnataka, India19 yrs 2 mos experience
Most Likely To SwitchHighly Stable

Key Highlights

  • Nearly two decades of academic and research experience.
  • Led nationally and internationally funded research projects.
  • IBM-certified AI Practitioner with expertise in AI technologies.
Stackforce AI infers this person is a seasoned researcher in Computer Science and Engineering with a focus on AI and Compiler Technologies.

Contact

Skills

Core Skills

Compiler ConstructionFormal VerificationCompiler Optimization

Other Skills

LLVMC++Data StructuresFinite AutomataCOQGNU Compiler Collection (GCC)CompilersFormal LanguagesFormal MethodsRISC-VPass compilerClangCross CompilersJFLAPArtificial Intelligence (AI)

About

With nearly two decades of academic and research experience in Computer Science and Engineering, I specialize in both core theoretical foundations and applied industry technologies. My research spans Theoretical Computer Science & Formal Verification of Systems, LLVM Compilers & RISC-V Architecture, Artificial Intelligence & IBM Watsonx, Digital Agriculture & Intelligent Irrigation Systems and Indian Education Policies (NEP 2020). I have led nationally and internationally funded research projects as Principal Investigator—including international funding from IBM, USA—and have coordinated several AICTE-ATAL / IBM sponsored Capacity Building Programs. I am also an IBM-certified AI Practitioner. I have collaborated with esteemed institutions and research organizations such as IIT Bombay, ICAR-IISWC, ICAR- CCARI, IBM, Thales R&D and the University of Agricultural Sciences (Dharwad and Bengaluru) through joint publications, funded projects, FDPs, and industry-academic fellowships.

Experience

19 yrs 2 mos
Total Experience
3 yrs 10 mos
Average Tenure
14 yrs 5 mos
Current Experience

Thales

Research Intern

Sep 2024Mar 2025 · 6 mos · India · Hybrid

  • Compilers, Finite Automata, Context Free Grammar, Turing Machine.
C++ClangCompiler OptimizationCompiler ConstructionGNU Compiler Collection (GCC)Pass compiler+1

Jss academy of technical education karnataka

2 roles

Associate Professor

Promoted

Dec 2022Present · 3 yrs 6 mos

LLVMC++Data StructuresFinite AutomataCOQGNU Compiler Collection (GCC)+8

Assistant Professor

Jan 2012Dec 2022 · 10 yrs 11 mos

Finite Automata

Sri venkateshwara college of engineering, bangalore

Assistant Professor

Aug 2010Dec 2011 · 1 yr 4 mos

Atria institute of technology

Faculty Lecturer

Aug 2009Jul 2010 · 11 mos · Bengaluru, Karnataka, India · On-site

  • Teaching and Reasearch

Nagarjuna college of engineering and technology

Faculty Lecturer

Aug 2007Jul 2009 · 1 yr 11 mos · Bengaluru, Karnataka, India · On-site

  • Teaching and Reasearch

Mphasis

Intern

Jan 2007Aug 2007 · 7 mos · Bengaluru, Karnataka, India · On-site

Education

Visvesvaraya Technological University

Doctor of Philosophy - Ph.D — Computer Science & Engineering

Jun 2015Mar 2021

Visvesvaraya Technological University

M.Tech — Computer Science & Engineering

Aug 2008Present

Visvesvaraya Technological University

B.E — Computer Science & Engineering

Aug 2003Present

St.Mary's School

Jun 1998Present

Stackforce found 100+ more professionals with Compiler Construction & Formal Verification

Explore similar profiles based on matching skills and experience