信任網路(Identity Verification)、身分認證(Blockchain)、區塊鏈(Smart Contract)、智能合約(Trustable)、可信憑證(Credential)

身分管理系統(blockchain)、區塊鏈(identity management system)、自主身分(self-sovereign identity)、去中心化自治組織(decentralized autonomous organization)

電子投票(E-voting)、電子投票系統(E-Voting system)、匿名性(Anonymity)、可驗證性(Verifiability)、身分可驗證性(Eligibility-Verifiability)、結果可驗證性(Correctness-Verifiability)、端對端可驗證性(End-to-end-Verifiability)

區塊鏈(blockchain)、智能合約(smart contract)、三式記帳法(triple-entry accounting)、會計資訊系統(accounting information system)、財務報表舞弊(financial statement fraud)

物聯網(IoT)、所有權(ownership)、資訊安全(security)、隱私(privacy)、訪問控制(access control)

嵌入式系統(Embedded System)、安全(Security)、可信運算(Trusted Computing)、防火牆(TrustZone)、存取控制(Firewall)

加密搜尋(Searchable encryption)、基於屬性加密(Attribute-based encryption)、資料分享(Data-sharing)、本地密鑰回復(Local Key Recovery)

卷積神經網絡(Convolutional neural network)、量化(quantization)、低位寬(low bit-width)

語音辨識(Speech recognition)、孩童(Children)、自編碼器(Autoencoder)、半監督式學習(Semi-supervised learning)、模型調適(Model adaptation)

類神經網絡處理器(CNN Processor)、現場可程式化邏輯閘陣列(Field Programmable Gate Array)、軟硬體協同設計(FPGA)、設計最佳化(SW/HW Co-design Methodology)、電子系統級設計方法(Design Optimization)

卷積類神經網路(Convolution)、資料流優化(Neural)、資料再使用距離(Network)

區塊鏈(blockchain)、權限管理(access control)、數位資產(digital asset)

物聯網(Internet of Things)、使用管控(Access Control)、所有權(Ownership)

模型建構(Modeling)、效能分析(Performance analysis)、模擬(Simulation)、虛擬化(Virtualization)

卷積神經網絡(Convolutional neural network)、有效執行(efficient inference)、低位寬(number representation)

嵌入式系統(embedded system)、異質排程(heterogeneous scheduler)、平行運算(parallel computing)

雙向鏈結區塊鏈架構(double-linked data structure)、可退之稅證明共識演算法(proof-of-refundable-tax)、默克爾樹(Merkle Patricia Tries)、區塊鏈(blockchain)

軟體測試與偵錯(software testing and debugging)、區塊(region)、並行性測試(concurrency testing)、並行性程式錯誤(concurrency bugs)、交錯(interleaving)、系統化(systematic)、狀態爆炸問題(state explosion problem)

寬容度演算法(slack)、個人學習規劃(slack-based)、課程安排(course scheduling)

私鑰備份(private key backup)、社會認證(key management)、託管(social authentication)

物聯網(Internet-of-Things (IoT))、權限管理(Access Management)、去中心化(Decentralization)、區塊鏈(Blockchain)、智能合約(Smart Contract)、點對點系統(P2P System)

多點感測(Automatic)、最佳用水量(Multiple-Sensing)、自動澆灌方法(drip irrigation)

平行程式(parallel programs)、除錯(debugging)、時間標記(timing annotation)、確定性(determinism)

程序執行段落(program phase)、頻域分析(frequency domain analysis)、基本區塊(basic block)

多核心(multi-core)、多層快取記憶體(multi-level-caches)、累加的資訊再使用距離(aggregated-reuse-distance)

跌倒偵測(Fall detection)、群眾外包(crowdsourcing)、智慧型裝置(smart device)、健康照護(health care)

再使用距離(reuse distance)、多層快取(multi-level cache)

記憶體系統(Memory system)、功耗估算(Power estimation)、微元件(Microcomponent)、資料察覺(Data aware)

異質多核心系統(Heterogeneous Multicore Systmes)、系統排程(Scheduling)、執行序對應(Thread mapping)

平行程式(Parallel Program)、除錯(Debug)、確定性執行(Deterministic Execution)

軟體測試(Software Testing)、平行程式(Parallel Program)、共享變數(Share Variable)、區域測試(Region Testing)

系統模擬、延遲競爭模型、確定性、行為感測