Srinivas Nayak


I am currently working as a Software Engineer at Nethawk Networks (from February 2009). I am developing software in C++ in Linux environment. Currently I am working for Network data capture and analysis.

Before joining Nethawk, I was working in Motorola (August 2004 to January 2009) as a Software Engineer. There I was involved in developing GUI library for Mobile platforms, Graphics acceleration, Symbian platform and embedding Sqlite database. I was using C, C++ and Symbian C++ for developing embedded system softwares.

I am a Graduate in Computer Science and Engineering (passed in 2004) from Biju Patnaik University of Technology, Orissa, India. Currently my research interests include Programming Methodologies, Empirical Software Engineering, Software Metrics, Object-Oriented Code Inspection, Compilers, Microprocessors and Operating Systems.

I love teaching, listening music, writing poem and reading philosophy.


Below you can find some of my writings.

Number Title
SN0 Using Dijkstra-Gries formal method to refine an informal program