## BIO
Analyst Programmer: real-time systems, formal methods, information and diagnostic systems Assistant lecturer: Operating Systems, Reliability and Total Quality Management, Programming Methods [login to view URL]. in Cybernetics at the Czech Technical University in Prague
## Area of Expertise
C/C++, Ada, Lisp, Perl, PHP, UNIX scripting languages, client/server applications, TCP/IP, UNIX IPC, threads, real-time systems, formal methods, Symbolic Model Checking, CGI, HTML, SQL, UNIX, Linux, Windows, LATEX, Microsoft Office, StarOffice