wren ng thornton
CSEB 322
Center for Language and Speech Processing
Johns Hopkins University
winter
koninkje
jhu
edu
- 1998~2003 ∈ Reed College:
- BA Linguistics, with focus in Anthropology
- Performative Differences of Gender on the Prosody of American English Speech (2003), Undergraduate Thesis.
- Advisor: Matt Pearson
- Morphosyntactic Typology; Optimality Theory; Minimalism
- Gender Studies; Cultural Anthropology; Critical Theory
- Classical Latin; Ancient Greek; Greek Literature & Mythology
- 2004~2007 ∈ Free Geek:
- Chair (from 2006)
- Board of Directors (from 2005)
- Core Volunteer, Build Instructor, Administrator of Systems and Security, Council member
- 2005~2007 ∈ Portland State University:
- 2007~200X ∈ Johns Hopkins University, CLSP:
- MSE Computer Science:
- Advisor: Jason Eisner; Mentor: Bob Frank
- Natural Language Processing; Machine Translation
- Constraint Logic Programming
- Dyna 2
- DARPA GALE:
.research interest cloud
(show/hide)
- Generic Abstract Linguistics (lj rant)
- (all)
Computational, Cognitive Linguistics
- Machine Translation
- Languages with few data
- Morphologically rich languages
- Multi-tiered models
- Applying syntactic/linguistic models
- Cognitively realistic models for linguistic competence, performance
- Language Learning
- Grammar induction
- Morphology induction
- Representations
- Artificial Intelligence
- Genetic algorithms; Theoretical genetics
- Complex Adaptive Systems; Complexity
- Emergence; Self-organization
- Swarm intelligence
- (See below: Systems Theory)
- Analogy; Abductive inference
- (all)
Morphology
- Morpho-phonology interface
- Morpho-syntactic interface
- Free constituent order; Scrambling
- Case systems; interactions with scrambling
- Syntactic models; rôle of lexicalization, exceptionalism
- Morpho-semantics interface
- Emotional particles
- Tense, aspect, mood, modality
- Pragmatic/discourse uses of morphosyntactic nuance
- Agglutinative languages
- East Asian languages
- Japanese; Kansai-ben; Ryukyu-an
- Korean
- (all)
Sociolinguistics; Anthropology; Philosophy
- Performativity
[1]
[2]
- Gender studies (see below)
- Body Media
[1]
(see below: effects of technology)
- Post-postmodernity (see below: postqueer, postmaterialism)
- Language, gender, & sexuality
- Queer Theory
- Transgenderism
- (see also: (above) performativity, (below) childfree, polyamory, postqueer, asexualism, feminism)
- Effects of technology on the evolution of language/society
- Urban neo-tribalism
- Intentional communities
- Body modification
- Online ideological community formation:
- Free/Open-Source Software; Infosocialism
- Worker collectives; Nonprofits; NGOs; Libertarianism; Anarcho-syndicalism
- Sustainability; Ecological consciousness; Postmaterialism
- Childfree; Polyamory; Postqueer; Asexualism; Feminism
- Transhumanism; Futurology
- Discourse; Pragmatics
- Code switching
- Morphosyntactic nuance
- Emotional particles
- Uses of prosody
- (all)
Interface Design; Formal Language Theory
[Everything's a language]
- Programming languages
- Type Theory
- Models of computation; Category Theory
- Monads, comonads; Arrows
- Effect systems
- Modularity and permissions; Object-orientation; Component-based; Polymorphism
- Separating implementation types from interface types (existential structural typing; or, strict duck typing)
- Multiple inheritance; Multiple interface instantiation
- Merging OOP and functional paradigms
- Parallelism
- Natively: language designed with it in mind from the ground up
- RPC; Threading; Microthreading; SIMD
- Declarative Optimizations: separating speed and style
- Human user interfaces
- Ubiquitous computing; distributed interfaces; augmented reality
- Affordances
- Social engineering
- Ontologies
- APIs; Frameworks; Operating system/process models
- Model–View–Controller separation
- Domain specific ontology design; Ontology-driven tools
- Systems Theory
- Centrality vs Fundamentalism; Irreducability
- Chaos Theory; Catastrophe Theory
- Information Theory
- Complexity; Emergence
- (see above: Artificial Intelligence)
.papers on logic programming in Haskell
- What is unification? A categorical view of substitution, equation and solution (1989)
Joseph A. Goguen
- TO READ: Typed Logical Variables in Haskell (2000)
Koen Claessen, Peter Ljunglöf
- TO READ: An Algorithm for Type-Checking Dependent Types (1996)
Thierry Coquand
- Embedding PROLOG in HASKELL (1999)
Michael Spivey, Silvija Seres [homeish]
- Modular Lazy Search for Constraint Satisfaction Problems (2001)
Thomas Nordin, Andrew Tolmach
- Backtracking, Interleaving, and Terminating Monad Transformers [Hackage] (ICFP 2005)
Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry [homeish]
- A functional-logic library for Wired [ACM] (HFL 2007)
Matthew Naylor, Emil Axelsson, Colin Runciman [home]
- Generic Unification via Two-Level Types and Parameterized Modules (ICFP 2001)
Tim Sheard [home]