Organisation A-Z

Luis Barbosa

Luis is with Minho University, Portugal. He is supervisor for students working on Overture.

Hans Bruun

Hans is with the Technical University of Denmark. He is supervisor for students working on Overture.

John Fitzgerald

John is one of the co-authors of "Validated Designs for Object-oriented Systems". He works for the University of Newcastle upon Tyne and is supervisor for students working on Overture. John has had a long involvement with VDM++.

Anne Haxthausen

Anne is with the Technical University of Denmark. She is supervisor for students working on Overture.

Peter Gorm Larsen

Peter is one of the co-authors of "Validated Designs for Object-oriented Systems". He is with Systematic Software Engineering, Denmark. Peter has had a long involvement with VDM++ and is one of the founding fathers of VDM++ and its tool support.

Mikhail Lebedev

Mikhail has had a long involvement with tool support for VDM++ and currently lives in Moscow.

Jacob Porsborg Nielsen and Jens Kielsgaard Hansen

Jacob and Jens MSc students currently working on providing the kernel for Overture on top of the Eclipse platform. They are the main work horse currently making significant progress on the Overture initiative.

José Nuno Olivera

José is professor at Minho University in Portugal. He has been working on tool support for VDM-like languages long before the development of Overture was started. José is supervisor for students working on Overture.

Nico Plat

Nico is one of the co-authors of "Validated Designs for Object-oriented Systems". He is also one of the co-authors of the new VDM++ book. He works for West Consulting in The Netherlands. Nico also supervises students working on Overture. He has had a long time involvement with VDM-SL and VDM++.

Shin Sahara

Shin has contributed the basis for one of the chapters of "Validated Designs for Object-oriented Systems". He works for JFITS in Japan.

Marcel Verhoef

Marcel is one of the co-authors of "Validated Designs for Object-oriented Systems". He works for Chess Information Technology, The Netherlands.

Joost Visser

Joost is with Minho University, Portugal. Joost is supervisor for students working on Overture.