Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
 
Feldman, Yishai
IBM Research - Haifa
Haifa, Israel
 
   Featured Reviewer
   Reader Recommended
   Reviewer Selected
   Highlighted
Follow this Reviewer
 
 
 

Yishai Feldman joined IBM's Research lab in Haifa, Israel, in 2006, after many years in academia, at Tel Aviv University and the Interdisciplinary Center in Herzlia, where he had the rare opportunity of building the programming languages and software engineering part of the curriculum from scratch. For many years, he also consulted for a data security company, where he was responsible for writing proposals, specifications, and high-performance cryptographic code. He holds a BSc in Mathematics from Tel Aviv University and a PhD in Computer Science from the Weizmann Institute of Science.

Yishai's passion is intelligent tools for various domains, mostly focusing on software engineering, where he is his own domain expert and may get to use his own tools. He spent four years with the Programmer's Apprentice project at MIT's Artificial Intelligence Lab, which had the ambitious goal of creating an intelligent assistant for software development.

He continued following that goal for many years, developing with students and colleagues the Cake knowledge-representation and reasoning system, tools for applications such as design by contract in Java, legacy program transformation, interprocedural clone detection, refactoring for COBOL, and automatic fixing of security vulnerabilities in web applications. With one student, he also applied his skills to the creation of a system that takes a movie or animation script and chooses camera positions and shot types (close-up, medium shot, long shot, and so on) based on cinematic principles.

More recently, he developed tools in the systems domain for engineering life cycle consistency analysis and requirement formalization. The latter has led him to a fascinating investigation of the use of natural language understanding and computational semantics techniques to extract formal content from text.

Yishai has published dozens of papers, chaired various conferences and seminars, authored a dozen patents, and is the co-author of the 3rd edition of the popular Algorithmics book.

Yishai is a voracious reader and always has something to say about it, which is why he enjoys writing for Computing Reviews.

 
 
Options:
Date Reviewed  
 
1
- 10 of 13 reviews

   
  Genius: theory, history and technique
Manzocco R., Springer International Publishing, Cham, Switzerland, 2023. 182 pp.  Type: Book (9783031270918), Reviews: (2 of 2)

Athletes spend a lot of time analyzing Olympic performances; scientists, engineers, and artists are also fascinated by “genius.” But what is a genius? How is one made? Can I be one, or can I at least raise my children to be geniuses? A...

Oct 23 2023  
   Mathematical logic through Python
Gonczarowski Y., Nisan N., Cambridge University Press, Cambridge, UK, 2022. 284 pp.  Type: Book (1108949479), Reviews: (2 of 2)

I well remember, after many years, my surprise and awe at the beauty of the structure of my undergraduate course on logic and computability, which led students from the basics of propositional logic to Gödel’s incompleteness theorems. U...

Jun 27 2023  
   The kollected Kode Vicious: opinionated advice for programmers
Neville-Neil G., Addison-Wesley, Boston, MA, 2020. 311 pp.  Type: Book (978-1-367882-46-1)

Readers of Communications of the ACM and ACM Queue are surely familiar with the magazines’ “Dear Abby”-like column, written by George V. Neville-Neil, under his persona Kode Vicious, or KV. T...

Apr 30 2021  
   The software arts
Sack W., The MIT Press, Cambridge, MA, 2019. 400 pp.  Type: Book (978-0-262039-70-3)

Is the current approach to computing education wrong? The author of this book claims it should focus more strongly on its roots in the liberal arts. The book traces these roots and examines several central tenets of computing in this l...

Feb 18 2020  
   Dawn of the new everything: encounters with reality and virtual reality
Lanier J., Henry Holt and Co, Inc., New York, NY, 2017. 368 pp.  Type: Book (978-1-627794-09-1)

Virtual reality (VR) apps with inexpensive smartphone attachments are widely available today, but what would it have been like to obsess over VR long before it was technologically feasible? It would likely have taken a unique character...

Aug 31 2018  
   Programming Kotlin
Samuel S., Bocutiu S., Packt Publishing, Birmingham, UK, 2017. 420 pp.  Type: Book (978-1-787126-36-7)

It has been said that Java’s greatest contribution is the Java virtual machine (JVM). This is borne out by the proliferation of other JVM languages. While Java is (understandably) slow to change, other JVM languages have expe...

Jan 15 2018  
   Reactive programming with Angular and ngrx: learn to harness the power of reactive programming with RxJS and ngrx extensions
Farhi O., Apress, New York, NY, 2017. 148 pp.  Type: Book (978-1-484226-19-3)

Many programmers may not be aware of the fact that JavaScript has a powerful functional programming subset. The use of callbacks is very common, but is only a small part of how functional techniques can improve the conciseness, readabi...

Nov 9 2017  
   Ada’s legacy: cultures of computing from the victorian to the digital age
Hammerman R., Russell A., Association for Computing Machinery and Morgan & Claypool, New York, NY, 2015. 243 pp.  Type: Book

Known as the first computer programmer, and popularized by the programming language named after her, who really was Augusta Ada, Countess of Lovelace, and what does she signify for us? Ada’s legacy, a collection of pap...

May 13 2016  
   Java closures and lambda
Fischer R., Apress, Berkeley, CA, 2015. 220 pp.  Type: Book (978-1-430259-98-5), Reviews: (1 of 2)

Functional programming and object-oriented programming are inherently incompatible. While the former prohibits any side effects, to the extent of having to dance carefully around input/output (I/O), the latter is predicated on changing...

Jul 7 2015  
   Formal specification level: concepts, methods, and algorithms
Soeken M., Drechsler R., Springer Publishing Company, Incorporated, Cham, Switzerland, 2015. 138 pp.  Type: Book (978-3-319086-98-9)

The genesis of every complex system is an informal set of requirements. In a good development process, these are formalized as a text document. This natural language text, however, is not truly formal; it is susceptible to being misund...

Feb 20 2015  
 
 
 
Display per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy