Experts at Empire State College

Gohar Marikyan
Assistant Professor
New York City, NY

Expertise

• Computer programming
• Database administration
• Issues in mathematics
• Armenian Church
• Non-governmental organizations
• Soviet Union

Profile

Gohar Marikyan continues her research in mathematical logic as applied to computer science. She is particularly interested in developing methods for building stronger mathematical foundations. The results and findings of her research are presented in conferences and they are published in various journals. To reflect advances in technology, he continues to create new studies in mathematics and computer science.

Born, brought up, and educated under the Soviet system, Marikyan has extensively studied the history and ideology of the Soviet Union, and was an eye-witness to its workings and its collapse. After its collapse, Marikyan was involved, firsthand, in the development, and the operation of the very first NGO in the Soviet Union – the Gtutiun Armenian Benevolent Union as its information systems department head, liaison officer, and publicity director. In addition, he has taken several courses in the management and leadership of NGOs and has participated in various programs that emerged after the Soviet collapse. He was the winner of the Competition on Proposal Writing, USAID; and won a grant by the United States Information Agency’s (USIA) Regional Scholar Exchange Program and Freedom Support Act Fellowship; and was invited for a three-month visit to the United States to research management and leadership of nongovernmental organizations at the Western Connecticut State University. She also is a certified teacher of religion of the Armenian Apostolic Church.

Marikyan has a Master of Science degree in computer science from Yerevan University, Armenia, and a Ph.D. in mathematics from the National Academy of Sciences of Armenia.

She publishes in scientific journals, and participates in conferences. She also teaches business-related mathematics and computer studies.

Publications

• Consistency of Martin-Löf's Intuitionistic Type Theory, Archive for Mathematical Logic (submitted for publication)
• Automation of Computer Program Writing and Per Martin-Löf’s Type Theory, Journal of Computational Technologies, Novosibirsk, Russia, 2007, Volume 12, No. 6 (submitted for publication)
• Per Martin-Löf’s Type Theory For Automated Program Writing, International Journal of Pure and Applied Mathematics, 2007, Volume 38 (submitted for publication)
• Math Anxiety and Adult Students, All About Mentoring
• Anania Shirakatsi’s 7^th Century Methodology of Teaching Arithmetic Across the Centuries and Diverse Cultures, Proceedings of ESU 5
• Automated Program Writing System Based on Per Martin-Löf’s Type Theory, Fourth International Conference of Applied Mathematics and Computing, 2007, Volume 3
• Complexity of Logical Inferences in Martin-L¨of’s Type Theory. Part 1, Logic, Computability and Randomness 2007, Buenos Aires, Argentina
• Consistency of Martin-Löf’s Intuitionistic Type Theory, The Bulletin of Symbolic Logic, Volume 12, Number 4, December 2006
• Automation of Inference in Marin-Löf’s Intuitionistic Type Theory, The Bulletin of Symbolic Logic, Volume 12, Number 3, September 2006
• Modulation of the Recursive Algorithms by Means of Martin-Lof's Type Theory
• Regulation of Terms of Martin-Lof's Type Theory, Fixed-Point and Recursion Theorems in Martin-Lof's Type Theory
• Inference Research System with Dialogue in Martin-Lof's Intuitionistic Type Theory
• Some Varieties of Reducibility and their Differences on Recursively Innumerable Sets