Ph.D.  student in Computer Science at CBIT, Roskilde University, M.S.Engg. in Mechatronics B.Tech in Mechanical Engg. Address: CBIT, Roskilde University Post Box 260, Building 42.1, One Universityway, 4000 Roskilde Denmark Office: 42.2.26 Email: gnbanda@ruc.dk Phone: (+45) 4674 3176

I am a Ph.D. student with Professor John Gallagher in the PLIS research group  at CBIT, Roskilde University.

My primary research interests lie in the area of formal verification of embedded systems (infinite state systems), particularly the model-theoretic methods, model checking and abstract interpretation. Other (associated) research interests include program transformation and generation, program analysis, constraint logic programming, semantics-based emulation of languages and systems. I have a particular passion for embedded systems.

I hold a Master of Science (in Engineering) Mechatronics degree from Mads Clausen Institute for Product Innovation, University of Southern Denmark. My master's dissertation supervisor was Professor Christo Angelov. In this master's dissertation, I developed (designed and implemented) the hard real-time operating system titled HARTEXµ. Before coming to Denmark, I graduated with Bachelor of Technology in Mechanical Engineering from Kakatiya University, India.

Here is a group photo from the graduation ceremony of the June 2003 class of MSEngg Mechatronics.

During my PhD studies, in the summer of 2005, I visited Christo Angelov's Software Engineering Group at the Mads Clausen Institute for Product Innovation at University of Southern Denmark, Sønderborg.

In the spring of 2006, I visited Dr. Henk Muller's Wearable Computing Group at the Department of Computer Science at University  of Bristol, Bristol.

As part of the ASAP Project, an EU-IST project that provided the 50% of my PhD-scholarship, I participated in several meetings that took place at  each of the partner universities. Besides the Roskilde University, the ASAP project consortium included the following three universities: (i) the Technical University of Madrid, Madrid, Spain; (ii) the University of Southampton, Southampton, United Kingdom and (iii) the University of Bristol, Bristol, United Kingdom.

LFSL'04 - A PhD  and Post-doctoral Summer School in Logics of Formal Software Specification Languages in Stara Lesna, The High Tatras, Slovakia,June 6-19, 2004.

EWSCS'08 - the 13th Estonian Winter School in Computer Science (EWSCS) in Palmse, Estonia, March 2-7, 2008.

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation
Gourinath Banda and John P. Gallagher
In Edmund Clarke and Andrei Voronkov, chairs, 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, 
Dakar, Senegal April 26-30, 2010, Proceedings. (to appear)

Constraint-Based Abstraction of a Model Checker for Infinite State Systems
Gourinath Banda and John P. Gallagher
IIn Armin Wolf and Ulrich Geske, chairs, 23rd Workshop on (Constraint) Logic Programming, 
Potsdam, Germany, September 15-16, proceedings, 2009.

Analysis of Linear Hybrid Systems in CLP
Gourinath Banda and John P. Gallagher
In M. Hanus, editor, LOPSTR 2008, volume 5438 of Lecture Notes in Computer Science, pages 55-70, Springer, 2009.

Experiments with a Convex Polyhedral Analysis Tool for Logic Programs
Kim S. Henriksen, Gourinath Banda and John P. Gallagher
In P. Hill and W. Vanhoof, editors, WLPE-07: Workshop on Logic-Based methods in Programming Environments: ICLP-07 Workshop, 2007.

Techniques for scaling up analyses based on Pre-Interpretations 
John P. Gallagher, Kim S. Henriksen and Gourinath Banda
In M. Gabbrielli and G. Gupta, editors, Proceedings of the 21st International Conference on Logic Programming, ICLP’2005, volume 3668 of Springer-Verlag Lecture Notes 
in Computer Science, pages 280-296, 2005.   

HARTEXµ: Scalable Real-Time Kernel for Small Embedded Systems
Gourinath Banda
M.S.Engg. Dissertation, Mads Clausen Institute for Product Innovation, University of Southern Denmark, Sønderborg Campus, June 2003.

Whats new?

I submitted my PhD dissertation recently.

Orthogonal stuff

Some videos (from youtube) that I found aesthetical, educational, informative and interesting.

1. The Bhagawadgita chanting by a famous sanskrit scholar.
2. A scene from the 'Bhaktha Pothana' telugu movie of 1940s.
3. A kuchipudi dance video.
   

This personal webpage of mine inherits the style of Dr. Jan Midtgaard's personal webpage located at "http://www.brics.dk/~jmi/".