Prajval Koul


Welcome to my Homepage!

I am a Doctoral candidate in the Department of Computer Science and Engineering at Indian Institute of Technology Kanpur. I am extremely fortunate to be advised by Prof. Satyadev Nandakumar. Prior to this, I received an M.Tech. in Computer Science and Engineering from the Department of Computer Science and Automation at Indian Institute of Science, under the supervision of Prof. Chaya Ganesh.
I love PG!
I am interested in Theoretical Computer Science, particularly in Randomness, Algorithmic Information Theory, and Computability Theory.

CV [to be updated]

Active Member of SIGTACS IITK.
Member of CSA Writing Team.
Member of WebTeam@CSA.
I also play the violin and the piano! And TT!
Contact
Prajval Koul
KD-109(G), Department of Computer Science and Engineering
Indian Institute of Technology Kanpur
Kanpur, UP - 208016.

 
 

 
Email
prajvalk21 AT iitk DOT ac DOT in
Publications

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category.

- with Satyadev Nandakumar. [arXiv]

Statistical Modelling and Mapping of Intensity Spectrum in Breast MR Images.

- with Vineeta Kumari, Gyanendra Sheoran, Tirupatiraju Kanumuri, and Neelam Barak. [Springer MAPAN, 2021]

Optimized Pool Testing for COVID-19 with focus on the Indian Demographic.

- Preprint. [engrXiv]

Spectral GUI for Automated Tissue and Lesion Segmentation of T1 Weighted Breast MR Images.

- Preprint. [arXiv]

Spectrum Loft Method for Fibro-glandular Tissue Segmentation in Pre-contrast Breast MR Images.

- with Vineeta Kumari and Gyanendra Sheoran. ICIIP 2017 [IEEE Xplore] [PDF]

Gamma Gaussian Mixture Modeling for Fibroglandular Tissue Segmentation in MR Images.

- with Vineeta Kumari, Gyanendra Sheoran, and Tirupatiraju Kanumuri. INDICON 2017 [IEEE Xplore] [PDF]
Teaching

IIT Kanpur

Indian Institute of Science

NIT Delhi

  • Fall 2018: Teaching Assistant for PHL 100: Electromagnetics and Quantum Physics.

  • Spring 2018: Teaching Assistant for CSB 102: Data Structures.

  • Fall 2017: Teaching Assistant for CSB 102: Data Structures.