Víctor Andrés Belaúnde 1883-1966

1883 - 4566

Mobile robot networks emerged in the past few years as a promising distributed computing model. Existing work in the literature typically ensures the correctness of mobile robot protocols via ad hoc handwritten proofs, which are both cumbersome and error-prone. This paper surveys state-of-the-art results about applying formal methods approaches (namely, model-checking, program synthesis, and pr...

Ricardo Andrés Roa - Castellanos

It has been known that the fi rst reference of the word Bioethics in the twentieth century was due to German theologist Fritz Jahr in 1927. In that surprising paper Jahr, a protestant Lutheran university professor, proposes humble catholic deacon, Saint Francis of Assisi (1181-1226), as the fi rst discoverer of Bioethics in Western Civilization. At the same time, Jahr quotes K.C.F Krause, a Mas...

Leonard Colebrook, 1883-1967.

Andrés Eduardo Caicedo – Research statement 1 Research Statement Andrés Eduardo Caicedo

There are two directions in my current research; I work in Set Theory and in interactions between Combinatorics and Logic. My research in set theory concerns the study of inner models of the set theoretic universe under assumptions of two kinds: (1) Forcing axioms, holding either in the universe V of all sets or in both V and the inner model under study, and (2) Agreement between (some of) the ...

Leonard Colebrook (1883?1967)

Leonard Colebrook was a physician who researched bacteria and infections in England during the twentieth century. In 1936, Colebrook deployed the antibiotic Prontosil to treat puerperal fever, a disorder that results from bacterial infections in the uterine tracts of women after childbirth or abortions. Colebrook also advanced care for burn patients by advocating for the creation of burn units ...