Abstract
On 13 Aug 2009, a relatively private condolence meeting took place at the famous IBM TJ Watson Research Centre, USA, in memory of the departed soul of a former computer science professor of the Indian Institute of Technology Kharagpur. Among those present were some of the most senior architects of IBM’s state-of-the-art processors, who fondly recollected having learnt the basics of computer architecture from this professor. Over the next month or so, literally hundreds of obituaries poured in from his students all over the world. As his son, I learnt that a teacher lives on in the hearts of generations of students and that is one of the most gratifying aspects of this profession.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer Science+Business Media Singapore
About this chapter
Cite this chapter
Dasgupta, P. (2016). A Logical Perspective of Formal Verification: A Narrative on the Genesis and Evolution of the Formal Verification Group at IIT Kharagpur. In: Ghosh, P., Raj, B. (eds) The Mind of an Engineer. Springer, Singapore. https://doi.org/10.1007/978-981-10-0119-2_49
Download citation
DOI: https://doi.org/10.1007/978-981-10-0119-2_49
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-0118-5
Online ISBN: 978-981-10-0119-2
eBook Packages: EngineeringEngineering (R0)