Dr. Pradeep Kumar Nalla

Angestellt, Advisory R&D Engineer, IBM India Pvt Ltd

Bangalore, Indien

Fähigkeiten und Kenntnisse

Formal functional semi formal verification of hard
Formal verification execution
Efficient distributed verification
Power reduction using formal methods
Implementation of imperative declarative and func
Software engineering and documentation

Werdegang

Berufserfahrung von Pradeep Kumar Nalla

  • Bis heute

    Advisory R&D Engineer

    IBM India Pvt Ltd

Ausbildung von Pradeep Kumar Nalla

  • 4 Jahre und 5 Monate, Apr. 2004 - Aug. 2008

    Computer Science

    Eberhard Karls Universität Tübingen

    Formal methods and verification of hardware and software systems

Sprachen

  • Deutsch

    Grundlagen

  • Englisch

    Fließend

  • Telugu

    -

  • Hindi

    -

21 Mio. XING Mitglieder, von A bis Z

Nachname:

ABCDEFGHIJKLMNOP
QRSTUVWXYZ