Linguistics and Compilers
Linguistics and Compilers

December 20th, 2016 technical, linguistics, compilers

Compilers are tools typically used to create binary we call software. Kenneth Miller has some interesting thoughts on extending the metaphor (and tools) to both human and programming languages.

After a brief introduction of existing compiler technology, Kenneth discusses his ideas that include:

  • type checking natural languages
  • probabilistic type inference
  • an algebra for linguistic analysis

Leading to some interesting tools and conclusions.

This event is generously hosted by The Iron Yard Charleston.

Kenneth Miller

Kenneth Miller

Kenneth enjoys working on both high and low level computer security tools where he specializes in a novel solution: proactive defense strategy to defend against attacks.

Applying unconventional solutions to difficult problems is one of Miller's distinctive features, and one for which Functional Programming powers his desire to change the world for the better.

He currently works as scientist at the Space and Naval Warfare Systems Center. His work there includes a combined instrumentation and execution visualizer used in his Master's Thesis.




  • GIAC Penetration Tester (GPEN) - Network Penetration Testing

© Copyright 2016 by Functional SC . All rights reserved.