• slot 5 ribu
  • togel sgp
  • slot gacor
  • bsislot88
  • slot deposit dana
  • permainan slot gacor
  • bonanza88
  • infini88 slot
  • nexus slot
  • slot gacor rtp
  • live slot
  • dewaslot88
  • situs togel terbesar
  • judi bola88
  • rtp4d
  • judi slot online deposit 10 ribu qris maxwin
  • rtp slot gacor hari ini
  • wangi slot gacor hari ini
  • slot deposit dana resmi
  • slot77
  • deposit dana 5000
  • slot pgsoft
  • bocoran rtp slot pragmatic
  • slot deposit pulsa
  • slot gacor
  • slot deposit linkaja
  • slot deposit ovo
  • slot pulsa
  • slot online
  • agenasia
  • slot demo pragmatic
  • alibaba66
  • slot olympus
  • rtp slot gacor
  • rtp slot terbaru
  • rtp live
  • rtp slot gacor hari ini
  • rtp slot
  • raja slot88
  • depo 25 bonus 25
  • slot deposit 5000
  • slot gacor88
  • slot4d
  • slot gacor
  • pg slot
  • mix parlay
  • rtp slot gacor
  • slot olympus
  • rtp live slot
  • slot gacor
  • dewaslot88
  • slot demo
  • slot online
  • link slot joker123
  • slot gacor
  • bandar togel
  • slot online hari ini
  • slot gacor terbaru
  • slot gacor jam sekarang
  • rtp slot gacor
  • rtp slot online
  • pola slot gacor
  • link slot gacor
  • slot dana 10k
  • slot online terbaik
  • slot gacor anti rungkad
  • panen138
  • slot olympus
  • slot dana
  • duniasport
  • deposit dana 5000
  • slot demo
  • rtp slot malam ini
  • slot gacor malam ini
  • slot terbaik dan terpercaya
  • slot hari ini
  • raja bonanza
  • dewa slot88
  • slot infini88
  • bet77
  • bk8
  • pay4d
  • slotnft88
  • agen777
  • gacor
  • slot gacor777
  • bo slot online
  • rtp slot
  • slot gacor
  • bocoran slot gacor
  • rtp live
  • sbobet
  • joker123
  • slot88 gacor
  • slot dana 10k
  • surgaplay
  • mpo slot
  • slot gacor 88
  • slot gacor
  • akun slot demo pragmatic
  • slot online
  • bocoran rtp live slot
  • slot gacor
  • slot online
  • slot88
  • slot online gacor
  • slot gacor resmi
  • slot deposit pulsa tanpa potongan
  • slot deposit dana
  • slot online
  • rtp live slot
  • slot gacor
  • sbobet
  • slot online
  • slot gacor terbaru
  • slot gacor
  • bocoran rtp slot pragmatic
  • daftar slot gacor
  • surgadewa
  • situs slot gacor
  • slot gacor resmi
  • pg slot
  • idn poker
  • rtp slot online
  • joker123
  • slot gacor
  • judi bola
  • rtp slot
  • slot gacor
  • demo
  • pg slot
  • slot deposit pulsa
  • bonanza88
  • olympus88
  • slot bca
  • slot bni
  • slot dana
  • slot danamon
  • slot bri
  • slot gopay
  • slot linkaja
  • slot ovo
  • link slot gacor
  • bet88
  • dewaslot88
  • judi bola sbobet
  • rtp live slot
  • sbobet
  • slot88nft
  • bangkabarat
  • SLOT RTP TERTINGGI
  • SLOT HOKI
  • MPO SLOT
  • SLOT MPO
  • SLOT DEPOSIT DANA
  • PKV GAMES
  • IDN POKER
  • IDN PLAY
  • QQ ONLINE
  • DOMINO QQ
  • SLOT DEPOSIT QRIS
  • SLOT DANA
  • SLOT88
  • SLOT88
  • SPACEMAN
  • SLOT88NFT
  • slot online
  • idn slot gacor
  • pragmatic
  • slot gacor
  • slot88
  • slot deposit pulsa 10 ribu
  • togel online
  • slot deposit dana
  • slot 5000
  • win88
  • daftar slot gacor
  • bocoran admin jarwo
  • ratu slot88
  • kingcobratoto
  • bandar togel online
  • slot pulsa
  • slot dana
  • slot bca
  • pgslot
  • slot gacor
  • slot bca
  • slot dana
  • slot gacor
  • slot777
  • slot deposit pulsa 5rb
  • slot gacor
  • slot777
  • slot gacor
  • slot777
  • slot pulsa
  • slot online
  • slot88
  • bocoran rtp slot gacor
  • TS. Nguyễn Thị Thanh Huyền

    huyenntt 100
    Họ và tên  Nguyễn Thị Thanh Huyền 
    Học hàm, học vị  Tiến sĩ
    Chức vụ  Trưởng Bộ Môn CNPM
    Địa chỉ Phòng bộ môn Công nghệ phần mềm
    Thông tin liên lạc

    Email: This email address is being protected from spambots. You need JavaScript enabled to view it.

    Điện thoại: 

    Các môn giảng dạy

    Là giảng viên thuộc bộ môn Công nghệ phần mềm, Khoa Công nghệ thông tin, Đại học Sư phạm Hà Nội từ năm 2007. Phụ trách giảng dạy một số môn như Công nghệ phần mềm, Phân tích thiết kế hệ thống thông tin, Lập trình hướng đối tượng, Tiếng Anh chuyên ngành CNTT…

    Đại học:

    1. Nhập môn Khoa học Máy tính (cho sinh viên khối ngành Tự nhiên)
    2. Kỹ thuật lập trình
    3. Lập trình hướng đối tượng
    4. Phân tích thiết kế hệ thống thông tin
    5. Công nghệ phần mềm
    6. Quản lý dự án phần mềm

    Cao học:

    1. Kỹ thuật lập trình
    Hướng nghiên cứu

    Một số hướng nghiên cứu chính:

    1. Các phương pháp hình thức (Formal methods)
    2. Kiểm chứng mô hình cho hệ thống đồng thời (model checking for concurrent systems)
    3. Tính toán song song và phân tán (parallel and distributed computing)
    4. Các thuật toán phát hiện phần mềm mã độc

     

    Các công trình công bố

    Bài báo đã công bố trên tạp chí/hội nghị quốc tế:

    1. Nguyen H.T.T., Rodríguez C., Sousa M., Coti C., Petrucci L, “Quasi-Optimal Partial Order Reduction” In: Chockler H., Weissenbacher G. (eds) Computer Aided Verification. CAV 2018. Lecture Notes in Computer Science, vol 10982. Springer, Cham

    Bài báo đã công bố trên tạp chí/hội nghị quốc gia:

    1. Nguyễn Thị Thanh Huyền, Trần Đình Quế, “Tương tác dựa trên role trong hệ đa agent”, Kỷ yếu Hội thảo CNTT quốc gia,, 2006, tr.147-153.

    Đề tài chủ trì và tham gia:

    1. Đề tài cấp trường trọng điểm ĐHSPHN, “Hoàn thiện giải pháp chống sao chép luận văn của trường ĐHSPHN”– Thành viên đề tài – Đang thực hiện
    2. Đề tài thuộc Chương trình Khoa học và Công nghệ (KH&CN) trọng điểm cấp Nhà nước KC.01/11-15: “Triển khai tích hợp công nghệ tổng hợp tiếng Việt vào ứng dụng mobile portal phục vụ cho đời sống xã hội” - Thành viên đề tài – Đã nghiệm thu.
    3. Đề tài cấp trường: “Tích hợp hệ tư vấn vào giáo dục điện tử”,  ĐHSPHN, 2010-2011 – Chủ trì – Đã nghiệm thu.

     

     

     

     

    Liên hệ

    KHOA CÔNG NGHỆ THÔNG TIN, ĐHSPHN. 

    Tầng 2, nhà C, 136 Xuân Thủy, Cầu Giấy, Hà Nội.

    • Hot line: (84)  904   031   397
    Bạn đang ở: Home Bộ môn - Trung tâm Công nghệ phần mềm TS. Nguyễn Thị Thanh Huyền

    https://fatamorgana.co.id/

    https://diafrica.org/

    https://diafrica.org/

    http://diafrica.org/

    https://advy.ac.id

    slot

    slot gacor

    slot online

    https://instiper.ac.id/

    https://kyani.ac.id

    https://pelitanusa.ac.id

    slot gacor

    https://lsgi.org/

    https://lsgi.org/

    https://lullabies-of-europe.org/

    https://saint-lazarus.org/

    https://gregkeyes.com/

    slot gacor

    slot

    slot88

    slot online

    slot besar

    slot88

    situs slot gacor

    slot gacor

    slot online

    slot

    slot

    slot88

    slot gacor

    slot88

    slot gacor

    slot hoki

    slot gacor

    slot gacor

    slot88

    slot

    slot gacor

    slot77

    slot gacor

    slot gacor

    slot-gacor

    slot gacor

    slot gacor

    slot gacor

    slot gacor

    slot gacor

    slot gacor

    slot gacor

    https://bdijournal.bekasikab.go.id/public/

    slot gacor

    slot777

    slot88

    slot777

    slot777

    slot88

    rtp slot

    slot gacor

    slot88

    slot

    slot88

    slot gacor

    slot gacor

    slot gacor

    slot88

    slot88

    slot gacor

    slot online

    slot

    rtp slot

    slot gacor

    slot

    slot online

    slot gacor

    slot88

    slot

    slot gacor

    slot online

    slot

    slot88

    slot gacor

    slot88

    slot gacor

    slot gacor

    slot

    slot maxwin

    slot88

    slot gacor

    slot online

    slot777

    slot gacor

    slot

    slot online

    slot

    slot gacor

    slot gacor

    slot

    slot online

    slot

    slot gacor

    slot777

    slot

    slot gacor

    slot online

    slot gacor

    slot88

    slot online

    slot88

    slot gacor

    slot

    slot88

    slot gacor

    slot online

    slot88

    slot gacor

    slot

    slot gacor

    slot88

    slot gacor

    slot

    slot gacor terpercaya

    situs slot gacor

    slot gacor

    slot gacor hari ini

    slot online

    slot88

    slot gacor

    slot

    slot online

    http://pameran.perpusnas.go.id/slot-tergacor/

    slot dana

    slot dana

    slot gacor

    slot

    slot online

    slot gacor

    slot online

    slot

    slot

    slot gacor

    slot online

    slot gacor

    slot88

    slot gacor

    slot88

    slot gacor

    slot online

    slot

    slot online

    slot gacor

    slot gacor

    slot

    slot777

    slot gacor

    slot gacor

    slot

    slot online

    https://perfilman.perpusnas.go.id/slot-gacor/

    slot online

    slot

    slot gacor

    slot88

    slot88

    slot88

    slot gacor

    slot gacor

    slot

    slot online

    slot online

    slot

    slot gacor

    https://pplpdispora.sumutprov.go.id/slot-gacor/

    slot gacor

    slot online

    slot

    slot gacor terbaru

    slot gacor

    slot

    slot online

    http://pplpdispora.sumutprov.go.id/upload/file/

    slot gacor

    slot

    slot online

    slot gacor

    slot

    slot online

    slot online

    slot

    slot gacor

    slot88

    http://book.iaincurup.ac.id/slot-gacor/

    slot gacor

    slot online

    slot gacor

    slot online

    https://cms-dev.nyfw.com/

    https://dpmptsp.jabarprov.go.id/slot-gacor/

    https://ketahananpangan.semarangkota.go.id/situs-slot-gacor/