|
|
In January 2009 I have graduated with a Ph.D. in computer engineering from the Asynchronous Circuits & Systems Group @ the ECE
department of College of Engineering
@ Boston University.
During my PhD studies I have been working on automatic synthesis of Quasi-Delay Insensitive (QDI) micropipelines for large industrial high-level behavioral specifications. Weaver is the EDA synthesis flow I have been developing.
My research interests include but are not limited to:
- EDA: algorithms, languages, specification formalisms, architectures, ESL and HLS;
- asynchronous circuits: synthesis, verification, test and applications;
- timed systems' verification;
- Petri nets, STG, unfoldings;
My other passions recently include mountaineering. Rock or snow it doesn't have to be fun to be fun! After moving to Portland I've joined Mazamas to learn about mountaineering.
Some of the past projects I took part in include:
- GenSync - extensible framework for data reconciliation (side project)
- TaxoSynthesis - a tool for asynchronous speed-independent circuits synthesis from STG specifications
- TranSyt - a tool for the verification of asynchronous concurrent timed systems
Publications and workshop presentations
|
|
