Rafael Tupynambá Dutra
Mestrado Universidade Federal de Minas Gerais 2014
Dissertation:
A função “não-diferenciável” de Riemann
Mathematics Subject Classification: 30—Functions of a complex variable
Advisor 1: Marcio Soares
Ph.D. University of California, Berkeley 2019
Dissertation:
Efficient Sampling of SAT and SMT Solutions for Testing and Verification
Mathematics Subject Classification: 68—Computer science
Advisor 1: Koushik Sen
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 254439 for the advisor ID.