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

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

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

Tithi Dwary

Enrollment	: July, 2021
Area	: Algebra

Soni Kumari

Enrollment	: Sep, 2020
Area	: Algebra

Sagar Saha

Enrollment	: July, 2019
Area	: General Algebra

Khyodeno Mozhui

Enrollment	: July, 2019
Area	: Theoretical Computer Science

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	: Postdoctoral Fellow, NISER, Bhubaneswar

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	: Postdoctoral Fellow, IIT Kanpur

Jitender Kumar

Area	: Semigroup Theory
Thesis	: Affine Near-Semirings over Brandt Semigroups
Submission	: 20.03.2014
Viva Voce	: 29.07.2014
At Present	: Assistant 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 Bihar, Patna

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

MA 221/DA 242 Discrete Mathematics

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; MA 501: Autumn 2014)
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)
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)

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)
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