Welcome to the Research Homepage of Tanbir Ahmed, Ph. D.

About

Greetings and welcome to my research homepage! Delighted to have you here.

I am an experimental mathematician specializing in Extremal Combinatorics and Combinatorial Optimization.

My journey into research began during my undergraduate days at BUET, Bangladesh, under the guidance of Prof. M. Kaykobad. In Canada, I pursued my M.Sc. in Computer Science (2007-2009) at Concordia University, where I had the privilege of conducting research in Combinatorial Optimization under the supervision of Prof. Vašek Chvátal. Continuing my academic journey, I earned my Ph.D. in Computer Science (2010-2013) at Concordia University, focusing on extremal combinatorics under the mentorship of Prof. Clement Lam. During the years 2011 to 2013, I engaged in intensive online collaboration in Combinatorics with Prof. Hunter Snevily.

From 2013 to 2015, I continued my research journey as a research associate at Concordia. Subsequently, I served as a post-doctoral researcher at Le Laboratoire d’Algèbre, de Combinatoire et d’Informatique Mathématique (LACIM) from 2015 to 2018.

I am passionate about collaborating online with fellow mathematicians and computer scientists, tackling various intriguing problems. Many of these problems involve extensive coding for data generation and analysis. In fact, most of my mathematical results are either wholly generated by computers or at least greatly assisted by them.

My research interests are:

Computer Science:
Combinatorial search algorithms • Theory and applications of the SAT (Satisfiability) problem • Computer assisted proofs • Computational mathematics
Mathematics:
Integer & Zero-Sum Ramsey Theory • Discrete Geometry • Algebra • Graphs • Combinatorial Search Algorithms • Automated Theorem Proving (using SAT/DPLL-like techniques and with Proof-assistants)
Artificial Intelligence/Machine Learning:
Automated Theorem Proving (AI/ML-Assisted) • Deep Natural Language Processing (NLP): theory and applications
Contact:

Email: tanbir AT gmail DOT com