www.csd.uwo.ca Open in urlscan Pro
129.100.21.77  Public Scan

Form analysis
0 forms found in the DOM

Text Content

 * About Me
 * Publications
 * Talks
 * Teaching
 * Activities
   
   


CHIRANTAN MUKHERJEE



ORCCA Lab

Department of Computer Science
The University of Western Ontario
London, Ontario N6A 5B7
CV [Updated on Apr. 2024]
cmukher@uwo.ca
Google Scholar
Research Gate
arXiv
Orcid
LinkedIn

I am currently a Ph.D. student in the Computer Science Department, immersed in
the fascinating world of delinearization challenges within computer algebra
systems. Under the guidance of Dr. Marc Moreno Maza at the Ontario Research
Centre for Computer Algebra (ORCCA) Lab, my research focuses on unraveling the
complexities posed by the one-dimensionality of C praograms. This inherent
limitation often impedes efficient computation, presenting a crucial problem in
the optimization landscape.

To address these challenges, I employ techniques from combinatorial
optimization, with a specific emphasis on integer linear programming. My
research is situated within the realm of compiler optimization, where I delve
into the analysis, transformation, and scheduling of for-loop nests in computer
programs. The ultimate goal is to enhance the performance of computational tasks
by optimizing loop structures, improving parallelism, and thereby increasing
overall program efficiency. Through this work, I aspire to cultivate a deep
understanding of the intricate relationship between algorithmic efficiency and
program execution, laying a solid foundation for tackling complex computational
challenges.

Before coming to Canada, I completed my master's in Advanced Mathematics at the
University of Trento. During which, I spend a year at the University of Warsaw
as an Erasmus Exchange Student. I worked on master's thesis with Dr. Nima Rasekh
at the École Polytechnique Fédérale de Lausanne, which delved into a significant
model of (∞,1)-categories, the complete Segal spaces. The exploration involved
understanding the necessary foundations for defining these spaces and, in
particular giving an explicit description of the twisted arrow construction in
the setting of complete Segal spaces using only basic features of the complete
Segal space model structure.


2022

Twisted Arrow Construction for Segal Spaces [PREPRINT]
Chirantan Mukherjee and Nima Rasekh
arXiv:2203.01788, March 2022.
arXiv BibTeX
@article {Mukherjee, AUTHOR = {Chirantan Mukherjee and Nima Rasekh}, TITLE =
{Twisted Arrow Construction for Segal Spaces}, YEAR = {2022}, JOURNAL = {arXiv
preprint}, NOTE = {arXiv:2203.01788v1}, }



Complete Segal Spaces as a model of Higher Categories [DISSERTATION]
Chirantan Mukherjee
Department of Mathematics, University of Trento, March 2022.
ResearchGate Talk BibTeX
@phdthesis{ author={Mukherjee,Chirantan}, year={2022}, title={Complete Segal
Spaces as a Model of Higher Categories}, journal={ProQuest Dissertations and
Theses}, pages={117}, note={Copyright - Database copyright ProQuest LLC;
ProQuest does not claim copyright in the individual underlying works; Last
updated - 2022-06-22}, abstract={This thesis aims to define an important model
of $(\infty,1)-$categories, namely the complete Segal spaces, and understand the
necessary foundations needed to define it. We achieve this in several steps.
First, we review categorical homotopy theory. Then we study the theory of model
categories and give a detailed characterization of the Kan model structure on
simplicial sets. We then focus on understanding Reedy fibrant simplicial spaces,
the Segal condition and its relation to the composition of maps, and how it is
used to define Segal spaces. This is followed by appending the importance of the
completeness condition via Dwyer-Kan equivalences. Next we define the twisted
arrow construction for simplicial spaces, and show that the twisted arrow
construction of a complete Segal space X, Tw(X) is a complete Segal space.
Further, we show that the projection map Tw(X) → Xop x X is a left fibration of
the complete Segal space.}, keywords={Category Theory; Complete Segal Spaces;
Fibrations; Higher Category Theory; Homotopy Theory; Segal Spaces; Mathematics;
0405:Mathematics}, isbn={9798438788232}, language={English},
url={https://www.lib.uwo.ca/cgi-bin/ezpauthn.cgi?url=http://search.proquest.com/dissertations-theses/complete-segal-spaces-as-model-higher-categories/docview/2666561440/se-2},
}


2024



Fourier-Motzkin Elimination using Saturation Matrix
Maplesoft, November 11, 2024.
Talk



A New Algorithm for Computing Integer Hulls of 2D Polyhedral Sets
Lalo 60, July 24, 2024.
Talk



Using Saturation Matrix to Efficiently Remove Redundant Inequalities
Maplesoft, June 25, 2024.
Talk



The Polyhedral Model
Distributed and Parallel Systems , The University of Western Ontario, June 20,
2024.
Talk



The Delinearization of C programs
UWORCS 2024, The University of Western Ontario, April 9, 2024.
Talk


2023



The Quickhull Algorithm for Higher Dimensional Convex Hulls
Mathematical Computation, The University of Western Ontario, July 3, 2023.
Talk



Twisted Arrow Construction for Segal Spaces
Ottawa Mathematics and Statistics Conference, University of Ottawa, May 24,
2023.
Talk



Model Structure on Simplicial Categories
Graduate Student Seminar, The University of Western Ontario, March 3, 2023.
Notes


2022



Complete Segal Spaces as a Model of Higher Categories
GROOT Summer Seminar 2022, July 6, 2022.
YouTube



Higher Category Theory
Statistics and Mathematics Unit, Indian Statistical Institute, June 7, June 14,
June 28, 2022.



Complete Segal Spaces as a Model of Higher Categories
Department of Mathematics, University of Trento, March 18, 2022.
Dissertation Talk


2021



The Conf2 space of rational homology of S3 and propagators
Knot Theory Seminar, University of Warsaw, March 19, 2021.
Handout



Differentiable manifolds and forms, de Rham cohomology
Curves and surfaces with Mathematica, University of Warsaw, January 15, 2021.
Notes


2020



Products and cochains of equivariant cohomology theories
Topology and geometry of manifolds, University of Warsaw, December 21, 2020.
Handout



Polish Spaces
Topology and set theory, University of Warsaw, November 12, November 14, 2020.
Notes Handout
https://www.westerncalendar.uwo.ca/Courses.cfm?CourseAcadCalendarID=MAIN_009511_1&SelectedCalendar=Live&ArchiveID=#34191
CS3342A: Organization of Programming Language
Teaching Assistant
Fall 2024
In charge of holding weekly office hours, proctoring and grading a class of 341
students.
Wednesday 3:30 pm - 5:30 pm at MC-16A
https://www.westerncalendar.uwo.ca/Courses.cfm?CourseAcadCalendarID=MAIN_024784_1&SelectedCalendar=Live&ArchiveID=#70875
Math 2214B: Discrete Structures for Computing
Teaching Assistant
Winter 2024
In charge of teaching a class of 336 students, preparing assignments and holding
weekly office hours.
Monday 12:30 am - 1:30 pm at AHB-1R40 Wednesday 5:00 pm - 6:00 pm Virtual
https://www.westerncalendar.uwo.ca/Courses.cfm?CourseAcadCalendarID=MAIN_024784_1&SelectedCalendar=Live&ArchiveID=#70875
Math 2214A: Discrete Structures for Computing
Teaching Assistant
Fall 2023
In charge of teaching a class of 226 students and holding weekly office hours.
Wednesday 9:30 am - 10:30 am at SEB 1059 Friday 1:00 pm - 3:00 pm Virtual
https://www.math.uwo.ca/undergraduate/current_students/course_information/course-outlines-directory/MATH-1600A-outline1.pdf
Math 1600A: Linear Algebra I
Teaching Assistant
Summer 2023
In charge of managing two classes of 45 students each solving weekly problems
and grading assignments.
Wednesday 7:30 pm - 8:30 pm Virtual Wednesday 8:30 pm - 9:30 pm Virtual
https://www.math.uwo.ca/undergraduate/current_students/course_information/course-outlines-directory/2022/MATH1600B-2023.pdf
Math 1600B: Linear Algebra I
Teaching Assistant
Winter 2023
In charge of managing a class of 41 students solving weekly assignments,
conducting bi-weekly test and grading them.
Thursday 2:30 pm - 3:30 pm at SH 3317
https://www.math.uwo.ca/undergraduate/current_students/Help%20Centre.html
Math-Physics Accelerator Help Centre
Help Centre
Winter 2023
Clearing doubts and helping students to solve questions from various branches of
mathematics both in person and virtually.
Thursday 6:30 pm - 8:30 pm Virtual Friday 1:30 pm - 2:30 pm at PAB 48/49
https://www.math.uwo.ca/undergraduate/current_students/course_information/course-outlines-directory/2022/Math1228A_Ohara.pdf
Math 1228A: Methods of Finite Mathematics
Teaching Assistant
Fall 2022
In charge of proctoring and grading exams.

https://www.math.uwo.ca/undergraduate/current_students/Help%20Centre.html
Math-Physics Accelerator Help Centre
Help Centre
Fall 2022
Clearing doubts and helping students to solve questions from various branches of
mathematics both in person and virtually.
Thursday 6:30 pm - 8:30 pm Virtual Friday 3:30 pm - 5:30 pm at PAB 48/49


2024

I am doing a MITACS Accelerate internship at Maplesoft Incorporation.
May 6, 2024.



Fast track to Ph.D. in Computer Science.
May 1, 2024.



Participated in the Graduate Student Innovation Scholars program, organized by
WORLDiscoveries, Canada.
January 16, 2024 - April 2, 2024.


2023

I am switching to the Computer Science Department to work in Computer Algebra
Systems.
September 1, 2023 - August 31, 2024.


2022

Supervised Sterling Ebel for the Directed Reading Project, at the University of
Western Ontario.
Draft, Fall 2022.



Joined the University of Western Ontario for a Ph.D. in Mathematics.
September 1, 2022 - August 31, 2023.



Attended the HoTTEST Summer School 2022.
July 4 - August 19, 2022.



Graduated from the University of Trento with a master in Advanced Mathematics.
March 18, 2022.



Attended the Higher Category Lecture, organized by the Australian National
University.
January 31 - February 17, 2022.


2021



Participated in the Masterclass on Topological Field Theories and Factorization
Homology, with financial support of the University of Copenhagen and University
of Trento.
August 23 - August 27, 2021.



Completed my Erasmus+ Exchange at the University of Warsaw.
October 01, 2020 - July 02, 2021.



I am writing my master thesis at EPFL with Dr. Nima Rasekh.
February 24, 2021 - January 19, 2022.



Attended the EPFL Topology Seminar Spring 2021, organized by EPFL.
February 22 - May 31, 2021.



Participated in the Intensive Research Programme: Higher Homotopical Structures,
organized by CRM, Spain.
January 11 - July 10, 2021.


2020



Joined the University of Warsaw for Erasmus+ Exchange.
October 01, 2020 - July 02, 2021.



Participated in the Interuniversity Mathematical Summer School at the University
of Perugia.
June 20 - July 07, 2020.


2019



Joined the University of Trento for a M.Sc in Advanced Mathematics.
September 09, 2019 - March 18, 2022.


2017



Participated in the Summer Research Programme with financial support from The
Institute of Mathematical Sciences, India under the supervision of Dr. Pralay
Chatterjee.
June 01 - July 15, 2017.



Reading course in Basic Set Topology at the Indian Statistical Institute under
the supervision of Dr. Goutam Mukherjee.
January 15 - April 15, 2017.