I am a doctoral student under the guidance of Dr. Sumit Kumar Jha at the University of Central Florida and a graduate research fellow of the National Science Foundation (NSF). My research interests include the design automation of computing architectures, emerging computing paradigms, network computing, and logic synthesis and optimization.
Publications
- The Cardinality-Constrained Paths Problem: Multicast Data Routing in Heterogeneous Communication Networks | Alvaro Velasquez, Piotr Wojciechowski, K. Subramani, Steven L. Drager, Sumit Kumar Jha | ICCD 2015 15th IEEE International Symposium on Network Computing and Applications (NCA 2016) | [Link to PDF]
- Parallel Boolean Matrix Multiplication in Linear Time Using Rectifying Memristors | Alvaro Velasquez, Sumit Kumar Jha | IEEE International Symposium on Circuits and Systems (ISCAS 2016) | [Link to PDF]
- Flow-based Computing on Nanoscale Crossbars: Design and Implementation of Full Adders | Zahiruddin Alamgir, Karsten Beckmann, Nathaniel Cady, Alvaro Velasquez, Sumit Kumar Jha | IEEE International Symposium on Circuits and Systems (ISCAS 2016) | [Link to PDF]
- Fault-Tolerant In-Memory Crossbar Computing using Quantified Constraint Solving | Alvaro Velasquez, Sumit Kumar Jha | 33th IEEE International Conference on Computer Design (ICCD 2015) | [Link to PDF]
- Automated Synthesis of Computing Nanoscale Crossbars using Formal Methods | Alvaro Velasquez, Sumit Kumar Jha | IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH 2015) | [Link to PDF]
- Parallel Computing using Memristive Crossbar Networks | Alvaro Velasquez, Sumit Kumar Jha | 9th International Design and Test Symposium (IDT 2014) | [Link to PDF]
- Exploiting heterogeneous parallel programming for developing an educational neuromorphic computing simulator | Faraz Hussain, Alvaro Velasquez, Sumit Kumar Jha | Workshop on Education for High-Performance Computing (EduHPC 2014) | [Link to PDF]
- Putting Humpty-Dumpty Together: Mining Causal Mechanistic Biochemical Models from Big Data | Faraz Hussain, Alvaro Velasquez, Emily Sassano, Sumit Kumar Jha | IEEE International Conference on Computational Advances in Bio and Medical Sciences (ICCABS 2014) | [Link to PDF]
- Memristor Crossbars for Parallel Big-Data Stochastic Computing | Alvaro Velasquez, Sumit Kumar Jha | Designer track poster presented at the 52nd ACM/EDAC/IEE Design Automation Conference (DAC 2015) | [Link to PDF]
- Computation of Boolean Formulae Using Sneak Paths in Crossbar Computing | Sumit Kumar Jha, Dilia E. Rodriguez, Joseph E. VanNostrand, Alvaro Velasquez | In-progress poster presented at the 51st ACM/EDAC/IEE Design Automation Conference (DAC 2014) | [Link to PDF]
National Science Foundation Graduate Research Fellowship Program (NSF GRFP) Recipient
University of Central Florida Founder’s Day Award 2015
University of Central Florida Dean’s Fellowship.
SFFP 2014 (Summer Faculty Fellowship Program) at the Air Force Research Laboratory.
Summer Mentoring Fellowship 2014 at UCF.
UCF Honors Thesis (Best Thesis Award) | [Link to PDF]
HIM (Honors in the Major) Spring 2014 Grant.
HIM (Honors in the Major) at UCF.
REU 2013 (Research Experience for Undergraduates) in Computer Vision at UCF.
MCAI 2013 (Monte-Carlo Methods in Artificial Intelligence) at Oregon State University.
Air Force Research Laboratory, Rome, NY | Title: Research Contractor | Department: Trusted Systems Branch (RITA) | June, 2016 – August, 2016
Air Force Research Laboratory, Rome, NY | Title: Research Contractor | Department: Advanced Planning and Autonomous Command and Control Systems Branch (RISC) | June, 2015 – August, 2015
Griffis Institute, Rome, NY | Title: Consultant | Department: High Assurance Software Systems | September, 2014 – December, 2014
University of Central Florida, Orlando, FL | Title: Graduate Research Assistant | Department: Electrical Engineering and Computer Science | August, 2014 – May, 2015
Air Force Research Laboratory, Rome, NY | Title: Research Contractor | Department: Trusted Systems Branch (RITA) | May, 2014 – August, 2014
DiSTI Corporation, Orlando, FL | Title: Software Engineer Intern | Department: Internal Research and Development | September, 2012 – March, 2014
University of Central Florida, Orlando, FL | Title: Research Assistant | Department: Center for Research in Computer Vision | May, 2013 – August, 2013
Palm Beach State College, Lake Worth, FL | Title: Computer Science Tutor | Department: Computer Lab | Nov, 2011 - May, 2012
Patents
Memristor Crossbar Construction for Evaluating NNF Boolean Formulae | Sumit Kumar Jha, Dilia E. Rodriguez, Joseph E. VanNostrand, Alvaro Velasquez | [Link to PDF]