Resume

Name :         MohammadTaghi Hajiaghayi
Personal Information:
                       Birth year: 1979
Office :         Room. 2-088, Dept. of Mathematics,  MIT
                       Room  32-G596,  MIT CSAIL, Phone (617) 253-6182
Residence:   550 Memorial Dr. Apt 21E-3
                        Cambridge, MA  02139, USA
                        Phone : (617) 225-1257
Email :  hajiagha@theory.lcs.mit.edu (Permanent Email)
               hajiagha@mit.edu
               hajiaghayi@yahoo.com
Homepage :  http://www.mit.edu/~hajiagha
Current Position :  Ph.D. Candidate,  Applied Mathematics and Computer Science Program, MASSACHUSETTS INSTITUTE OF TECHNOLOGY
Education :
          Sep 1997- Sep 2000 B.Sc. in Computer  Engineering, Sharif University of Technology,   Tehran, Iran.
                   GPA : 18.76 out of 20.00
                   Rank in class : 1.
                   B.S Project :  Pseudo-Matching and Multicasting.
                  Advisor : Dr. M. Ghodsi
                                  Relevant courses work:  Advanced Graph Algorithms, Digital Design, Formal Language and Automata Theory, Parallel Algorithms, Computational Complexity Theory, Artificial Intelligence, Compilers, O/S, networking, Databases and Combinatorics.
           Sep 2000-  Sep 2001 M.Sc in Computer Science, University of Waterloo, Ontario, Canada.
                                GPA :  5.0 out of 5.0
                                M.S Project :  Algorithms for Graphs of (Locally) Bounded Treewidth
                                Supervisor :  Prof. N. Nishimura
                                  Relevant courses work:

             Sep 2001- Present Ph.D. Candidate in Applied Mathematics,  joint with Theory of Computation Group in Laboratory for Computer Science, M.I.T.
             GPA :  5.0 out of 5.0.
             Supervisors: Prof. Erik D. Demaine and Prof. Tom Leighton
                                  Relevant courses work:

 

Publications :

Journal Articles:

Fault-tolerant and 3-Dimensional Distributed Topology Control Algorithms in Wireless Multi-hop Networks,
ACM/Kluwer Wireless Networks. To appear. A preliminary version  appeared in the 11th IEEE International Conference on Computer Communications and Networks, October, 2002, pp. 392-398.
Bidimensional Parameters and Local Treewidth,
Siam Journal on Discrete Mathematics. To appear. Preliminary versions appeared in  Latin American Theoretical Informatics, April, 2004 and Annual European Symposium on Algorithms, September, 2003.
          Balanced vertex-orderings of graphs, 
             Discrete Applied Mathematics.
To appear.

Characterization of Networks Supporting Multi-dimensional Linear Interval Routing Schemes
Theoretical Computer Science, Vol 326, No. 1-3, pp. 103-116.

Diameter and Treewidth in Minor-Closed Graph Families, Revisited,
Algorithmica.
Vol 40, No. 3, pp. 211-215, 2004.
             Approximation algorithms for classes of graphs excluding single-crossing graphs as minors
        Journal of Computer and System Sciences,   Vol 69, No. 2, pp. 166-195
,  2004.
Random MAX SAT, Random MAX CUT, and Their Phase Transitions 
A special issue of Random Structures and Algorithms, Vol 24, Issue 4 , pp. 502-545
. A preliminary version  appeared in Proceedings of Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 364-373, January 12-14, 2003,  Baltimore.
On the bounded  fragmentation property and its applications,
European Journal of Combinatorics, Vol 24, No. 7, pp. 891-896, 2003.  A preliminary version  appeared in  Proc. Euroconference on Combinatorics, Graph Theory and Applications,  EuroCOMB'03,  Sep. 2003.
The facility location problem with general cost functions,
Networks, Vol. 42, No. 1, pp.  42-47, 2003.
Palindrome Recognition Using a Multidimensioinal Tape,
Theoretical Computer science, Vol. 302, No. 1-3, pp. 475-480, 2003.

             RoboCup-2001 -The Fifth Robotic Soccer World Chapmpionships.
            AI magazine, Vol. 23, No. 1, pp. 55-68, 2002.

Path-matching in graphs with length constraints,
Networks, Vol 39, No. 4, pp. 210-215, 2002.
 A Note on the Consecutive Ones Submatrix Problem,
Information Processing Letters, Vol 83, No. 3, pp. 163-166, 2002.
Electronic Notes in Discrete Mathematics Vol 10, 2001.  A preliminary version appeared in  Proc. Euroconference on Combinatorics, Graph Theory and Applications,  EuroCOMB'01,  Sep. 2001: 158-163.
On the simultaneous edge-coloring conjecture,
Discrete Mathematics 216 (2000), no. 1-3, 267--272.
 
 
Conference and Submitted Papers (excluding those that have already appeared in journals)

An O(sqrt{n})-Approximation Algorithm For Directed Sparsest Cut, Submitted.

 The Minimum k-Colored Subgraph Problem in Haplotyping and DNA Primer Selection, Submitted.

Deploying Sensor Nets with Guaranteed Capacity and Fault Tolerance, Submitted to INFOCOM 2005.

Bandwidth Sharing VPN Network Design for Multi-class Traffic with Application to VoIP, Submitted to INFOCOM 2005.

Online Auctions with Re-usable Goods, Submitted.

Tight Bounds For Random MAX 2-SAT, Submitted.

The Prize-Collecting Generalized Steiner Tree Problem via a new approach of Primal-Dual Schema, Submitted.

The Generalized Deadlock Resolution Problem, Submitted.

Quickly Deciding Minor-Closed Parameters in General Graphs, Submitted to European Journal of Combinatorics, 2004. 

             On the max-flow min-cut ratio for directed multicommodity flows,
             Submitted to Theoretical Computer science, 2003. See Tech. Report MIT-LCS-TR-910.
Fast Algorithms for Hard Graph Problems: Bidimensionality, Minors, and Local Treewid,
Invited presentation in the 12th International Symposium on Graph Drawing(GD), 2004, New York City, 2004. This paper surveys our theory of bidimensionality and its known combinatorial and algorithmic results of this theory.
Graphs Excluding a Fixed Minor have Grids as Large as Treewidth, with Combinatorial and Algorithmic Applications through Bidimensionality (full paper),
in Proceedings of the 16th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Vancouver, British Columbia, Canada, January 23-25, 2005, To appear. Journal version submitted to Combinatorica.
Bidimensionality: New Connections between FPT Algorithms and PTASs (full paper),
in Proceedings of the 16th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Vancouver, British Columbia, Canada, January 23-25, 2005, To appear.
Ordinal Embeddings of Minimum Relaxation: General Properties, Trees, and Ultrametrics (full paper),
in Proceedings of the 16th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Vancouver, British Columbia, Canada, January 23-25, 2005, To appear.
Journal version to be submitted to Siam Journal on Computing.

Oblivious Routing on Node-Capacitated and Directed Graphs (full paper),
in Proceedings of the 16th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Vancouver, British Columbia, Canada, January 23-25, 2005, To appear.

Online Client-Server Load Balancing Without Global Information (full paper),
in Proceedings of the 16th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Vancouver, British Columbia, Canada, January 23-25, 2005, To appear.
Journal version to be submitted to
Siam Journal on Computing.

Low Dimensional Embedding with Extra Information,
To appear in the 20th ACM Symposium on Computational Geometry (SoCG), June 9 - 11,  2004, New York.
Journal version invited to Discrete & Computational Geometry for a
  special issue of selected papers from SoCG 2004.

               Adaptive Limited-Supply Online Auctions (full paper),
              Proc. ACM Conference on Electronic Commerce (EC), pp. 71-80, May 17-20, 2004. New York.

The Bidimensional Theory of Bounded-Genus Graphs,
Proc. the 29th International Symposium on Math. Foundations of Computer Science, 2004, Prague, Europe, 2004.
pp. 191-203. Journal version submitted to Siam Journal on Discrete Mathematics.
Equivalence of Local Treewidth and Linear Local Treewidth and its Algorithmic Applications (full paper),
Proc. the 15th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp.
840-849, January 11-13, 2004, New Orleans. See Tech. Report MIT-LCS-TR-903 for a more complete version.
Subexponential Parameterized Algorithms on Graphs of Bounded Genus and H-minor-free Graphs (full paper),
Proc. the 15th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp.
830-839, January 11-13, 2004, New Orleans.  See Tech. Report MIT-LCS-TR-905 for a more complete version. Journal version submitted to Journal of the ACM.

 Power Optimization in Fault-Tolerant Topology Control Algorithms for Wireless Multi-hop Networks,

Proceedings of the Ninth Annual International Conference on Mobile Computing and Networking  (MOBICOM),  pp. 300-312, September 15-18 2003, San Diego. Journal version  submitted to Siam Journal on Computing.

The Satisfiability Threshold of Random 3-SAT Is at Least 3.52,
arXiv:math.CO/0310193 v2 22 Oct 2003. See also IBM Research Report RC22942, 2003.
1.5-Approximation for Treewidth of Graphs Excluding a Graph with One Crossing as a Minor,
 Proc. the 5th International Workshop on Approximation Algorithms for Combinatorial Optimization (APPROX), September 17-21, 2002, Italy, Lecture Notes in Computer Science 2462, pp. 67-80, 2002.
Subgraph Isomorphism, log-Bounded Fragmentation and Graphs of (Locally) Bounded  Treewidth,
Proc. the 27th International Symposium on Mathematical Foundations of Computer Science (MFCS), August 26-30, 2002, Poland, Lecture Notes in Computer Science 2420, pp. 305-318, 2002.  Journal version submitted to Journal of Computer and System Sciences.
Simple, fast, and robust self-localization in environments similar to the robocup environment,
Proc. the 18th International Conference on CAD/CAM, Robotics and Factories of the future (CARS&FOF), Porto, Portugal, vol (2), pp:513-522, 2002. Journal version submitted.
 A Fast Vision System for Middle Size Robots in RoboCup,
The RoboCup 2001 International Symposium,  winner of The Best Engineering Challenge Award, Lecture Notes in Computer Science 2377, pp. 71-80, 2002.
A Goal Keeper for Middle  Size RoboCup,
RoboCup 2000, Lecture Notes in Computer Science 2019, 2001: 583-586.  

Thesis

          Content of the thesis appeared in Journal paper [4].

Book
           Iranian Informatics Olympiad (in Persion) shared with V.S. Mirrokni and Y. Ahmadi, Young Scholars Club Pub. Sept,  2000.

Professional Activities:
             I have reviewed manuscripts for the following  journals and conferences:

Journal of the ACM, SIAM Journal on Computing, Theoretical Computer Science,  ACM Transactions on Sensor Networks, The Australasian Journal of Combinatorics, Symposium on Foundations of Computer Science (FOCS), ACM Symposium on Computational Geometry (SoCG), ACM-SIAM Symposium on Discrete Algorithms (SODA), The IEEE Conference on Computer Communications (INFOCOM), Workshop on Graph Theoretic Concepts in Computer Science (WG), Workshop on Algorithm Engineering and Experimentation (ALENEX).

Awards/Honours :

Research Interests : Research Experience: Teaching Experience: Software Skills :

       Programming in Basic, Pascal, PC 8086 Assembly, C, C++, LISP, Prolog, Smalltalk, Maple, Lex/Flex,  YACC/Bison, Fortran, TeX and LaTeX, PostScript, Standard ML, HTML 4,  Java,  Matlab, JavaScript, Mathematica, DirectX 7.
       Experienced in working on Unix, Linux and Windows Operating systems.

Curent  References:

At MIT:

Professor  Erik Demaine,
Lab. for Computer Science
Massachusetts Institute of Technology
Cambridge, MA, U.S.A.
Tel: (617) 253-6871
Email:  edemaine@MIT.EDU

Professor Tom Leighton,
Department of Mathematics and Lab. for Computer Science
Massachusetts Institute of Technology
Cambridge, MA, U.S.A.
Tel: (617)  253-3037
Email:  ftl@theory.lcs.MIT.EDU

Professor  Nancy Lynch,
Lab. for Computer Science
Massachusetts Institute of Technology
Cambridge, MA, U.S.A.
Tel: (617) 253-7225
Email:  lynch@theory.lcs.MIT.EDU

At University of Waterloo:

Professor Naomi Nishimura,
Department of Computer Science
University of Waterloo
Waterloo, Ontario, Canada
Tel: (519) 888-4567 x4835
Email: nishi@uwaterloo.ca

Professor Jim Geelen,
Department of Combinatorics and Optimization
University of Waterloo
Waterloo, Ontario, Canada
Tel:   (519) 888-4567 x5594
Email:  jfgeelen@math.uwaterloo.ca