Office:

Room: EV011.139, Concordia University,
1515 Ste. Catherine St. West, Montreal, QC H3G 1M8
Phone: (514) 848-2424 Ext: 7199
Email: ta_ahmed AT cs DOT concordia DOT ca

Supervisor:
Prof. Clement Lam
Hello... Thank you for visiting my homepage. I am a Ph.D. Candidate in the department of Computer Science and Software Engineering, under the supervision of Prof. Clement Lam.
[Research]
Interests: Discrete Mathematics, Combinatorial Algorithms.
Publications: Journal Articles:
[4] Tanbir Ahmed, Oliver Kullmann, and Hunter Snevily, "On the van der Waerden numbers w(2; 3, t)", submitted. (arXiv:1102.5433v1 [math.CO])
[3] Tanbir Ahmed, "On computation of exact van der Waerden numbers",
Integers: Electronic Journal of Combinatorial Number Theory, 11 (2011), A71.
[2] Tanbir Ahmed, "Two new van der Waerden numbers: w(2; 3, 17) and w(2; 3, 18)",
Integers: Electronic Journal of Combinatorial Number Theory, 10 (2010), A32, pp. 369-377, MR2684128.
[1] Tanbir Ahmed, "Some new van der Waerden numbers and some van der Waerden-type numbers",
Integers: Electronic Journal of Combinatorial Number Theory, 9 (2009), A06, pp. 65-76, MR2506138.

(Here is an updated list of known van der Waerden numbers).
Thesis:
[1] Tanbir Ahmed, "An Implementation of the DPLL Algorithm", M. Comp. Sci. Thesis, Concordia University. [PDF]
Committee: Prof. Vašek Chvátal (Advisor), Prof. Peter Grogono, and Prof. Clement Lam. [Picture with Prof. Chvátal]
[Teaching]
As Teaching Assistant: Computer Science and Software Engineering, Concordia University
(S: SUMMER, F: FALL, W: WINTER)
- COMP 218 (Fundamentals of C++ Programming): F05, F08
- COMP 233 (Probability and Statistics for Comp. Sci.): W10
- COMP 238 (Mathematics for Computer Science I): F05, W06, F07, W08, F08, W09
- COMP 239 (Mathematics for Computer Science II): F08, W09
- COMP 335 (Introduction to Theoretical Computer Science): F05, F06, S10, F10, F11
- COMP 345 (Advanced Programming in C++): W10
- COMP 352 (Data Structures and Algorithms): S08, F08, S09, F09
- COMP 361 (Elementary Numerical Methods, COMP 5611): F09, F10
- COMP 367 (Techniques of Symbolic Computation, MAST 332): W09
- COMP 5421 (Advanced Prog. in C++): S08, S09, S10
- COMP 6651 (Design and Analysis of Algorithms): W06, F06
- ENCS 5821 (Technical Writing and Communication): W06, W07, F08, F09
[Links]
Seminars McGill DMO, McGill Algorithms, ConCoCO, CRM,
Journals Electronic Mathematics Research Journals,
People: Vašek Chvátal, Luc Devroye,
Math Blogs: Tomothy Gowers, Terence Tao,
Concordia: Home, CSE, ENCS, Email, Myconcordia, Library, IT Helpdesk,
LaTeX Cheat Sheet, Ref Card, Math Symbols, PSTricks, Graph Theory, Beamer Class Manual,
[Miscellanies]
Library van der Waerden numbers:
- List of known van der Waerden numbers; Some van der Waerden type numbers
- William Gasarch's van der Waerden links;
- Michael G. Eldredge, Jonathan J. Marler, Hunter S. Snevily - Strict Schur Numbers, [PDF]
- P. R. Herwig, M. J. H. Heule, P. M. van Lambalgen, H. van Maaren - A New Method to construct Lower Bounds for Van Der Waerden Numbers, The Electronic Journal of Combinatorics, 14 (2007) [PDF]
- B. Landman, A. Robertson, C. Culver - Some New Exact van der Waerden Numbers, Integers 5 (2005) 2 [PDF]
- M. Kouril, J. Franco - Resolution Tunnels for Improved SAT Solver Performance, Theory and Applications of Satisfiability Testing, Springer Berlin / Heidelberg (2005) [PDF]
- M. R. Dransfield, L. Liu, V. W. Marek, M. Truszczyński - Satisfiability and computing van der Waerden Numbers, The Electronic Journal of Combinatorics, 11 (2004) [PDF]
- T. Gowers - A new proof of Szemerédi's Theorem (preprint), 2001, [PDF]
- S. Shelah - Primitive recursive bounds for van der Waerden numbers, Journal of the American Mathematical Society, 1-3, (1988) [LINK]
- M. Beeler - A new van der Waerden number, Discrete Applied Math. 6 (1983), 207.
- M. Beeler, P. O'Neil - Some new van der Waerden numbers, Discrete Math. 28 (1979), 135-146
- J. R. Rabung - Some Prgrogression-free Partitions Constructed Using Folkman's Method, Canadian Mathematical Bulletin, vol. 22 (1979) 87-91. [PDF]
- T. C. Brown - Some new van der Waerden numbers (preliminary report), Notices American Math. Society 21 (1974), A-432.
- R. L. Graham, B. L. Rothschild - A short proof of van der Waerden's theorem on arithmetic progressions, Proc. of the AMS, 42(2) (1974) [LINK]
- V. Chvátal - Some unknown van der Waerden numbers, Combinatorial Structures and Their Applications (R.Guy et al.,eds.), Gordon and Breach, New York, (1970) [PDF]
[Personal]
Membership: ConCoCO, AMS
Picture Gallery: - Seminar and conference pictures (picasa)
- Personal pictures (picasa)
- Other pictures (pbase)



Google
Merriam-Webster Online





I am nerdier than 99% of all people. Are you a nerd? Click here to take the Nerd Test, get nerdy images and jokes, and talk on the nerd forum!