My research interests include:
Algorithmic Graph Theory , Combinatorics , Mathematical Logic , Semantic of
Programming Languages, Type Theory , Complexity Theory (especially
randomized computations) , Design of Algorithms.
Presentations:
1- List coloring of Cartesian products of
graphs. Presented in the course: " Seminar of Graph Theory.", offered
by Prof.
Akbari
2- Some new methods for providing
"congestion control" in Linux. Presented in "computer networking course.",
offered by Dr. Borgheii .
3- Some properties of M/G/1 queues, Presented in the course:
"Queuing Theory", offered by Dr. Badamchizadeh.
4- Gene Networks, presented in "Algorithm course", offered by Dr. Tabesh.
projects:
1- Implementing a compiler for a
small programming language, called "pcat". This project was introduced and
developed
during the " Compiler Design." course. "pcat" is in
fact a slightly modified version of Pascal programming language .
You can
find some information about pcat programming language
here.
My project will be available upon request.
2- Currently, I am working on a project, entitled: " on the
computational complexity aspects of defining sets on cartesian
products of
graphs."
Algorithm Design: 18
Theory of computational complexity: ? (current semester)
Logic : 17.5
Probability: 18.5
Compiler Design: 17.4
Functional Programming : 18
Computer Networking : 18.5
Linear Algebra : 16.8
Numerical Analysis: 17
Queuing Theory: ?(current semester)
Programming Languages:
1- Java: More than 4 years of experience in
programming with java.( Some of my projects I have done with java will be
available upon request.)
2- C++ , C , C#
3- Functional Programming: Haskell(very professional) , ML
4- Mathematical software: Matlab , Maple , Mathematica
Language skills:
1- Persian: native, mother tongue.
2- English: very well in speaking and writing. ( TOEFL IBT : 12th
September, 2007).
3- Arabic : I can read.
Personal Information:
My name is Mohammad Hajiabadi, born at August 5th,
1986, Birjand, Iran. Birjand is a city located in the east of IRAN. Birjand is a
somewhat historical city, some of its historical places attract
many tourists from all around the world every year. For more information regarding
Birjand, Click here.
I am in love with martial arts: I have been doing martial arts since when
I was 13 years old, at that time I was doing Karate. After some years of practicing
"Karate", I changed my field from "Karate" to "Kung-Fu Toa" and then "Kung
fu Partoa". After coming to university, I was much busy with
course-work that I did not have enough time to continue martial arts.
Therefore I abandoned it upon entering university. Now, I hold a degree of "Gray 2 " (Shaalband e
ghahveii, khatt e 5 ) on kung-fu-partoa.
Music: I am an avid fan of traditional music. As far as music is
concerned, traditional music is the most suitable style which can be
regarded as an indication to our deep tradition which has remained from our
previous generations.That is why I always
keep listening to it. Among traditional music, I am mostly interested in works
of shajarian ( shab_sokut_kavir, ghoghay e eshghbazan , ....) , Shahram
Nazeri , Seraj , Banan ,.... .
Contact Information:
"my-email" AT cs.sharif.ir and
replace "my-email" with mohammad_h
"my-email" AT yahoo.com and replace
"my-email" with mohammad65_computer