General
| Name: | Pradeep Kumar Nalla |
|---|---|
| Position: | Alumni, Principal Engineer |
| Interests: | Hardware and software system development; Formal, functional, semiformal verification of hardware and software systems; Parallel and distributed verification; Automated formal property generation; UML and MDA; Programming languages; Software engineering; and Documentation. |
Coordinates
| Postal Address: |
Sand 14
72076 Tübingen Germany |
Email: |
Please remove the underscores in my email address!
|
|---|---|
| Homepage: | http://www-ti.informatik.uni-tuebingen.de/~nalla |
| Fax: | +49 7071 295062 (07071 / 29-5062) |
News
| 13.12.2008 19:16 | Since September 1st, 2008 I'm working at the Atrenta India, an EDA company |
|---|