Mahadevan Subramaniam, PhD

Professor

  • 293 Citations
  • 10 h-Index
19942019
If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Dive into the research topics where Mahadevan Subramaniam is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Finite automata
Specifications
Network protocols
Testing
Quantum cryptography
Networks (circuits)
Optical tomography
Time series
Semantics
Health
Adders
Time series analysis
Large scale systems
Recursive functions
Logic programming
Theorem proving
Data structures
Education
Utility programs
Hardware
Computer programming languages
Computer monitors
Loaders
Students
Parallel algorithms
Error detection
Costs
Engineering education
Prosthetics
Syntactics
Websites
Experiments
Simulators
Web services
Quantum entanglement
Context free grammars
Virtual reality
Switches
Table lookup
Formal languages
Controllers
Monitoring
Miners
Dynamic programming
Application programs
Computer hardware
Factorization
Communication
Software testing
Redundancy

Mathematics

Proof by induction
Decision Procedures
Specification
Lemma
Degeneration
Theorem
Set Cover
State Machine
Arithmetic Circuits
Reasoning
Cache Coherence
Quantum Cryptography
Quantifiers
Tables
Serious Games
Integrity Constraints
Automated Reasoning
Multiplier
User Interaction
Correctness
Test Generation
Parallel Algorithms
Recursive Functions
Edit Distance
Update
Error Detection
Health
Division
Retina
Equivalence
Test Set
Exercise
Calculus
Incremental Algorithm
Strings
Table
Rewriting
Game
Divide and conquer
Coverage
Predicate
Hardware
Controller
Look-ahead
Ripple
Proof of correctness
Semantic Analysis
Prefix
Finite Set
Data Structures