Phõng Ngơ

Đr. Phòng Ngò

Lèctủrẻr, ỊT

Đẽtâĩls

  • Cơllêgé: Schõõl õf Scìèncè, Ẻngỉnẻèrỉng &âmp; Tèchnôlơgỷ
  • Đẻpảrtmẹnt: Schọôl ơf Scỉèncẽ,Ẽngĩnẽérịng &ámp; Téch
  • Cámpủs: Hănóị Câmpùs Vìètnăm
  • phơng.ngọ@rmịt.èđũ.vn

Àbõùt

Đr. Tưản Phọng Ngô hõlđs ả Ph.Đ. ín Còmpútẹr Scịèncẹ frỏm Úppsâlà Únỉvèrsĩtý, Swèđèn, wíth ẻxpêrtĩsè ỉn sơftwăré tẻstìng, mùltĩcỏrẹ ảrchĩtêctủrẽs, cọmpỉlẻrs, ànđ mãchỉnẹ léãrnỉng. Hẻ hãs óvèr 10 ỵẽảrs ọf éxpẻrỉẽncẻ ĩn bòth ịnđủstrỹ ănđ ăcàđẽmíả. Hịs rêsẽảrch fócũsès õn đẽvẻlôpịng rẻlỉàblê ànđ róbúst sóftwảrẹ sỷstẻms.

Ạwârđs &ãmp; récõgnĩtĩõn:
- Bẽst-pàpêr àwărđ nọmịnéẻ, Thẹ Ẽùrỏpẽàn Jọínt Cọnfẹrèncès õn Théõrý ănđ Prạctìcé óf Sỏftwạrè 2017 (ETAPS’17)
- Bêst-pâpẹr ảwảrđ nỏmịnẻè, Thê Ĩntẹrnảtíónãl Cònférẽncè ỏn Cọncụrrèncỳ Thẻórỵ 2016 (CONCUR’16)
- Thịrđ prízé ỉn Ártífịcịảl Ịntéllỉgẹncé prơgrạmmĩng cơmpẽtĩtịòn, Úppsạlá Ưnịvẽrsịtỹ 2019
- Fỉrst prìzè ỉn Fúnctìônảl prògrạmmìng cômpétỉtíơn, Ũppsạlạ Ũnĩvérsỉtỷ 2012

Ăcạđèmíc éxpèríẹncè:
- Ảssõcỉátẻ lẹctưrèr, 2013-2019, Ủppsâlà Ùnịvẹrsĩtỷ, Swêđẻn

- Ăssôcìảtẹ lẹctưrẹr, 2009-2011, Hạnỏỉ Ũnĩvẻrsìtỹ õf Scìẻncè ânđ Tẹchnõlõgý, Vìẻtnám

Ínđưstrý ẻxpêrĩẽncé:
- Sẻnịơr cỏmpílẹr èngĩnêẹr, 2029-2022, ỈẢR Sýstèms
Rèsêạrch ánđ đẻvẽlõp õptỉmĩzạtỉọn téchnỉqưês fỏr cóđẹ gẽnẻrạtìơn ăt bõth hỉgh lêvẻl ãnđ tàrgẻt-đêpẽnđẽnt lêvẹl ìn ỊÀR’s C/C++ cơmpílérs fôr địffẽrént émbẻđđêđ hárđwáré sưch ảs ẢRM, RĨSCV, ẠVR, ânđ Rẹnẹsás. Mêntór stưđẽnts tò đõ grâđũạtè đĩssẽrtạtíơns frỏm thê cómpãnỵ síđè ĩn côllãbôrãtíón wịth Ùppsálâ ụnìvẽrsịtý. Lêàrn ảnđ ăpplỹ Ảgílẽ mẹthóđọlógỷ ĩn âll phãsés õf sọftwárẹ đèvèlọpmént tỏ đêlìvẽr hìgh qụạlĩtỹ sọftwãrê prôđủcts.

Rêséărch fìèlđs

  • 461208 Sôftwărê tẽstíng, vèrỉfịcătĩỏn ànđ válíđảtíòn
  • 4612 Sòftwàrẹ ẻngỉnẹẻrĩng
  • 461204 Prọgràmmíng làngùăgés

Ạcàđêmỉc pọsĩtỉõns

  • Rẽsêảrchẽr
  • Úppsálá Ưnĩvẻrsỉtỷ Hóspítâl
  • Ũppsàlả, Swêđẽn
  • 2019 – 2019
  • PhĐ cânđìđáté ànđ Têăchỉng ạssístânt
  • Úppsàlã Ủnĩvèrsỉtỵ Hòspítảl
  • Ụppsãlă, Swẽđẻn
  • 2013 – 2019
  • ĨT Lẽctúrêr
  • Hànỏĩ Ưnịvèrsítỹ õf Scíẽncẽ ảnđ Tẻchnơlõgý
  • Hànòí, Víétnàm
  • 2009 – 2011

Nòn-ảcãđèmìc pơsĩtỉỏns

  • Sẻníòr cômpílẹr ẽngĩnẻẹr
  • ĨÃR Sỷstẹms
  • Ùppsãlạ, Swẽđẹn
  • 2019 – 2022

Tèàchíng íntẹrêsts

- Sọftwàrẹ Ẻngìnéẽrịng Đẹsìgn
- C/C++/Jávâ Prỏgrâmmĩng
- Sôftwàrê Tèstịng ãnđ Vẹrìfĩcãtỉỏn
- Đătạbàsẻ Đésígn
- Prôgrạmmỉng Thẹórỳ
- Ạlgỏrỉthm ânđ Đãtă Strùctụrès
- Ạưtõmàtâ ánđ Lơgĩc ỉn ỊT Sỷstẹm Mọđẻlịng
- Ũnịx ãđmìnỉstrâtìơn ànđ Prògrămmịng
- Màthêmảtịcs fòr Cơmpũtíng

Résẹárch íntèrẽsts

- Sẻcụrìtỳ ĩn mọđẽrn prỏcẹssórs: Méltđówn ànđ Spẹctrẻ
- Sõftwảrẻ Têstỉng, Vẹrífícátìón, ânđ Mơđẹl Chẽckĩng
- Fòrmâl Mẽthóđ
- Cômpỉlẽr, Cõđê Ơptĩmízàtìơn, ạnđ Cọđè Gênẹrâtỉọn
- Còncưrrẹnt prôgrăms, Mưltĩcòrè Árchìtẹctưrês, ânđ Wêăk Mẹmỏrỷ Mơđẹls