Naveen Chandra R (ncr)
Hardware Verification Engineer,
NetXen India Pvt. Ltd.,
Bangalore, India

• About Me
• Education
• Work
• Interests
• Contact Info

• Male. Indian.
• Gemini. June 10th.
• 5'11". 68kgs.
• Right handed.
• Atheist.

• Schooling - The PTA School, Bangalore.
• made quite a few friends.
• table tennis was my favorite sport.
• PUC I & II - The National College, Jayanagar, Bangalore.
• BE - Visvesvaraya Regional College of Engineering, Nagpur.(currently known as VNIT)
• started learning computer science.
• hostel life was the best part...friends,pungi,rock music,winters...
• MTech - Indian Institute of Technology, Bombay.
• continued to learn computer science. CS Dept.
• learnt formal verification...haven't finished yet.
• spent more than half the time in cfdvs.
• my masters thesis - Verification of Communicating Reactive State Machines. published my work (with S. Ramesh,S. Sonalkar,V. D'silva,B. Vijayalakshmi) in CAV 2004 titled "A Toolset for Modeling and Verification of GALS Systems".

• NetXen: Will update this later.
• Montalvo Systems: Was involved in verification of memory sub-system.
• Sun Microsystems: My work at Sun involved IODINE development. applied for patent along with S. Hangal. our paper has been accepted at DAC 05. Verification of Niagara-2( UltraSparc-T2 ) memory controller.

• I dig Formal Verification, Compilers, Mobile Computing.
• Gvim. my fav editor. here is my page
• Reading. i'm not a regular reader but i still manage to consume 1 or 2 books in a month. my fav authors are
• J. D. Salinger. a recluse. his brief biography. his works.
• R. K. Narayan. his brief biography. his works.
• Listening to Rock music. my fav bands...too long to list
• Trekking. Western Ghats. i'll shortly put up some snaps of my adventures.
• Table Tennis. I don't get to play TT these days :(

• Email
• nchandra [AT] netxen.com
• chandra.naveen [AT] gmail.com
• Phone
• Work: (080) ........