Who's Who in
Sciences Academia

Ansgar Fehnker

Academic Title: Professor

Name: Ansgar Fehnker

 

Department: School of Computing, Information and Mathematical Sciences

Department Website: http://www.scims.fste.usp.ac.fj/index.php?id=425

Institution: University of the South Pacific

 

Address: Laucala Campus
Suva
Fiji

 

Highest Degree:

Date of Degree:

Degree Institution:

 

E-mail: Contact by e-mail?

 

Expertise: Prof Ansgar Fehnker’s research interest is formal verification, in particular model checking and static analysis, and the application of formal methods in design and development of embedded systems. His work currently focuses on static analysis for C/C++, which led to the commercial industrial analysis tool Goanna, and on analysis of wireless network protocols with model checking

 

---

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.