Dr. Fabio S***

Computer Engineering Program Verification Computer-Aided Design Computer Systems Analysis Artificial Intelligence/cybernetics Very Large Scale Integration VLSI Split or To Conjoin Fast Sequential Atpg Remembrance of Things Past Satistiability Solver Geared Multi-Agent Reinforcement Learning Function Decomposition and Synthesis Redundancy Identification and Removal Part - Programmable Array Testing Algorithms for Approximate Fsm Traversal Termination Criteria for Bounded Model Checking Deep Learning Machine Learning Computer Networks Operating Systems Computer Graphics Computer Vision CV Formal Verification Distributed Systems SAT and SMT Solvers Software Engineering Reinforcement Learning Artificial Intelligence