INDIAN INSTITUTE OF TECHNOLOGY TIRUPATI
                   भारतीय प्रौद्योगिकी संस्थान तिरुपति

INDIAN INSTITUTE OF TECHNOLOGY TIRUPATI
भारतीय प्रौद्योगिकी संस्थान तिरुपति
COVID19    Policies    RTI    SC/ST/OBC Liaison Officers/Cell

COMPUTER SCIENCE & ENGINEERING


Dr. Ravi Prakash G Iyer (Ravinder)

Visiting Professor

Areas of Interest

  • Analysis of Cyber-Physical Systems
    • Choice & Control
    • Safety & Contracts
    • Systems & Axioms
    • Loops & Invariants
    • Events & Responses
    • Reactions & Delays
    • Equations & Invariants
    • Systems & Games
    • Verification & Validation

Education

Latest Publications

  • Patent 10,984,161, "System, method, and computer program product for sequential equivalence checking in formal verification", (with Mukherjee; Rajdeep, Chen; Benjamin Meng-Ching, Farah; Habeeb, Hanna; Ziyad), April 20, 2021.
  • Patent 10,728,153, "Effective bandwidth path metric and path computation method for wireless mesh networks with wired links" (with Bellur; Bhargav Ramachandra, Singhal; Amar, Jetcheva; Jorjeta Gueorguieva) July 28, 2020.
  • Patent 10,616,900, "Channel assignment for wireless access networks", (with Jetcheva; Jorjeta, Gupta; Vinay, Kanodia; Sachin, Natarajan; Mohan), April 7, 2020.
  • Patent 10,496,816, "Supplementary activity monitoring of a selected subset of network entities", (with Badhani; Devendra, Chauhan; Vijay), December 3, 2019.
  • Patent 10,373,177, "Dynamic prediction of online shopper's intent using a combination of prediction models", (with Vijayaraghavan; Ravi, Adusumilli; Kranthi Mitra, Kulkarni; Subhash Ramchandra), August 6, 2019.
  • Patent 9,910,909, "Method and apparatus for extracting journey of life attributes of a user from user interactions", (with Hegde; Darshan, Adusumilli; Kranthi Mitra, Kulkarni; Subhash Ramchandra), March 6, 2018.
  • Patent 9,836,598, "User activity monitoring", (with Badhani; Devendra, Chauhan; Vijay), December 5, 2017.
  • Patent 9,462,440, "Community interaction using mobile communication devices", (with Vishwanathan; Kumar K., Sundar; Rangamani, Raman; Kumar, Hariharasubramani; Girish), October 4, 2016.

0877 2503210
iyerravi@iittp.ac.in
ORCID ID
Computer Science Home