Dr. Lakshmanan K

Designation : Professor Higher Academic Grade
School / Centre : School of Computer Science and Engineering
Department : Analytics

Educational Details

Indian Institute of Technology (IIT) Madras

Ph.D.
theoretical computer science
Graduated in 2004

VIT, Vellore

M.Tech.
CSE specialization in AI & ML
Graduated in 2025

Bharathidasan University, Trichy

M.Sc.
Mathematics
Graduated in 1998

Post Doctoral Experiences

Tata Institute of Fundamental Research (TIFR) - 2 years 3months, European Research Consortium for Informatics and Mathematics (ERCIM) Postdoctoral Fellow at CWI, Amsterdam, The Netherlands and INRIA, Rocquencourt, France - 1.5 years


Research Details

Areas of Specialization
  • Formal languages and automata theory
  • algorithms
  • game theory
  • game theory
  • epistemic logic

: 12
: 19

Ongoing Funded Project Details

Title Funding Agency
Succinct Representation of Grammars: Theory and Applications DST-DAAD (India-Germany) - 2024-2026

Completed Funded Project Details

Title Funding Agency
Ambiguity, Semantic Issues and Tool Development in Contextual Grammars DST
Formal Validation of Artificial Intelligence Applications – the case of Spiking Neural P Systems Royal Society, London, UK

Awards & Recognitions Details

  • ERCIM Postdoc fellow, INSA (Indian National Science Academy) Bilateral Research Fellowship to Czech Republic

International Collaborations

  • Prof. Henning Fernau,University of Trier, Trier, Germany
  • Prof. Marian Gheorghe, University of Bradford, Bradford, UK
  • Prof. Sergey Verlan, University of Creteil, Paris, France

Other Information