Honors & Awards

2018 Best Paper Award Anderson Luiz Sartor, Arthur F. Lorenzon, Sandip Kundu, Israel Koren and Antonio Carlos S. Beck, Adaptive and Polymorphic VLIW Processor to Optimize Fault Tolerance, Energy Consumption, and Performance, ACM International Conference on Computing Frontiers

2015 Pesquisador Visitante Especial Award from Brazil Ministry of Education, for research visit to Federal University of Rio de Janeiro, and others.

2014 Senior International Scientist of the Chinese Academy of Sciences Fellowship at the Institute of Computing Technologies of the Chinese Academy of Sciences

2012 Senior Faculty Award University of Massachusetts at Amherst, College of Engineering

2011 Best of ATS- 20th Anniversary Compendium Efficient BDD-based Fault Simulation in Presence of Unknown Values

2011 Invited Professorship University of Montpellier, France

2010 Fellow of the Japan Society for Promotion of Science

2009 Best Paper Awards

  1. On Linewidth-based Yield Analysis for Nanometer Lithography, DATE Conference
  2. Predictive Thermal Management for Chip Multiprocessors using Co-Designed Virtual Machines, International Conference on High Performance Embedded Architectures Compilers (HiPEAC)

2007 Fellow of the IEEE

2006-2009 Distinguished Visitor of the IEEE Computer Society

2002 Most Influential paper in 20 years The Best of ICCAD – 20 Years of Excellence in Computer Aided Design, Included in the 20th anniversary compendium of most influential papers in previous 20 year, titled On the design of robust multiple fault testable CMOS combinational logic circuits.

2000 Intel Development Leadership Pioneer Award for high-performance logic and fault simulation at a full-chip level.

1996 IBM Invention Achievement Plateau for patents

1994 IBM Outstanding Technical Achievement Award for development of a new Automatic Test Pattern Generation tool which was capable of handling a million gate design on a state of the art workstation in 1992 with 128MB memory.

1993 IBM Research Division Award for contribution to Logic Synthesis system. The contribution was on removal of redundant logic and false timing paths.

1989 Best Paper in International Conference on Computer Design Sandip Kundu and Sudhakar M. Reddy, “Design of TSC checkers for implementation in CMOS technology,” Int. Conference on Computer Design, Boston, October 2-4, 1989