ProfessorK. V. Krishna

Bio Sketch

Work profile

Kanduru Venkata Krishna

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

Contact

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

Education

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

Career

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

Menu
Research Papers
Journals Proceedings Preprints

Conferences/ Workshops
Organize Chair Talks Lectures

Students
Ph.D. Project

Journal Papers

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

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

Preprints

L-Primitive Words (Under Preparation).

Organization

Organization

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

Session Chair

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

Invited Talks

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

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.

Contributed Talks

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)

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)

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)

Lectures

Resource Person

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

Ph.D. Students

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

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

Teaching

Autumn 2020

Current Semester

MA211M Real Analysis

Past

At IITGCourse Instructor for:

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

Discrete Mathematics (MA 221: Summer 2008, Autumn 2015, Autumn 2016; MA 501: Autumn 2014)
Modern Algebra (MA 222: Autumn 2018)
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)
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)

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