
Farzad Didehvar Assistant Professor








 Hajar Ghahremani Gol, Farzad Didehvar, Asadollah Razavi, "A Distance Function for Computing on Finite Subsets of Euclidean Spaces," Acta Mathematicae Applicatae Sinicaenglish Series, Vol. 34, No. 1, PP. 197  208, 07 January 2018.
 Saeed Asaeedi, Farzad Didehvar, Ali Mohades Khorasani, "?Concave hull, a generalization of convex hull," Theoretical Computer Science, Vol. 702, No. 1, PP. 48  59, 01 November 2017.
 Hajar Ghahremani Gol, Assadolah Razavi, Farzad Didehvar, "On Intrinsic Properties of Ricci Flow Curve," Iranian Journal Of Science And Technology Transaction Ascience, Vol. 41, No. 1, PP. 237  241, 10 April 2017.
 Farnoosh Khodakarami, Farzad Didehvar, Ali Mohades Khorasani, "1.5D terrain guarding problem parameterized by guard range," Theoretical Computer Science, Vol. 661, No. 0, PP. 65  69, 23 January 2017.
 Yousef Seyfari, Farzad Didehvar, Hadi Banaee, Fatemeh Zare Mirakabad, "Evaluating the accuracy of splice site prediction based on integrating JensenShannon divergence and a polynomial equation of order 2," International Journal Of Computer Applications, Vol. 151, No. 5, PP. 1  5, 01 October 2016.
 Majid Yousefi Khoshbakht, Azam Dolatnejad, Farzad Didehvar, Farhad Rahmati, "A Modified Column Generation to Solve the Heteregoneous Fixed Fleet Open Vehicle Routing Problem," Journal Of Engineering, Vol. 0, No. 0, PP. 1  13, 12 May 2016.
 Hajar Ghahremani Gol, Farzad Didehvar, Asadollah Razavi, "Vehicle routing problem for minimizing consumption of energy in three dimensional space," Kuwait Journal Of Science, Vol. 43, No. 2, PP. 139  150, 08 April 2016.
 Masoud Pourmahdian, Nazanin Roshandel Tavana, Farzad Didehvar, "Effective metric model theory," Mathematical Structures In Computer Science, Vol. 25, No. 8, PP. 1779  1798, 11 December 2015.
 Farnoosh Khodakarami, Farzad Didehvar, Ali Mohades Khorasani, "A fixedparameter algorithm for guarding 1.5D terrains," Theoretical Computer Science, Vol. 595, No. 1, PP. 130  142, 10 July 2015.
 Majid Yusefi Khoshbakht, Farzad Didehvar, Farhad Rahmati, "A Mixed Integer Programming Formulation for the Heterogeneous Fixed Fleet Open Vehicle Routing Problem," Journal Of Optimization In Industrial Engineering, Vol. 8, No. 18, PP. 37  46, 02 July 2015.
 Ebrahim Zarei Zefreh, Farzad Didehvar, Nasrin Nasrabadi, "A Hybrid Iterative Algorithm For Reconstruction Of XRay Computed Tomography," Malaysian Journal Of Computer Science, Vol. 28, No. 1, PP. 46  58, 23 June 2015.
 Majid Yousefi Khoshbakht, Farzad Didehvar, Farhad Rahmati, "An Effective Rank Based Ant System Algorithm for Solving the Balanced Vehicle Routing Problem," International Journal Of Industrial Engineering  Theory Applications And Practice, Vol. 23, No. 1, PP. 45  55, 04 February 2015.
 Ebrahim Zarei Zefreh, Farzad Didehvar, Ali Rajaei, "Accelerated Iterative Algorithms in Reconstruction of ComputerizedTomography Images," International Journal Of Engineering And Technology, Vol. 2, No. 2, PP. 146  158, 04 May 2014.
 Majid Yousefi Khoshbakht, Farzad Didehvar, Farhad Rahmati, "An Efficient Solution for the Vehicle Routing Problem by Using a Hybrid Elite Ant System," International Journal Of Computers Communications & Control, Vol. 9, No. 3, PP. 340  347, 18 March 2014.
 Sattar Sattari, Farzad Didehvar, "Variable Neighborhood Search Approach for the Minimum Routing Cost Spanning Tree Problem," International Journal Of Operations Research, Vol. 10, No. 4, PP. 153  160, 19 February 2014.
 Majid Yousefi Khoshbakht, Mohammad Sedighpour, Vahid Ahmadi, Farzad Didehvar, Farhad Rahmati, "Solving the Open Vehicle Routing Problem by a Modified Ant ColonyOptimization," Kuwait Journal Of Science & Engineering, Vol. 40, No. 3, PP. 12  32, 05 December 2013.
 Majid Yousefi Khoshbakht, Farzad Didehvar, Farhad Rahmati, "Solving the heterogeneous fixed fleet open vehicle routing problem by a combined metaheuristic algorithm," International Journal Of Production Research, Vol. 51, No. 24, PP. 1  11, 22 November 2013.
 Saeed Asaeedi, Farzad Didehvar, Aliakbar Safilian, "Enumeration Order Equivalence in Rational Numbers," Computer Technology And Application, Vol. 4, No. 11, PP. 615  619, 11 November 2013.
 Majid Yousefi Khoshbakht, Shahrood Azami, Farzad Didehvar, Farhad Rahmati, "An Ant Colony algorithm hybridized with insert and swap heuristics for the Vehicle Routing Problem with Time Windows," , Vol. 9, No. 4, PP. 15  30, 27 October 2013.
 Majid Yousefi Khoshbakht, Farzad Didehvar, Farhad Rahmati, "An Improved Modified Tabu Search Algorithm to Solvethe Vehicle Routing Problem with Simultaneous Pickupand Delivery," Journal Of Advances In Computer Research, Vol. 3, No. 4, PP. 55  66, 28 May 2013.
 Majid Yousefi Khoshbakht, Farzad Didehvar, Farhad Rahmati, "Modification of the Elite Ant System in Order to AvoidLocal Optimum Points in the Traveling Salesman Problem," Wulfenia, Vol. 19, No. 9, PP. 181  195, 10 September 2012.
 Majid Yousefi Khoshbakht, Farzad Didehvar, Farhad Rahmati, "A Hybrid Ant Colony System for the Heterogeneous Fleet Vehicle Routing Problem," , Vol. 9, No. 2, PP. 191  207, 05 September 2012.
 Mahtab Sadat Hoseini Nia, Mirmehdi Seyed Esfahani, Farzad Didehvar, Asghar Haghi, "Inventory competition in a multi channel distribution system: The Nash and Stackelberg game," Scientia Iranica Transaction Eindustrial Engineering, Vol. 20, No. 3, PP. 846  854, 29 July 2012.
 Farzad Didehvar, M. Yousefikhoshbakht, Farhad Rahmati, M. Sedighpour, "An Effective Imperialist Competitive Algorithm for Solving the Open Vehicle Routing Problem," , Vol. 9, No. 1, PP. 20  34, 04 May 2012.
 Roghayeh Alami, Mohammad Ebrahim Shiri Ahmad Abady, Farzad Didehvar, Zeinab Hajimohammadi, "NEW FACIAL FEATURE LOCALIZATION ALGORITHMUSING ADAPTIVE ACTIVE SHAPE MODEL," International Journal Of Pattern Recognition And Artificial Intelligence, Vol. 26, No. 1, PP. 0  0, 26 February 2012.
 Majid Yousefikhoshbakht, Farzad Didehvar, Farhad Rahmati, "Application a Modified Imperialist Competitive Algorithm for Solving the Traveling Salesman Problem," , Vol. 1, No. 2, PP. 29  49, 31 January 2012.
 Nazanin Roshandel, Masoud Pourmahdian, Farzad Didehvar, "Compactness in First Order Lukasiewicz Logic," Logic Journal Of The Igpl, Vol. 0, No. 0, PP. 0  0, 07 September 2011.
 Farzad Didehvar, Kaveh Ghasemlou, Masoud Pourmahdian, "Effectiveness in RPL, with applications to continuous logic," Annals Of Pure And Applied Logic, Vol. 161, No. 6, PP. 788  799, 02 March 2010.
 Farzad Didehvar, Ali Mehrabi, Fatemeh Raee, "On Unique Independence Weighted Graphs," International Journal Of Contemporary Mathematical Sciences, Vol. 1, No. 531, PP. 257  264, 23 May 2009.
 Farzad Didehvar, Changiz Eslahchi, "An algorithm for rank aggregation problem," Applied Mathematics And Computation, Vol. 189, No. 1, PP. 1847  1858, 15 June 2007.
 Shahriar Arab, Farzad Didehvar, Changiz Eslahchi, Mahdi Sadeghi, "Helix segment assignment in proteins using fuzzy logic," Iranian Journal Of Biotechnology, Vol. 5, No. 2, PP. 93  99, 01 May 2007.
 Farzad Didehvar, "On a Class of Recursively Enumarable Sets," Mathematical Logic Quarterly, Vol. 45, No. 4, PP. 467  470, 27 September 1999.















 Farnoosh Khodakarami, Farzad Didehvar, Ali Mohades Khorasani, "A Fixed Parameter Algorithm for Guarding 1.5D Terrains," 23rd Eurpean Workshop On Compatational Geometry Ewcg 2012, Italy, 18 March 2013  22 October 2013.
 Roghayeh Alami, Mohammad Ebrahim Shiri Ahmad Abady, Farzad Didehvar, Zeinab Hajimohammadi, "face recognition using local multi dimentional statistics," International Csi Computerconferenc Csicc09 , Iran (Islamic Republic of), 20 October 2009  22 October 2009.
 Nazanin Roshandel, Masoud Pourmahdian, Farzad Didehvar, "K compactness in the first order fuzzy logics," , Iran (Islamic Republic of), 24 August 2008  27 August 2008.















PhD Students Projects:

 Saeed Asaeedi, Farzad Didehvar , "", PhD, 26 February 2019.
 Farnoosh Khodakarami, Farzad Didehvar , "", PhD, 27 December 2016.
 Hajar Ghahremani Gol, Asadollah Razavi, Farzad Didehvar, "", PhD, 31 August 2015.
 Majid Yousefi Khoshbakht, Farhad Rahmati, Farzad Didehvar, "", PhD, 06 May 2014.
 Nazanin Roshandel, Masoud Pourmahdian, Farzad Didehvar, "", PhD, 11 September 2011.

MSc Students Projects:

 Sadra Mohammadshirazi, Farzad Didehvar , "An improved algorithm for rank aggregation problems", MSc, 15 September 2019.
 Anoush Siahkar, Farzad Didehvar, Zahed Rahmati, "Computability on finite state machines", MSc, 11 March 2019.
 Koosha Samieefar, Farzad Didehvar , "The Complexity Of Computing a Nash Equilibrium And Approximation Algorithms", MSc, 22 October 2018.
 Alireza Mahmoudian, Farzad Didehvar , "?????(n)sets dealing with c.e. sets", MSc, 01 October 2018.
 Maryam Shariatmadari, Farzad Didehvar , "Modelling and computation of social disintegration and reintegration", MSc, 14 May 2018.
 Mohammad Bodaghi, Farzad Didehvar , "Prediction and diagnosis Ductal Carcinoma and its computational problems", MSc, 18 April 2018.
 Pedrom Jafari Qumi, Farzad Didehvar , "Solving constrained vehicle routing problems by applying quantum computation", MSc, 16 October 2017.
 Ali Abed Saadoon Alomairi, M.hassan Shiralishahreza, Farzad Didehvar, "Steganography in HTTP/2 Protocol using multimedia padding ", MSc, 05 September 2017.
 Shahab Ebrahimi, Farzad Didehvar , "Amultisource paraconsistent framework for belief revision", MSc, 04 January 2017.
 Abbas Eslami, Mohammad Ebrahim Shiri Ahmad Abady, Farzad Didehvar, "Cancer Cells diagnosis using image processing and machine learning techniques", MSc, 28 June 2016.
 Mohamadreza Vahedi, Fatemeh Zare Mirakabad, Farzad Didehvar, "consensus folding prediction of unaligned RNA sequences", MSc, 17 February 2016.
 Fahime Yarmohammadi, Mohammad Ebrahim Shiri Ahmad Abady, Farzad Didehvar, "A metaheuristic method for vehicle routing problems with time windows ", MSc, 16 February 2016.
 Farbod Farhour, Fatemeh Zare Mirakabad, Farzad Didehvar, "Controllability Discovery of Biological Networks", MSc, 10 February 2016.
 Lida Sabbaghzadeh Ghomi, Mohammad Ebrahim Shiri Ahmad Abady, Farzad Didehvar, "Object recognition inspired by mechanism visual system", MSc, 18 February 2015.
 Mohammadhossein Navidadham, Farzad Didehvar , "Appling modification ant colony method for generalized vehicle routing problem", MSc, 16 February 2015.
 Zahra Daraei Baf, Mohammad Ebrahim Shiri Ahmad Abady, Farzad Didehvar, "Multiclass object recognition with universal dictionary of visual features", MSc, 22 October 2014.
 Alireza Akbari Bayat, Farzad Didehvar , "parallel universes algorithm a metaheuristic VRP approach to solve vehicle routing problem", MSc, 20 October 2014.
 Asghar Mahdavi, Mohammad Ebrahim Shiri Ahmad Abady, Farzad Didehvar, "Augmented lagrangian ant colony and artificial bee colony based methods for constrained optimization problems", MSc, 18 October 2014.
 Mohammad Hadi Aliakbar, Farzad Didehvar, Mojtaba Mozaffari, "IDS Designing by game theory and machin learning", MSc, 23 October 2013.
 Mohsen Mansuri, Farzad Didehvar , "covering subsets of natural numbers(N) by computational sets and computational enumerable sets", MSc, 23 October 2013.
 Zahra Taheri, Farzad Didehvar , "BLIND STEGANALYSIS OF IMAGES", MSc, 22 October 2013.
 Reyhaneh Heydarzadeh Rizi, Farzad Didehvar, Mohammad Ebrahim Shiri Ahmad Abady, "Steganography in image using multiresolution transforms", MSc, 22 October 2013.
 Mehdi Behzadimanesh, Farzad Didehvar, Mojtaba Mozaffari, "analyzing the vehicle routing problem with time windows using modified genetic algorithm", MSc, 22 October 2013.
 Ali Alizadeh Mansouri, Mohammad Ebrahim Shiri Ahmad Abady, Farzad Didehvar, "", MSc, 18 February 2013.
 Sattar Sattari, Farzad Didehvar , "Developing some metaheuristic algorithms for minimum routing cost spanning tree problem ", MSc, 28 January 2013.
 Raheleh Namayandeh, Farzad Didehvar , "Graph clustering via mixture model", MSc, 12 November 2012.
 Zahra Shajaeei, Farzad Didehvar , "", MSc, 05 November 2012.
 Mahdi Jafari, Seyyed Naser Hashemi, Farzad Didehvar, "Dynamic reconfigurable of fault tolerant mechanisms in nocs", MSc, 31 January 2012.
 Delaram Poudei, Farzad Didehvar, Behroz Bidabad, "Analysis of motif finding algorithms in biological sequences", MSc, 01 November 2011.
 Naeem Paeedeh, Mohammad Ebrahim Shiri Ahmad Abady, Farzad Didehvar, "Text simplification with antology extraction and pattern recognition", MSc, 29 October 2011.
 Yousef Seyfari, Farzad Didehvar , "Gene prediction algorithms", MSc, 24 October 2011.
 Asghar Haghi, Farzad Didehvar , "Inventory competition in multi agent systems the stackelberg game", MSc, 18 October 2011.
 Zeinab Hajimohammadi, Mohammad Ebrahim Shiri Ahmad Abady, Farzad Didehvar, "Human recognition using face biometric", MSc, 12 October 2011.
 Danial Qauroonifard, Farzad Didehvar , "Agent based modeling of collective behavior in complex systems", MSc, 23 February 2011.
 Farhad Sarvari, Mohammad Ebrahim Shiri Ahmad Abady, Farzad Didehvar, " Skill learning in hierachichal reinforcment learning in discrete semimarkov decision", MSc, 22 November 2010.
 Saeed Asaeedi, Farzad Didehvar , "Investigation the enumeration order in natural and real numbers sets", MSc, 22 November 2010.
 Leila Ghanbari, Farzad Didehvar , "prediction of tertiary structure of protein using geometry properties ", MSc, 02 February 2010.
 Mohammadreza Abolghasemi Dehaghani, Farzad Didehvar , "introducing a formulization of concept learning and investigating its comprehensiveness in statistical and computational models ", MSc, 02 December 2009.
 Roghayeh Alami, Mohammad Ebrahim Shiri Ahmad Abady, Farzad Didehvar, "Human identification using biometric face", MSc, 25 November 2009.
 Ali Akbar Safilian, Farzad Didehvar, Masoud Pourmahdian, "analysis the weihrauch approach in computable analysis", MSc, 17 November 2009.
 Mahtab Sadat Hoseini Nia, Mirmehdi Seyed Esfahani, Farzad Didehvar, "Designing a model for inventory management in multi channel distribution system of supply chain with game theory", MSc, 14 February 2009.
 Sharar Ahmadi, Farzad Didehvar, Masoud Pourmahdian, "Proof complexity", MSc, 20 September 2008.
 Ehsan Iranmanesh, Farzad Didehvar , "Mechanism desigin and winner determination problems in combinatorial auctions from the perspective of algorithmic game theory", MSc, 26 July 2008.
 Atefeh Keshavarzi Zafarghandi, Masoud Pourmahdian, Farzad Didehvar, "", MSc, 30 October 2007.
 Abolalfazl Pooreidi, Ali Mohades Khorasani, Farzad Didehvar, "Motion planning using by visibility voronoy complex", MSc, 06 October 2007.









Courses









Curriculum Vitae
• Personal ID
Name: Farzad Didehvar Date of Birth: January 14, 1969 Sex: Male Nationality: Iranian
• Work Address
Phone: (+98 21) 64542518 Department of Mathematics and Computer Science, 424, Hafez Ave, Tehran, Iran, P.O. Box: 158754413
• Email Addresses
didehvar at aut.ac.ir , fr at ipm.ir Interests Mathematical Logic &Logic, Philosophy of Mathematics, Computer Science and Computability, and some areas in Mathematics related to the above subjects.
• Education
19881993, B.Sc. in mathematics at Sharif University of Technology. 19931996, M.Sc. in mathematics at Sharif University of Technology. Projects’ title: “Intuitionist logic”. Supervisor: Professor Lyubetski and Dr. Larijani. 19972002, Ph.D. in mathematics at IPM (Institute of pure Physics and Mathematics) Thesis’ topic: “Generalization of some concepts and problems of complexity theory in structures” This thesis is about Computer Science and Logic. Supervisor: Dr. Ardeshir Behrostaqhy Also, I have Professors from Russia :Marat Arslanov, Andrey Morozov, Sergei Goncharov, Kanovay. • Teaching Experiences
Automata theory, Calculus 1, Calculus 2, Computability Theory (Undergraduate) Computability Theory, (Graduate) Logic, Theory of Computer Science (Graduate) Complexity Theory (Graduate)
• Talks 2002, Rapid Elimination of Quantifires, Logic Colloquium 2002 Munster, Germany, (with Dr Ardeshir, Subject: Computer Science and Logic) 2003, An algorithm for rank aggregation problem, 19th British Combinatorial Conference, Bangor, Wales, Britain, (with Changiz Eslahchi, Subject: Computer Science, Combinatorics and Operations Research) 2005, An algorithm for rank aggretion problem, Annual Iranian Mathematics Conference, Shahid Chamran University of Ahvaz, Ahvaz, Iran, (with Changiz Eslahchi, Subject: Computer Science, Combinatorics and Operations Research) 2005, Multiple sequence alignment and phylogenetic trees, An Introductory workshop On Bioinformatics, Tehran, Iran, (with Dr. Abbas Nowzari, Subject: Computer Science and Bioinformatics) 2005, Resampling method for tertiary structure, IpmPolytechnique WPI, workshop on Bioinformatics and Biomathematics, Tehran, Iran, (with A. Katanforoosh and M. J. Sade, Subject: Computer Science and Bioinformatics)
• M.Sc. Projects supervised(Mainly in Computer Scince Computability and Logic)
1.Mehdi Mansoorzadeh, Analyzing function of a protein using a graph theoretic approach (Subject: Bioinformatics, under supervision of Dr. Farzad Didehvar and Dr. Hassan Yousefi Azari), September 2005. 2.Nazanin Roshandel Tavana,Considering different integrals and derivative throughout Domain Theory(cosupervised with Dr Masoud Pour mahdian). May 2007 3.Abolfazl poureidi,Motion planning using by VisibilityVoronoi Complex cosupervised with Dr Mohaddes Khorasani, September 2007 4.Atefeh Keshavarzi Zafarghandi, Dynamical system and Measure Theory Via Domain Theory(cosupervised with Dr Masoud Pour mahdian) October 2007 5.Ehssan Iranmanesh, Mechanism Design and Winner Determination Problems in Combinatorial Auctions from the perspective of Algorithmic Game Theory, july 2008.
6.Sharar Ahmady, Proof Complexity, (cosupervised with Dr Masoud Pour mahdian) September 2008. 7. Mohsen Ali Momeni, A Study of reconstruction and matching problems in infinite graphs, (Cosupervised by Professor Ebadollah .S.Mahmoodian) 8. (Cosupervised by Professor Ebadollah .S.Mahmoodian(sharif)) 9.Mahtab Hosseininia, Designing an inventory management model for multi channel distribution system of supply chain by game theory(Cosupervised by Dr Esfahani Farahani(Industrial Engineering Faculty of Amir Kabir University) 10.Abolghasemi Mohammad Reza, Introducing a formulization of concept learning and investigating its comprehensiveness in statistical and computational Models (November 2009) 11. Qhanbari Leila, A prediction of ternary structure of proteins by geometrical properties, (2010). 12.Ali Akbar Safilian, Analysis the Weirauch Approach in Computable Analysis (Cosupervised by Dr Pourmahdian.
• Phd Projects supervised
1. Nazanin roshandel Tavana, Continuous Logic (Co supervised with Dr Masoud Pourmahdian)
.Publication
Farzad Didehvar, On a Class of Recursively Enumarable Sets. BibTeX, Mathematical Logic quarterly, volume 45,1999
M. Ardeshir, F. Didehvar, Model of rapid elimination of quantifires for a special finite language.(unpublished, Thesis)
F. Didehvar, Ch. Eslahchi, An algorithm for rank aggregation problem, Applied mathematics and computation ISSN 00963003 CODEN AMHCBQ,2007
S. Arab, F. Didehvar, Ch. Eslahchi, M. Sadeghi, Helix segment assignment in proteins using fuzzy logic, Shahriar Arab, Farzad Didehvar, Mehdi Sadeghi, Iranian journal of biotechnology. Vol 5, No. 2, April 2007 Effective Continuous logic, F.Didehvar, K.Ghasemloo, M.Pourmahdian, appeared in Annals of pure and applied logic(Apal), 2008 F.Didehvar, Ali.D.Mehrabi, and Fatemeh Raee On unique independence weighted graphs, (American Mathematical Society Contemporary Mathematics (CONM) Series) 2010, will be appeared.
F. Didehvar, A. Katanforoosh, M. Saade, An algorithm for prediction of tertialy structure of proteins. (unfinished)
Hamed Daneshpajooh, Hamid Daneshpajooh, Farzad Didehvar, A metric on the space of weighted graphs, (Submitted) Aliakbar Safilian, Farzad Didehvar, Enumeration Order Reducibility, (In prepration).
Roghayeh Alemi, Mohammad Ebrahim Shiri, Farzad Didehvar, Zaynab Hajimohammadi , Face recognition Using Local Multi Dimensional Statistics, Proceedings of 14th annual International CSI Computer Conference Roghayeh Alemi, Mohammad Ebrahim Shiri, Farzad Didehvar , How able Elastic Bunch Graph Matching Algorithm in landmark localization: A survey (Submitted)
A Novel for prediction and approximation of functions (Self approximation method), M.Abolghasemi, F.Didehvar, E.Sfavieh and N Hashemi (Submitted).
Some Philosophical Works: Farzad Didehvar, Epistemological Observation About MindMachine Equivalence , (Appeared in Phil paper)
Farzad Didehvar , On Defining I.(Appeared In Phil paper)
Farzad Didehvar, Two Different Types of Problems (When proof doesn’t show the Truth, Submitted in Philpaper)
Other activities: 1.Taking part in writing the high school book of the first degree of High school(one of the writers) and taking part in providing a general them for such a books.
2. Taking part in funding bioinformatics group in Tehran University Under Super Vision of Professor Golyayi.
3. Taking part in problem solving group(Khawrazmi group 2008).















• Education
19881993, B.Sc. in mathematics at Sharif University of Technology. 19931996, M.Sc. in mathematics at Sharif University of Technology. Projects’ title: “Intuitionist logic”. Supervisor: Professor Lyubetski and Dr. Larijani. 19972002, Ph.D. in mathematics at IPM (Institute of pure Physics and Mathematics) Thesis’ topic: “Generalization of some concepts and problems of complexity theory in structures” This thesis is about Computer Science and Logic. Supervisor: Dr. Ardeshir Behrostaqhy Also, I have Professors from Russia :Marat Arslanov, Andrey Morozov, Sergei Goncharov, Kanovay and Bruno Poizat from Francein Logic and Computability Theory. • Teaching Experiences
Automata theory, Calculus 1, Calculus 2, Computability Theory (Undergraduate) Computability Theory, (Graduate) Logic, Theory of Computer Science (Graduate) Complexity Theory (Graduate)















Iranian Mathematical Society

















• Personal ID
Name: Farzad Didehvar Date of Birth: January 14, 1969 Sex: Male Nationality: Iranian
• Work Address
Phone: (+98 21) 64542518 Department of Mathematics and Computer Science, 424, Hafez Ave, Tehran, Iran, P.O. Box: 158754413
• Email Addresses
didehvar at aut.ac.ir , fr at ipm.ir Interests Mathematical Logic &Logic, Philosophy of Mathematics, Computer Science and Computability, and some areas in Mathematics related to the above subjects.









 
Farzad Didehvar
Assistant Professor


Department:


Department of Mathematics


Personal Homepage


