Mahadevan Subramaniam, PhD

Professor

  • 302 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
Quantum cryptography
Network protocols
Testing
Networks (circuits)
Optical tomography
Time series
Semantics
Health
Adders
Time series analysis
Large scale systems
Recursive functions
Logic programming
Theorem proving
Data structures
Students
Education
Utility programs
Hardware
Computer programming languages
Computer monitors
Loaders
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
Peer to peer networks
Controllers
Monitoring
Miners
Dynamic programming
Application programs
Computer hardware
Cryptography
Factorization
Communication

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