Credentials

Experience Summary

  • Ph.D. at Carnegie Mellon University in 1994 under Herbert Simon (Nobel Prize and Turing award winner) and Mike Trick
  • 16 years at IBM as Master Inventor and architect in the area of software engineering with emphasis on coverage, concurrency, and review
  • More than 60 publications in conferences and journals
  • More than 25 registered patents and more than 20 patents pending
  • Teaching experience including numerous presentations, courses, and tutorials at conferences, universities, and companies

Academic Degrees

  • 1994 Ph.D. and 1992  M.Sc. in Algorithms, Combinatorics, and Optimization:
    Carnegie Mellon University
  • 1990 M.Sc. and 1987 B.Sc. in Computer Science:
    Technion – Israel Institute of Technology, Haifa, Israel

Research Interests

  • Testing and healing concurrent systems
  • Review, debugging, and other developer quality activities
  • Hardware design verification
  • Coverage methodologies, techniques, and tools for hardware and software testing
  • Coverage directed test generation
  • Many aspects of innovation
  • Application of formal verification to software testing and hardware verification

Contributions

Dr. Shmuel Ur is well-renowned in industry and academia for his contributions to innovative ideas, software engineering, patent delivery, and hardware and software verification.

Click to read details:

Comments are closed.