- Georgy Lukyanov. Fine-Grained Stateful Computetaions. POPL'19 Student Research Competition, 2019. [poster]
-
Danil Sokolov, Alessandro de Gennaro, Andrey Mokhov. Reconfigurable Self-Timed Dataflow Accelerator. Design, Automation and Test in Europe (DATE) conference, 2018. [poster]
-
microSystems Group, e-Therapeutics plc. Fast Network Analysis in Silicon. Design, Automation and Test in Europe (DATE) conference, 2018. [poster]
-
Georgy Lukyanov. Formal Methods for Space Electronics. Manycore Summer School (MSS), 2018. [poster]
-
Sergey Mileiko. Self-Oscillating Switched Capacitor Converter with Parasitic Charge Redistribution. Faculty of Science, Agriculture & Engineering (SAgE) DTA, 2018. [poster]
- Danil Sokolov. Workcraft. Design, Automation and Test in Europe (DATE) conference, 2017. [poster]
- Ghaith Tarawneh, Andrey Mokhov, Alex Yakovlev. Formal Verification of Clock Domain Crossing using Gate-level Models of Metastable Flip-flops. Design, Automation and Test in Europe (DATE) conference, 2016. [poster]