Sort by
Refine Your Search
-
designing DNA, RNA and proteins to create nanoscale devices for applications in biotechnology and medicine. The lab invented the RNA origami method [1] and have developed basic algorithms and software for RNA
-
medicine. The lab invented the RNA origami method [1] and have developed basic algorithms and software for RNA design. However, there is a great need to develop new software for the design of advanced RNA
-
medicine. The lab invented the RNA origami method [1] and have developed basic algorithms and software for RNA design. However, there is a great need to develop new software for the design of advanced RNA
-
infrastructure for ASIC design, simulation, verification, prototyping, and system-level evaluation. Excellent opportunities for collaboration with national and international academic partners and with industry in
-
Designs Hardware-Software Co-design for Machine Learning Applications Verification of digital designs Electronic Design Automation (EDA) for AI Hardware; AI and Cloud-Enhanced EDA High-Performance Multicore
-
of Computer Science has the following research groups: Automated System Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security