-
researcher to develop next-generation methodologies for control design and dynamic stability assessment of converter-dominated AC, DC and hybrid AC/DC systems. Research topics include converter control design
-
and scientific computing. High-performance computing, parallel computing, or large-scale simulation. Software engineering practices, version control, and automated testing. EMT simulation, power system
-
of advanced quality control methodologies and CQA frameworks Monitor and coordinate operational and scientific progress of the project Collaborate closely with the LVVC team and the partner laboratories Act as
-
electricity to provide active heating/cooling. However, the current fabrication process of TEs is complicated and expensive. Also, current TEs are small and rigid. Finding a way to integrate high-performance
-
machine-verifiable proof (or certificate) of correctness. However, a major limitation of current techniques is that correctness is not proven relative to the human-understandable specification
-
that leverage state-of-the-art AI methods (deep learning, generative AI, Bayesian modelling, active learning, etc.) to combine cellular imaging data, chemical compound structure, viral genomes and other omics