M. Ümit Uyar

Professor

Main Affiliation

Electrical Engineering

Additional Departments/Affiliated Programs

Computer Engineering

Areas of Expertise/Research

  • Artificial Intelligence
  • Communication Protocol Testing

Building

Steinman Hall

Office

ST 672

Phone

(212) 650-5632

Fax

(212) 650-8249

M. Ümit Uyar

Education

Ph.D. in Electrical Eng., Cornell University, Ithaca, NY
M.S. in Electrical Eng., Cornell University, Ithaca, NY
B.S. in Electrical Eng., Istanbul Teknik Universitesi, Turkey

Books

Image 1 Image 2 Image 3 Image 4
Image 5 Image 6
  • "Beginner’s Guide to AI for Engineers - AI Fundamentals for Real-life Applications," Amazon, Kindle Direct Publishing, ISBN-13:979-8-675-66533-4, 2020.
  • "Essential Programming Skills for Engineers: Fundamentals of Object Oriented Domain," Amazon, Kindle Direct Publishing, ISBN-13: 979-8-657-26900-0, 2020.
  • "Proceedings of 18th IFIP International Conference on Testing Communicating Systems," (co-editors A. Y Duale, and M. A Fecko), Lecture Notes in Computer Science Series, Springer, ISBN 3-540-34184-6, 2006.
  • "Proc. of 6th Int'l. Conf. on Formal Description Techniques," (co-editors R.L. Tenney and P.D. Amer), North Holland, ISBN 0-444-81773-5, 1994.
  • "Conformance Testing Methodologies and Architectures for OSI Protocols," (co-editor R.J. Linn), IEEE Computer Society Press, ISBN 0-8186-5352-3, 1994 (this book is used as the text book for a graduate level telecommunications course at the CCNY).
  • "Protocol Specification, Testing and Verification XII," (co-editor R.J. Linn), North Holland, ISBN 0-444-89874-3, 1993.

Grants

  • US Army, CERDEC, AI and Game Theory Based Autonomous CND Software Agents for Dynamic Trust Evaluation, Principal Investigator, $300,000 (Co-PI: J. Kusyk), 2017-2020.
  • National Science Foundation: I-Corps Program, Implementation of Genetic Algorithms for Personalized Chemosensitivity Testing for Cancer Patients, Principal Investigator, $50,000, 2012.
  • National Science Foundation: Major Research Instrument Development of a New Generation of Mobile Robots with Climbing and Reliable Communication Capabilities, Principal Investigator, $478,968 (Co-PI: J. Xiao), 2006 - 2010.
  • U.S. Army, Fort Monmouth, NJ: Knowledge Sharing Agents Using Genetic Algorithms in Mobile Ad Hoc Networks, Principal Investigator, $180,000 (Co-PI: M. Conner), 2006 - 2010.
  • U.S. Army Research Labs (ARL) Program: Efficient Reliable End-to-End Communications, Collaborative Scientific Alliance (CTA) in Communications and Networks, Co- Principal Investigator, $600,000 (exact amounts to be determined yearly). This grant is an extension of original CTA grant awarded to a few researchers based on performance.) (Co-PIs: T. Saadawi, M. J. Lee) 2007-2010.
  • National Science Foundation: CRI: Center for Perceptual Robotics, Intelligent Sensors and Machines (PRISM) at CCNY, Senior Personnel, $280,000 (2 years, Co-PIs: Xiao, Zhu, Lee, Wolberg; SPs: Sadegh, Levin, Grossberg), (in addition, this grant also has $212,424 contribution from CCNY), 2006 - 2008.
  • National Science Foundation: Major Research Instrument Development for Computer Engineering with Robotics Applications, Principle Investigator, $202,844 (Co-PI: J. Xiao), 2004 - 2007.
  • PSC - CUNY: Fault Models for Communications Systems, Principal Investigator, $4,400, 2004 - 2005.
  • US Army Research Labs Program: Efficient Reliable End-to-End Communications, Collaborative Scientific Alliance (CTA) in Communications and Networks, Co-Principal Investigator, $3,000,000 (5 Co-PIs) 2001 - 2006.
  • US Army Research Labs Consortium (Federated Labs), Advanced Telecommunication/Information Distribution and Research Program (ATIRP), on Tactical Interoperability of Combat Networks, Co-Principal Investigator, $2,300,000 (4 Co-PIs) 1996-2001.

Publications

  • J. Kusyk, S. M. Saeed and M. U. Uyar, "Survey on Quantum Circuit Compilation for Noisy Intermediate-Scale Quantum Computers: Artificial Intelligence to Heuristics," in IEEE Transactions on Quantum Engineering, vol. 2, pp. 1-16, 2021, Art no. 2501616, doi: 10.1109/TQE.2021.3068355.
  • J. Kusyk, M. U. Uyar, K. Ma, E. Samoylov, R. Valdez, J. Plishka, S. Hoque, G. Bertoli, J. Boksiner, "Artificial Intelligence and Game Theory Controlled Autonomous UAV Swarms," Evolutionary Intelligence, Springer, pp. 1-18, 2020.
  • A. Saribudak, A. A. Subick, N. H. Kim, J. A. Rutta, and M. Ü. Uyar, "Gene Expressions, Hippocampal Volume Loss and MMSE Scores in Computation of Progression and Pharmacologic Therapy Effects for Alzheimer's Disease," IEEE/ACM Trans. on Computational Biology and Bioinformatics, pp. 1-14, 2018.
  • J. Kusyk, M. U. Uyar, and C. S. Sahin, "Survey on Evolutionary Computation Methods for Cybersecurity of Mobile Ad Hoc Networks," Evolutionary Intelligence, Springer, pp. 1-23, 2018.
  • A. Saribudak, Y. Dong, J. Hsieh, and M. U. Uyar, "Modeling Tumor Growth for Kidney Cancer based on Nuclei Clusters of Pathology Slides," Int'l. Journ. of Engineering and Technology, Vol. 8, No. 5, pp. 375-379, Oct. 2016.
  • A. Saribudak, H. Veterduy, K. Hubbard, and M. U. Uyar, "Spatial Heterogeneity Analysis in Evaluation of Cell Viability and Apoptosis for Colorectal Cancer Cells," IEEE Journal of Translational Engineering in Health and Medicine (JTEHM), Vol. PP, Issue 99, pp. 1-9, June, 2016.
  • A. Saribudak, S. Gundry, J. Zou, and M. U. Uyar, "A gene expression based mathematical modeling approach for breast cancer tumor growth and shrinkage," Network Modeling Analysis in Health Informatics and Bioinformatics, Springer, V. 4, pp. 1-13, 2015.
  • S. Gundry, J. Zou, M. U. Uyar, C. S. Sahin, J. Kusyk, "Differential evolution-based autonomous and disruption tolerant vehicular self-organization in MANETs," Ad Hoc Networks, Elsevier, V. 25, pp. 454-471, 2015.
  • J. Kusyk, J. Zou, S. Gundry, C. S. Sahin, and M. U. Uyar, "Performance Metrics for Self-positioning Autonomous MANET Nodes," Journal of Cybersecurity and Mobility, (invited paper) , Vol. 2, pp. 151-173, 2013.
  • J. Zou, S. Gundry, J. Kusyk, M. U. Uyar, and C. S. Sahin, "3D Genetic Algorithms for Underwater Sensor Networks," Int. J. of Ad Hoc and Ubiquitous Computing, Vol.13, No.1, pp. 10-22, Inderscience Publishers, 2013.
  • C. S. Sahin and M. U. Uyar, "Real-time and Decentralized Topology Control for Autonomous Vehicles," Emerald International Journal of Intelligent Computing and Cybernetics, International Journal of Intelligent Computing and Cybernetics, Vol. 5, Issue 3, pp. 359-380, Emerald, 2012.
  • C. S. Sahin, S. Gundry, M. U. Uyar, "Markov Chain Analysis of Self-organizing Mobile Nodes," Journal of Intelligent and Robotic Systems, pp. 133-153, Springer 2012.
  • C. S. Sahin, E. Urrea, M. U. Uyar, "Self Organization for Area Coverage Maximization and Energy Conservation in Mobile Ad Hoc Networks," Transactions on Computer Science XV, Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems, Vol. 7050, pp. 49-73, Springer 2012.
  • Edmund C. Jenkins Jr., Shawon Debnath, Stephen Gundry, Sajini Gundry, Umit Uyar, Jimmie E. Fata, "Intracellular pH regulation by Na+/H+ exchanger-1 (NHE1) is required for growth factor-induced mammary branching morphogenesis," Developmental Biology, Volume 365, Issue 1, 1 May 2012, pp. 71-81, Elsevier, 2012.
  • J. Kusyk, E. Urrea, C.S. Sahin, M.U. Uyar, "Game theory and genetic algorithm based approach for self positioning of autonomous nodes," Ad Hoc & Sensor Wireless Networks, Volume 16, Number 1-3, pp. 93-118, Old City Publishing, 2012.
  • J. Kusyk, C. S. Sahin, M. U. Uyar, E. Urrea, and S. Gundry, "Self Organization of Nodes in Mobile Ad Hoc Networks Using Evolutionary Game," Elsevier Journal of Applied Research (invited paper) , vol. 2, pp. 253-264, 2011.
  • C. S. Sahin, E. Urrea, M. U. Uyar, M. Conner, G. Bertoli, and C. Pizzo, "Design of Genetic Algorithms for Topology Control of Unmanned Vehicles," International Journal of Applied Decision Sciences (IJADS), Special Issue on Decision Support Systems for Unmanned Vehicles, Vol. 3, Issue 3, 2010.
  • E. Urrea, C. S. Sahin, I. Hokelek, M. U. Uyar, M. Conner, G. Bertoli, and C. Pizzo, "Bio-inspired Topology Control for Knowledge Sharing Mobile Agents," Mobile Ad Hoc Networks, Elsevier, Special Issue on Bio-Inspired Computing, Vol. 7, No. 4, pp. 677-689, 2009.
  • S. S. Batth, M. U. Uyar, Y. Wang and M. A. Fecko, "Fault Masking by Multiple Timing Faults in Timed EFSM Models," Computer Networks, Vol. 53, Issue 5, pp. 596-612, Apr. 2009.
  • S. S. Batth, M. U. Uyar, Y. Wang and M. A. Fecko, "Fault Modeling and Detection Capabilities for EFSM Models," IEEE Transactions on Instrumentation and Measurement, Vol. 57, Issue: 6, pp. 1102-1111, June 2008.
  • M. U. Uyar, S. S. Batth, Y. Wang and M. A. Fecko, "EFSM Graph Augmentation Algorithms for Modeling a Class of Single Timing Faults," IEEE Transactions on Computers, Vol. 57, No. 2, pp. 274-288, February, 2008.
  • I. Hokelek, M. U. Uyar, and M. A. Fecko, " On Stability Analysis of Virtual Backbone in Mobile Ad Hoc Networks," Wireless Networks, Springer, No. 14, pp. 87-102, 2008.
  • J. Zou, M. U. Uyar, M. A. Fecko, and S. Samtani, " Performance Evaluation of Subflow Capable SCTP," Computer Communications, Elsevier, No. 29, pp. 2413-2432, 2006.
  • J. Zou, M. U. Uyar, M. A. Fecko, and S. Samtani, " Throughput Models for SCTP with Parallel Subflows, " Computer Networks, Elsevier, No. 50, pp. 2160-2182, 2006.
  • A. Y. Duale and M. U. Uyar. " A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models. IEEE Transactions on Computers, " Volume 53, No. 5, pp. 614-627, May 2004.
  • M. U. Uyar, J. Zheng, M. A. Fecko, S. Samtani, P. T. Conrad, " Evaluation of Architectures for Reliable Server Pooling in Wired and Wireless Environments, " (invited paper) in IEEE JSAC Special Issue on Recent Advances in Service Overlay Networks V. 22, No. 1, pp. 164-175, Jan. 2004.
  • M. A. Fecko, M. U. Uyar, A. Y. Duale, P. D. Amer, " A Technique to Generate Feasible Tests for Communications Systems with Multiple Timers, " IEEE/ACM Transactions on Networking V. 11, No. 5, pp. 796-809, Oct. 2003.
  • M. U Uyar, M. A. Fecko, A. Y. Duale, P. D. Amer, A. Sethi, " Experience in Developing Network Protocol Software Using FDTs, " (invited paper) Journal of Information and Software Technology, Elsevier Science B. V., No 45, Issue 12, pp. 815-823, September, 2003.
  • M.A. Fecko, M.U. Uyar, P.D. Amer, A.S. Sethi, T. Dzik, R. Menell, M. McMahon, "A Success Story of Formal Description Techniques: Estelle Specification and Test Generation for MIL-STD 188-220," Computer Communications, Special Issue on Formal Description Techniques in Practice, 23, pp. 1196-1213, 2000.
  • M. A. Fecko, M. U. Uyar, A. S. Sethi, P. D. Amer, "Conformance Testing in Systems with Semicontrollable Interfaces", Annals of Telecommunications (special issue), Part 2, vol 55, pp. 70-83, Jan-Feb.2000.
  • M.U. Uyar, M.A. Fecko, A.S. Sethi and P.D. Amer, "Testing Protocols Modeled as FSMs with Timing Parameters," Computer Networks, Vol. 31, pp. 1967-1988, Aug.1999.
  • M. U. Uyar, "Dual State Augmentation for Minimizing Conformance Test Costs," Computer Networks and ISDN Systems, Vol. 30, pp. 1277-1294, 1998.
  • M.U. Uyar and A.P. Reeves, "Fault Reconfiguration for the Near Neighbor Task in a Multistage-Network MIMD System," Journal of Parallel and Distributed Computing, 22, pp. 1-15, 1994.
  • A. V. Aho, A.T. Dahbura, D. Lee, and M. U. Uyar, "An Optimization Technique for Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours," IEEE Trans. on Communications, Vol. 39, No. 11, pp. 1604-1615, Nov. 1991.
  • B. S. Bosik and M. U. Uyar, "FSM-Based Formal Methods in Protocol Conformance Testing: from Theory to Implementation," (invited paper) Computer Networks and ISDN Systems, Vol. 22, No.1, pp. 7-33, Sept. 1991.
  • A. T. Dahbura, K. K. Sabnani, and M. U. Uyar, "Formal Methods for Generating Protocol Conformance Test Sequences," (invited paper) Proceedings of the IEEE, Vol. 78, No. 8, pp. 1317-1326, Aug. 1990.
  • M. H. Sherif and M. U. Uyar, "Protocol Modeling for Conformance Testing: Case Study for the ISDN LAPD Protocol," AT&T Technical Journal, Vol. 69, No. 1, pp. 60-83, Jan 1990.
  • M. U. Uyar, K. K. Sabnani, and A. M. Lapone, "Algorithmic Verification of ISDN Network Layer Protocol," AT&T Technical Journal, Vol. 69, No. 1, pp. 17-31, Jan 1990.
  • A. T. Dahbura, K. K. Sabnani, and M. U. Uyar, "Algorithmic Generation of Conformance Tests," AT&T Technical Journal, Vol. 69, No. 1, pp. 101-118, Jan 1990.
  • K. K. Sabnani, A. M. Lapone, and M. U. Uyar, "An Algorithmic Procedure for Checking Safety Properties of Protocols," IEEE Trans. on Communications, Vol. 37, No. 9, pp. 940-948, Sept. 1989.
  • M. U. Uyar and A. P. Reeves, "Dynamic Reconfiguration in a Mesh-Connected MIMD Environment," IEEE Trans. on Computers, Vol. 37, No. 10, pp. 1191-1205, Oct. 1988.