I am a Software Developer with over 15 years experience in the development of Real Time System, User graphical Interface and web solutions. Languages used include, ADA 83/95/2012, C/C++, Java, and C#. I also write Perl scripts. Using formal methods, I develop Software to meet of real time embedded Safety Critical Software as specified in DO-178C, if required.