Who's Who in
Sciences Academia

David Naumann

Academic Title: Associate Professor

Name: David Naumann

 

Department: Department of Computer Science

Department Website: http://www.cs.stevens-tech.edu/

Institution: Stevens Institute of Technology

 

Address: Lieb Building,
3rd floor, Room 317
Hoboken, New Jersey 07030

 

Highest Degree:

Date of Degree:

Degree Institution:

 

E-mail: Contact by e-mail?

 

Expertise: Correctness verification, refinement and data refinement, security, semantics, higher order imperative languages, mobile code, specification of extensible object-oriented components, subtyping, program transformation, refinement algebra, combining technologies for program analysis with technologies for verification.

 

---

Start A New Search

If you are a faculty member and are not presently included in our Who's Who in Academia, you may submit a request to be added.

If you are currently included in our database and have previously established an account, you can update any of the information shown in your record.