Truong, Anh Hoang


Email: hoang (at)

Tel: (+47)5558 4282
Fax: (+47)5558 4199

Department of Informatics
University of Bergen
N-5020, Bergen, Norway
Room 4146
High Technology Center
Thormøhlensgate 55
N-5008, Bergen, Norway

Current interests: Type Systems and Component Software.
I was a PhD student in the MoSIS project from 09/2002 to 09/2005. My supervisor was Professor Marc Bezem. My thesis, defended on 15 May 2006, was  about Type Systems for Guaranteeing Resource Bounds of Component Software.
[4]  Finding Resource Bounds in the Presence of Explicit Deallocation. Hoang Truong, Marc Bezem.
Dang V. Hung and Martin Wirsing, editors. ICTAC'05, Hanoi, Vietnam, October 17-21, 2005.
LNCS 3722, Springer, 2005. ISBN: 3-540-29107-5. pp. 127-241. [@Springer]
.ps   .pdf 

[3]  Guaranteeing Resource Bounds for Component Software. Hoang Truong.
Martin Steffen, Gianluigi Zavattaro, editors. FMOODS'05, Athens, Greece, June 15-17, 2005.
LNCS 3535, Springer, 2005. ISBN: 3-540-26181-8. pp. 179-194. [@Springer]
.ps   .pdf 

[2]  Counting Instances of Software Components. Marc Bezem,  Hoang Truong.
Didier Galmiche, Peter O'Hearn, David Pym, editors, LRPP'04, Turku, Finland, July 13, 2004.
.ps   .pdf 

[1]  A Typing System for the Safe Instantiation of Components. Marc Bezem, Hoang Truong.
Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel, editors, FOCLASA'03, Marseille, France, September 2, 2003.
ENTCS, Vol. 97. July 22, 2004. pp. 197-217. [©Elsevier]
.ps   .pdf

Conferences, workshops, and summer schools
Reports in Informatics, UiB
TV Online
Advice on Research and Writing
Related works

Hoang Truong  -  -  last updated:  May 2006