Kanduru Venkata Krishna

A faculty member at Department of Mathematics, IIT Guwahati. Works in general algebraic systems having importance in theoretical computer science.

Address: Department of Mathematics, IIT Guwahati, Guwahati - 781039, India.

Tel.: +91 361 258 2605(O)/4605(R)/2649(F), +91 995 471 4321 (M)

Email: kvk@iitg.ac.in

Received Ph.D. from IIT Delhi in the year 2006 and M.Sc. from Andhra University in the year 1997.

Teaching career started in 1997 and research career in 2002. Since then trained students at various levels across different types of Institutes. Held the following positions in this journey:

At IIT Guwahati:

• Professor since Feb 2019.
• Associate Professor from Nov 2013 to Jan 2019.
• Assistant Professor from May 2008 to Nov 2013.
• Sr. Lecturer from Nov 2006 to May 2008.

At ISI, New Delhi:

• Visiting Scientist from Jan 2006 to Nov 2006.

At IIT Delhi:

• Teaching Assistant from July 2002 to Dec 2005.

At Jawaharlal Nehru University, New Delhi:

• Guest Faculty from Aug 2003 to May 2005.

At Andhra University, Visakhapatnam:

• Lecturer at Dr. L. B. Post Graduate College from Jan 1999 to July 2002.
• Lecturer at TSR & TBK Degree College from Aug 1997 to Jan 1999.

Research Papers

Journals

Proceedings

Preprints

Conferences/ Workshops

Organizer

Chair

Talks

Lectures

Students

Ph.D.

Project

Journal Papers

Characterization of Double-Arborescences and their Minimum Length Word-Representants,
Discrete Applied Mathematics,
To appear, 2025.
(Coauthor: Tithi Dwary)
arXiv:2412.17642

An Upper Bound for the Permutation-Representation Number of Bipartite Graphs,
Journal of Information Processing,
To appear, 2025.
(Coauthor: Khyodeno Mozhui)
DOI: , arXiv:2311.13980
(Khyodeno Mozhui presented at 26th Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG³ 2024), Tokyo, Japan, held during 10-12 September 2024.)

Characterization of Word-Representable Graphs using Modular Decomposition,
Communications in Combinatorics and Optimization,
To appear, 2025.
(Coauthor: Tithi Dwary)
DOI:10.22049/cco.2025.30487.2494, arXiv:2412.17648
(Tithi Dwary presented at the International Conference on Graph Theory and its Applications, Bangalore, held during 20-22 June, 2024.)

Word-Representability of Graphs with respect to Split Recomposition,
Discrete Applied Mathematics,
357, 310-321, 2024.
(Coauthor: Tithi Dwary)
DOI:10.1016/j.dam.2024.06.022, arXiv:2401.01954

A branch group in a class of non-contracting weakly regular branch groups,
International Journal of Algebra and Computation,
34(6), 901-918, 2024.
(Coauthor: Sagar Saha)
DOI:10.1142/S021819672450036X, arXiv:2311.06393

On the structure of C-algebras through atomicity and if-then-else,
Algebra Universalis,
81(2), Article-22 (27 pages), 2020.
(Coauthors: Gayatri Panicker and Purandar Bhaduri)
DOI:10.1007/s00012-020-0648-7, arXiv:1804.00568

Monoids of Non-halting Programs with Tests,
Algebra Universalis,
79(1), Article-8 (29 pages), 2018.
(Coauthors: Gayatri Panicker and Purandar Bhaduri)
DOI:10.1007/s00012-018-0490-3, arXiv:1702.05752

On the minimum degree, edge-connectivity and connectivity of power graphs of finite groups,
Comm. Algebra,
46(7), 3182-3197, 2018.
(Coauthor: Ramesh Prasad Panda)
DOI:10.1080/00927872.2017.1407424, arXiv:1705.04122

On Connectedness of Power Graphs of Finite Groups,
J. Algebra Appl.,
17(10), 1850184 (20 pages), 2018.
(Coauthor: Ramesh Prasad Panda)
DOI:10.1142/S0219498818501840, arXiv:1703.08834

Axiomatization of if-then-else over Possibly Non-halting Programs and Tests,
Internat. J. Algebra Comput.,
27(3), 273-297, 2017.
(Coauthors: Gayatri Panicker and Purandar Bhaduri)
DOI:10.1142/S0218196717500138, arXiv:1609.00132, MR 3658502

The Holonomy Decomposition of some Circular Semi-Flower Automata,
Acta Cybernet.,
22(4), 791-805, 2016.
(Coauthor: Shubh Narayan Singh)
DOI:10.14232/actacyb.22.4.2016.4, arXiv:1306.2548, MR 3592251

Rank Properties of the Semigroup Reducts of Affine Near-Semirings over Brandt Semigroups,
Semigroup Forum,
93(3), 516-534, 2016.
(Coauthor: Jitender Kumar)
DOI:10.1007/s00233-016-9826-5, arXiv:1308.4087 and arXiv:1311.0789, MR 3572415

Syntactic Semigroup Problem for the Semigroup Reducts of Affine Near-semirings over Brandt Semigroups,
Asian-Eur. J. Math.,
9(1), 1650021 (10 pages), 2016.
(Coauthor: Jitender Kumar)
DOI:10.1142/S1793557116500212, arXiv:1506.02972, MR 3463192

The Large Rank of a Finite Semigroup using Prime Subsets,
Semigroup Forum,
89(2), 403-408, 2014.
(Coauthor: Jitender Kumar)
DOI:10.1007/s00233-014-9577-0, arXiv:1308.5382, MR 3258489

Affine Near-Semirings over Brandt Semigroups,
Comm. Algebra,
42(12), 5152-5169, 2014.
(Coauthor: Jitender Kumar)
DOI:10.1080/00927872.2013.833211, arXiv:1301.6438, MR 3223632

A Sufficient Condition for the Hanna Neumann Property of Submonoids of a Free Monoid,
Semigroup Forum,
86(3), 537-554, 2013.
(Coauthor: Shubh Narayan Singh)
DOI:10.1007/s00233-012-9449-4, arXiv:1112.4256. MR 3053778

The Rank and Hanna Neumann Property of Some Submonoids of a Free Monoid,
Ann. Math. Inform.,
40, 113-123, 2012.
(Coauthor: Shubh Narayan Singh)
arXiv:1112.4250. MR 3005120

Holonomy Decomposition of Seminearrings,
SEAMS Bulletin,
31(6), 1113-1122, 2007.
(Coauthor: N. Chatterjee)
MR 2386989

Representation of Near-Semirings and Approximation of Their Categories,
SEAMS Bulletin,
31(5), 903-914, 2007.
(Coauthor: N. Chatterjee)
MR 2362531

A Necessary Condition to Test the Minimality of Generalized Linear Sequential Machines Using the Theory of Near-Semirings,
Algebra Discrete Math.,
(3), 30-45, 2005.
(Coauthor: N. Chatterjee)
MR 2237893

In Proceedings

The representation number and prn of stacked book graphs. In Current Progress in Engineering Science. Select Papers of RIC 2024, volume 1. Springer, 2025 (Coauthor: Khyodeno Mozhui)

On Syntactic Complexity of Circular Semi-flower Automata. In Implementation and Application of Automata. CIAA 2018,, volume 10977 of Lecture Notes in Computer Science, pp. 312-323. Springer, 2018 (Coauthor: Shubh Narayan Singh) DOI:10.1007/978-3-319-94812-6_26, arXiv:1306.3492, MR 3840352

L-Primitive Words in Submonoids of a Free Monoid. In Recent Advances in Mathematics, Statistics and Computer Science, pp. 322-330, World Scientific, 2016. (Coauthor: Shubh Narayan Singh) DOI:10.1142/9789814704830_0029, MR 3586956

Radicals and ideals of affine near-semirings over brandt semigroups. In Semigroups, Algebras and Operator Theory, volume 142 of Springer Proceedings in Mathematics & Statistics, pp. 123-133. Springer, 2015. (Coauthor: Jitender Kumar) arXiv:1506.02979, DOI:10.1007/978-81-322-2488-4_10, MR 3451802

Towards Shortest Synchronizing Words in Polynomial Time, In Proceedings of the 13th International Conference on Automata and Formal Languages (AFL'11), Debrecen, Hungary, August 17-22, 2011, pp. 358-367. (Coauthor: V.T.K. Pramod)

On Directing Sequences of Reset Automata, In proceedings of International Conference on Recent Advances in Mathematical Sciences and Applications (RAMSA '09), Visakhapatnam, December 19-22, 2009. pp. 209-214.

Towards Holonomy Decomposition of Process Algebras, In Proceedings of the National Conference on Innovative Computational Intelligence-08 (NCICI'08), Chennai, September 25-26, 2008, pp.242-249. (Coauthor: Purandar Bhaduri)

Preprints

L-Primitive Words (Under Preparation).

Organizer

Mathematics Training and Talent Search (M.T.T.S.) Programme, June 23 - July 19, 2014. Photo

Session Chair

On April 29, 2014 at the International Conference on Algebra and Applications (ICAA-2014), Visakhapatnam, April 29 - May 01, 2014.

On May 9, 2013 at the National Conference on Pure and Applied Mathematics (NCPAM'2013), Guwahati, May 9-10, 2013.

On August 22, 2011 at the 13th International Conference on Automata and Formal Languages (AFL'11), Debrecen, Hungary, August 17-22, 2011.

On September 26, 2008 at the National Conference on Innovative Computational Intelligence-08 (NCICI'08), Chennai, September 25-26, 2008.

Talks

On the Representation Number of Bipartite Graphs at the 19th International Conference on Relational and Algebraic Methods in Computer Science: (RAMiCS 2021), CIRM - Luminy, France, November 02-05, 2021. (Coauthors: Khyodeno Mozhui)

On the Atomicity of the Algebra of Conditional Logic at the 99th Workshop on General Algebra: AAA99, Siena, Italy, February 21-23, 2020. (Coauthors: Gayatri Panicker and Purandar Bhaduri)

On Syntactic Complexity of Circular Semi-flower Automata at the 23rd International Conference on Implementation and Applications of Automata: CIAA 2018, Charlottetown, Canada, July 30 - August 02, 2018. (Coauthor: Shubh Narayan Singh).

Axiomatization of if-then-else over C-algebras at the 93rd Workshop on General Algebra: AAA93, Bern, Switzerland, February 10-12, 2017. (Coauthors: Gayatri Panicker and Purandar Bhaduri)

Syntactic Complexity of Circular Semi-Flower Automata at the International Conference on Algebra and Applications (ICAA-2014), Visakhapatnam, April 29 - May 01, 2014.

The Large Rank of the Semigroup of Order-Preserving Singular Maps at the International Conference on Semigroups Algebras and Operator Theory: ICSAOT-2014, Cochin, India, February 26-28, 2014. (Coauthor: Jitender Kumar)

On the Ranks of Additive Semigroup Reducts of Affine Near-Semirings over Brandt Semigroups at the Conference General Algebra and Its Applications: GAIA 2013, Melbourne, Australia, July 15-19, 2013. (Coauthor: Jitender Kumar)

On the Rank of the Intersection of Two Submonoids of a Free Monoid at the International Conference A^3: Abstract Algebra and Algorithms Conference, Eger, Hungary, August 14-17, 2011. (Coauthor: Shubh Narayan Singh)

On Directing Sequences of Reset Automata at the International Conference on Recent Advances in Mathematical Sciences and Applications (RAMSA '09), Visakhapatnam, December 19-22, 2009.

Theory of Radicals of Seminearrings at the International Congress of Mathematicians 2006 (ICM2006), Madrid, Spain, August 22-30, 2006. (Coauthor: D. Ramakotaiah)

Near-Semirings in Generalized Linear Sequential Machines at the 20th Conference for Young Algebraists and 69th Workshop on General Algebra, Potsdam, Germany, March 18-20, 2005. (Coauthor: N. Chatterjee)

A Computational Model for Real-World Planning and Scheduling Problems has been presented at the Sixth International Conference of the APORS 2003, New Delhi, December 8-11, 2003. (Coauthored and Presented by N. Chatterjee)

Resource Person

Lecture on NP-Completeness at Faculty Development Programme on Mathematics and Its Application in Science & Engineering, Shri Mata Vaishno Devi University, 27 September - 01 October, 2021.

Lectures on Structure of Groups at Winter School and Conference on Algebra and Number Theory, Tezpur University, December 23-29, 2011.

Lectures on Elementary Number Theory at Mathematics Training and Talent Search Programme (MTTS), IIT Guwahati, May 26-June 21, 2008.

Ph.D. Students

Sakshi Vyas

Enrollment	: January, 2025
Area	:

Tithi Dwary

Enrollment	: July, 2021
Area	: Words and Graphs

Soni Kumari

Enrollment	: Sep, 2020 (Working Part-Time)
Area	: Semigroups

Sagar Saha

Area	: Branch Groups
Thesis	: A Family of Non-Contracting Branch Groups
Submission	: 29.07.2025

Khyodeno Mozhui

Area	: Words and Graphs
Thesis	: Representation Number of Word-Representable Graphs
Submission	: 28.07.2025

Ramesh Prasad Panda

Area	: Power Graphs
Thesis	: Connectedness and Spectral Properties of Power Graphs of Finite Groups
Submission	: 27.04.2018
Viva Voce	: 06.09.2018
At Present	: Assistant Professor, VIT-AP University, Amaravati

Gayatri Panicker

Area	: Algebraic Logic
Thesis	: If-then-else over the Algebra of Conditional Logic
Submission	: 16.02.2017
Viva Voce	: 03.02.2018
Co-supervisor	: Prof. Purandar Bhaduri
At Present	: Assistant Professor, Vellore Institute of Technology, Vellore

Jitender Kumar

Area	: Semigroup Theory
Thesis	: Affine Near-Semirings over Brandt Semigroups
Submission	: 20.03.2014
Viva Voce	: 29.07.2014
At Present	: Associate Professor, BITS Pilani, Pilani

Shubh Narayan Singh

Area	: Algebraic Automata Theory
Thesis	: Semi-Flower Automata
Submission	: 22.08.2012
Viva Voce	: 01.11.2012
At Present	: Assistant Professor, Central University of South Bihar, Gaya

Project Students

M.Sc.

2018	: Ashok Kumar Sharma, Khyodeno Mozhui
2017	: Arvind, Mohit Parashar
2016	: Arun Kumar
2015	: Naveen Chandra Bhagat
2011	: V.T.K. Pramod, Urmi Nayak
2010	: Shyam Sunder Iyer
2009	: Bhanuprasad Reddi
2008	: D.N.S.V.L. Rajesh Reddy, Uday Pratap Singh

B.Tech.

2019	: Matcha Nikhil
2018	: B. Ch. L. Kavya, Prakhaar Bhargava, A. V. N. K. Sai Charan, Akul Goel
2017	: Rahul Kumar Patwari
2016	: Harsh Abhishek
2015	: Siripurapu Bhargav
2014	: Raju Ram, Rajesh Yarlagadda
2013	: Ritesh Nainani, Kunal Bariwal
2012	: Muchenthula Anil Kumar Reddy, Ajay Mehra

Current Semester

MA1305H Single Variable Calculus
MA1505H Multi Variable Calculus

At IITGCourse Instructor for:

Mathematics-I (MA 101: Autumn 2012, Autumn 2017)
Mathematics-II (MA 102: Spring 2015, Spring 2019, Spring 2021)

Discrete Mathematics (MA 221: Summer 2008, Autumn 2015, Autumn 2016, Autumn 2023; MA 501: Autumn 2014; DA 242: Autumn 2023)
Modern Algebra (MA 222: Autumn 2018, MA 521: Autumn 2021, MA 312M: Spring 2022)
Elementary Number Theory and Algebra (MA 222: Autumn 2019)
Formal Languages and Automata Theory (CS 301/MA 513: Autumn 2008, Autumn 2009; MA 351/CS 203: Spring 2012, MA 351: Spring 2017)
Theory of Computation (CS 302: Spring 2008; CS 302/MA 352: Spring 2009, Summer 2009, Spring 2010, Summer 2010; MA 514: Spring 2011)
Theory of Computation (MA 453: Autumn 2014)
Theory of Computation (MA 514: Autumn 2022; MA 351: Spring 2025)
Design and Analysis of Algorithms (MA 353: Autumn 2010, Autumn 2011; MA252: Spring 2020)
Introduction to Algorithms (MA 515: Autumn 2007, Autumn 2010, Autumn 2011)
Real Analysis (MA 211M: Autumn 2020)

Graph Theory (MA 502: Autumn 2024)
Semantics of Programming Languages (MA 516: Spring 2007, Spring 2013, Spring 2014)
Functional and Logic Programming (MA 517: Autumn 2013)
Complexity Theory (MA 519: Spring 2018, Spring 2023)
Mathematics for Computer Science (MA 618: Spring 2024)
Universal Algebra (MA 728: Autumn 2009)
Combinatorial Group Theory (MA 724: Autumn 2017)
Modern Algebra and Number Theory (MA 727: Spring 2007)

At IITDTutor for:

MA 420: Theory of Automata
MA 272 and MA 658: Programming Languages
MA 110: Mathematics-I
MA 120: Mathematics-II

At JNUCourse Instructor for:

MCA: Advanced Topics in Theory of Computation
MCA: Discrete Mathematics

At LBPGCCourse Instructor for:

MSc(Math): Algebra
MSc(Math): Graph Theory
MSc(Math): Number Theory
MSc(Math): Measure Theory
MSc(Math): Lattice Theory
MSc(CS) and MCA: Discrete Mathematics
MSc(CS) and MCA: Theory of Computation