Shobha Vasudevan

Electrical and Computer Engineering
Shobha  Vasudevan
Shobha Vasudevan
Assistant Professor
260 Coordinated Science Lab MC 228
1308 W. Main St.
Urbana Illinois 61801
(217) 333-8164

Primary Research Area

  • Reliable and High Performance Computing

Education

Ph.D., Electrical and Computer Engineering, The University of Texas at Austin, 2007 (Advisor: Dr. Jacob A. Abraham)

For more information

Prof. Vasudevan's home page

Major Consulting Activities

Huawei Technologies, Dallas, Texas 2011-2012

Research Interests

  • Timing verification
  • Probabilistic model checking
  • Formal verification methods
  • Software testing
  • Hardware validation and Test
  • Hardware verification

Research Areas

  • Algorithms and computational complexity
  • Analog integrated circuits
  • Biosensors and bioelectronics
  • Compilers
  • Computer aided design
  • Computer aided design of integrated circuits
  • Computer architecture
  • Computer security, privacy, and information trust
  • Discrete-event, switched and hybrid systems
  • Fault tolerance and reliability
  • Formal methods and software verification
  • Hardware systems
  • Integrated circuit reliability
  • Logic design and VLSI
  • Machine learning and pattern recognition
  • Operating systems
  • Programming languages
  • System modeling and measurement
  • VLSI architectures and integrated circuits for DSP and communications
  • VLSI in communications