Gourinath Banda

Gourinath Banda
MScEngg in Mechatronics Ph.d. Student

I am a PhD student under the supervision of Professor John Gallagher, working towards 'Formal Verification of Component-Based Software Development of Embedded Software Systems'.

Prior to my PhD studies I graduated with M.Sc.Engg. in Mechatronics from Mads Clausen Institute for Product Innovation (Snderborg), also in Denmark. In my master's thesis titled 'HARTEX: Scalable Real-Time Kernel for Small Embedded Systems', supervised by Professor CK Angelov, I developed a hard real-time kernel HARTEX. This kernel is truly hard-real-time with several innovative features implemented in a novel fashion. I feel that my thesis is a good guide for anyone to get started in real-time kernel design

Here is my CV in the past before joinging PhD.

Contact:
E-mail:
Phone: 4674 3176
Fax: 4674 3072

Address:
Computer Science, bldg. 42.2
Department of Communication,
Business and Information Technologies
Universitetsvej 1
P.O.Box 260
DK-4000 Roskilde, Denmark

August 2004 Webmaster

	Gourinath Banda MScEngg in Mechatronics Ph.d. Student
I am a PhD student under the supervision of Professor John Gallagher, working towards 'Formal Verification of Component-Based Software Development of Embedded Software Systems'. Prior to my PhD studies I graduated with M.Sc.Engg. in Mechatronics from Mads Clausen Institute for Product Innovation (Snderborg), also in Denmark. In my master's thesis titled 'HARTEX: Scalable Real-Time Kernel for Small Embedded Systems', supervised by Professor CK Angelov, I developed a hard real-time kernel HARTEX. This kernel is truly hard-real-time with several innovative features implemented in a novel fashion. I feel that my thesis is a good guide for anyone to get started in real-time kernel design
Here is my CV in the past before joinging PhD.
Contact: E-mail: Phone: 4674 3176 Fax: 4674 3072 Address: Computer Science, bldg. 42.2 Department of Communication, Business and Information Technologies Universitetsvej 1 P.O.Box 260 DK-4000 Roskilde, Denmark