You can only view this photo if you sign up to XING.

David Faragó

Dipl.-Inform.

Wissenschaftlicher Mitarbeiter

(The company name is only visible to registered members)

76131 Karlsruhe
Germany

Contact David Faragó!

All you need to do is sign up for free on XING.

Contact now

Personal information

Wants

Herausforderungen
Haves

Testen (testing), Modellbasiertes Testen (modelbased testing), Automatische Testgenerierung (automated test generation), Property Checking, Modellüberprüfung (model checking), PRISM, SPIN, UPPAAL, Randomisierte Algorithmen (randomized algorithms), Formale Verifikation (formal verification), functional verification, Logik (logic), Formale Methoden (formal methods), XML, UML, OCL, Analyse (analysis), OOA, Objektorientierte Modellierung (object oriented modeling), Entwurf (design), OOD, C, Perl, Java, Mathematik (mathematics), Musik (music), Apple (former emagic) logic, Finale, MAX/MSP, analytisches Denken, Fähigkeit zum Abstrahieren, Motivation, Kreativität, Interesse, Fleiß
Interests

IT, Mathematik, Naturwissenschaften, Musik: Klavier, Musiktheorie, Musikinformatik, Klassische Musik, Jazz, Kunst, Schwimmen, Autogenes Training, abstrakte Brettspiele/Gesellschaftsspiele, Toastmasters
Organizations

Toastmasters International
Groups

Professional experience

to present

(Only visible for registered members)
Aug 2007 - Sep 2009
(2 years, 2 months)

QS Software

WIBU-Systems AG, http://www.wibu.com

Industry: Computer Software, Digital Rights Management, Hardwarebasierter Schutz, Softwareschutz

Employment status

Employee

Educational background

Universität Karlsruhe (& Musikhochschule Karlsruhe)

Languages

German (First language), English (Fluent), French (Basic knowledge), Hungarian (Good knowledge)

advertisement