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

Bis heute

IBM India Pvt Ltd

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

Eberhard Karls Universität Tübingen

Formal methods and verification of hardware and software systems

Über eine Million Jobs
Entdecke mit XING genau den Job, der wirklich zu Dir passt.
Persönliche Job-Angebote
Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.
21 Mio. Mitglieder
Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.
Kostenlos profitieren
Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.

Nachname: