Skip to content

Avinash Joshi

  • B.Tech in Information Technology
  • Research Assistant
  • Amrita Vishwa Vidyapeetham
  • 1PublicationsNumber of items in Avinash's My Publications folder on Mendeley.
  • 8Followers

Research interests

Formal MethodsComputer/Internet SecurityParallel and Distributed Systems

About

Avinash Joshi

Groups

  • TLA
    TLA

Followers (8)

Explore network

Following (10)

Explore network

Publications (1)

  • Specification and Verification of Controller Area Network Protocols using Temporal Logic

    • Poroor J
    • Ramani V
    • Joshi A
    • et al.
    N/AReaders
    N/ACitations

Professional experience

Research Assistant

Amrita Vishwa Vidyapeetham

October 2010 - Present

Campus Ambassador

Sun Microsystems

August 2008 - January 2010(a year)

Education

B.Tech, Information Technology

Amrita University

July 2006 - Present