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.csail.mit.edu (Permanent Email)
               hajiagha@mit.edu
               hajiaghayi@yahoo.com
Homepage :  http://www.mit.edu/~hajiagha
Current Position :  Ph.D. Candidate in the Theory of Computation Group at  Computer Science and Artificial Intelligence Laboratory (CSAIL), 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, Combinatorics, Digital Design, Formal Language and Automata Theory, Parallel Algorithms,  Computational    omplexity Theory, Artificial Intelligence, Compilers, O/S, networking, and Databases.

           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:

Collaborators:

Noga Alon, Baruch Awerbuch, Minoru Asada, Mihai Badoiu, Tucker R. Balch, Mohsen Bahramgiri, Therese C. Biedl, Jonathan L. Bredin, Jonathan F. Buss, Timothy M. Chan, Ehsan Chiniforooshan, Hamid R. Chitsaz, Don Coppersmith, Erik D. Demaine, Martin L. Demaine, Ken Endo, Martin Farach-colton, Uriel Feige, Fedor V. Fomin, Amirali Foroughnassiraei, David Gamarnik, Yashar Ganjali, Navid Ghaffarzadegan, Mohammad Ghodsi, Reza Ghorbani, Maziar Gudarzi, Mahdi Hajiaghayi, Abbas Heydarnoori,  Nicole Immorlica, Piotr Indyk, Kamal Jain, Mansour Jamzad, Moslem Kazemi, Jeong Han Kim, Hiroaki Kitano, Robert Kleinberg, Lap Chi Lau, K. Konwar, James R. Lee, Tom Leighton, Li E. Li, Ebadollah S. Mahmoodian, Ion I. Mandoiu, Mohammad Mahdian, Vahab S. Mirrokni, Farid Mobasser, Mosen E. Moghaddam, Naomi Nishimura, David C. Parkes, Harald Raecke, Prabhakar Ragde, Daniela Rus, Amin Saberi, Bashir S. Sadjad, Anastasios Sidiropoulos, Gregory B. Sorkin, Peter Stone, Kunal Talwar, Dimitrios M. Thilikos, Marina Thottan, Ruzbeh Tusserkani, Vijay V. Vazirani, Manuela M. Veloso, Tomas Vinar, David R. Wood, Fuminori Yamasaki

Publications (See publications categorized by subject and also brief descriptions of lots of them here)

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.
          Balanced vertex-orderings of graphs, 
             Discrete Applied Mathematics.
Vol 148, No 1, pp. 27-48, 2005.
Bidimensional Parameters and Local Treewidth,
Siam Journal on Discrete Mathematics. Vol 18, No. 3, pp. 501-511, 2004. Preliminary versions appeared in  Latin American Theoretical Informatics, April, 2004 and Annual European Symposium on Algorithms, September, 2003.
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)
Combination can be hard: approximability of the unique coverage problem, Submitted to FOCS 2005.
New lower bounds for oblivious routing in undirected graphs, Submitted to FOCS 2005.
          Efficient Power Assignment in Wireless LAN, Submitted to MOBICOM 2005.           Bidimensionality, mapgraphs and grid minors, Submitted to ESA 2005.

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

 The Minimum k-Colored Subgraph Problem in Haplotyping and DNA Primer Selection, To be submitted to APPROX 2005.

Bandwidth Sharing VPN Network Design for Multi-class Traffic with Application to VoIP, To be submitted to SPAA 2005.

Tight Bounds For Random MAX 2-SAT, To be submitted to Random  Structures and Algorithms.

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

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.

The Generalized Deadlock Resolution Problem,
In Proceedings of the 32nd International Colloquium on Automata, Languages and Programming (ICALP), Lisboa, Portugal, July 2005, To appear.

Deploying Sensor Nets with Guaranteed Capacity and Fault Tolerance, In Proceedings of the 6th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc),  Urbana-Champaign, IL, May 2005, To appear.

              Improved approximation algorithms for minimum-weight vertex separators,
In Proceedings of the 37th ACM Symposium on Theory of Computing (STOC), Baltimore, MD, May 21-24, 2005, To appear.
              Oblivious routing in directed graphs with random demands,
In Proceedings of the 37th ACM Symposium on Theory of Computing (STOC), Baltimore, MD, May 21-24, 2005, To appear.

Online Auctions with Re-usable Goods,
In Proceedings of the 6th ACM Conference on Electronic Commerce (EC), Vancouver, Canada, June 5-8, 2005, To appear.

              Power Optimization for Connectivity Problems,
In Proceedings of the 11th Conference on Integer Programming and Combinatorial Optimization (IPCO), Berlin, Germany, June 2005, To appear. Journal version invited to Mathematical Programming, Series Bspecial issue for selected papers from IPCO 2005.
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, New York, 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 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.
Journal version  submitted to ACM Transactions on Algorithms.
Invitation to Journal of Scheduling special issue for selected papers from SODA 2005 regretfully declined.

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  submitted to
Siam Journal on Computing.
Invitation to Journal of Scheduling special issue for selected papers from SODA 2005 regretfully declined.

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:

Journals: Journal of the ACM, SIAM Journal on Computing, Algorithmica, Theoretical Computer Science,  Journal of Discrete Algorithms, IEEE Transactions on Parallel and Distributed Systems, ACM Transactions on Sensor Networks, Operation Research Letters, Information Processing Letters, The Australasian Journal of Combinatorics.

Conferences: Symposium on Foundations of Computer Science (FOCS),  ACM Symposium onTheory of Computing (STOC), ACM Symposium on Computational Geometry (SoCG), ACM-SIAM Symposium on Discrete Algorithms (SODA), ACM Conference on Electronic Commerce (EC), International Colloquium on Automata, Languages and Programming (ICALP), 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:

Current  References: (Available Upon Request)