User:Mywyb2
|
|
Mywyb2 (Moritz Y. Becker) is a Computer Science PhD student at the University of Cambridge, Trinity College. His research interests are Logic and Semantics, Security, and Distributed Systems. His other interests include:
- photography
- black & white darkroom work
- philosophy - especially continental, also of Science and of Mathematics
- theory - computation, literary, cultural, postmodern, post-structuralist, social
- sports - table tennis, squash, hiking, punting
- people - Jacques Derrida, Roland Barthes, Julia Kristeva, Judith Butler, Michel Foucault, Richard Rorty, W. V. Quine, Jacques Lacan, Sigmund Freud
- other - guitar, transverse flute, films, contemporary art, cooking, cats, ducks, squirrels, peppermint tea with a friend, puzzles, Greek mythology, especially the Trojan War and Cassandra, psychoanalysis, mental disorders, feminism
Other Wikipedia articles Mywyb2 is planning to work on:
- modern criticism of the Enlightenment
- Hans-Georg Gadamer
- Gödel's completeness theorem
- darkroom and related terminology
- Julia Kristeva and intertextuality)
- Roland Barthes and Mythologies
- punting and bridge hopping
- operational semantics
- intuitionistic logic and Heyting algebras
- the busy beaver function
- Minsky machine, register machine
- first-order logic, higher-order logic
- Datalog
- symbolic integration
- trust management, RBAC, policy specification, CLP