User:Mywyb2: Difference between revisions
Appearance
Content deleted Content added
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
This information is completely out of date, but mywyb2's (aka Mo) email address is '''moritz.becker AT gatesscholar.org'''. |
This information is completely out of date, but mywyb2's (aka Mo) email address is '''moritz.becker AT gatesscholar.org'''. |
||
'''Mywyb2''' (Moritz Y. Becker) [[To be| |
'''Mywyb2''' (Moritz Y. Becker) [[To be|was]] [[a]] [[Computer Science]] [[PhD]] [[student]] at the [[University of Cambridge]], [[Trinity College, Cambridge|Trinity College]]. His [[research]] [[hobby|interests]] are [[Logic]] and [[Semantics]], [[information security|Security]], and [[Distributed Computing|Distributed Systems]]. His [[The Other|other]] [[hobby|interests]] include: |
||
* [[photography]] |
* [[photography]] |
Revision as of 09:48, 31 July 2008
This information is completely out of date, but mywyb2's (aka Mo) email address is moritz.becker AT gatesscholar.org.
Mywyb2 (Moritz Y. Becker) was 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