Carlos E. Budde

text hidden; JavaScript is required / home page

Carlos Esteban Budde finished his MSc in Computer Science ("Licenciatura en Ciencias de la Computación") in 2012 at FAMAF, Universidad Nacional de Córdoba, Argentina. He has recently finished his PhD studies at FAMAF in the area of rare events simulation via importance splitting, with the aid of a grant provided by CONICET. He is now employed as Researcher in the FMT group at the Faculty of Electrical Engineering, Mathematics and Computer Science, at the University of Twente in the Netehrlands.

Carlos' current research interests include rare events simulation, process semantics, labelled Markov processes and Markov chains, GPGPU for scientific calculations, high performance computing and a longing for quantum computing.

Internal seminars and talks

  • Automatizando la división por importancia para simular eventos raros
  • Rare event simulation using importance splitting: now automatic!
  • Rare event simulation with fully automated importance splitting
  • Simulación de eventos raros - Importance splitting
  • Once in a blue moon
  • Simulación de eventos raros - Automatizando RESTART
  • A theory for the semantics of continuous systems with stochastic and structural non-determinism
  • Non-deterministic Labelled Markov Processes: Bisimulations and Logic


    Powered by Drupal