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 120 registered patents and more than 150 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:
- Refereed papers in professional journals
- Patents
- Refereed papers in conference proceedings
- Participation in organizing conferences
- Full-day tutorials in conferences
- Invited talks — a selection