Change Log: Research

Research

Current status: Connection timeout
Number of users monitoring this page: 1
Most recent sizable change (text, html) : 2011-03-26 02:37
Most recent change (text, html) : 2011-03-26 02:37
Last checked for changes: 2011-08-13 15:29
ChangeDetection started monitoring: 2008-04-05 02:37

monitor this page

summary of most recent changes

Showing 1 - 5 of 22

1 2 3 4 [next]

show added and deleted only added only deleted | show context hide context | show sizable show all

View changes: 2011-03-26 02:37 38 new words, 19 deleted words, 7% change

... net home blog résumé/cv software research teaching photographs ... in Computer Science . Logic Programming Semantics Finite Model Theory & ... of Abstract State Machines Using the above towards ... Static Source Code Analysis Logic Programming Semantics I'm ... large code bases. Other areas of research ... of intentional algorithmic equivalence Applicable: The limits of my ... more about my current ... net home blog résumé... of Abstract State Machines Logic Programming Semantics I'm ... large code bases. Other areas of research ... of intentional algorithmic equivalence Applicable: The limits of my ... more about my current endeavors shortly, as I'm ... formal methods. © 2002-2011 Ryan Flannery valid: net home blog résumé/cv software research teaching photographs ... in Computer Science . Logic Programming Semantics Finite Model Theory & ... of Abstract State Machines Using the above towards ... Static Source Code Analysis Other areas of research ... more about my current endeavers shortly, as I'm ... formal methods. © 2002-2010 Ryan Flannery valid: more...

View changes: 2010-08-19 02:37 4 new words, 1 deleted words, <1% change
... software research teaching blog pictures photographs misc search Research My ... © 2002-2010 Ryan Flannery valid: xhtml-1.0-strict \| css3 software research teaching blog photographs misc search Research My ... © 2002-2010 Ryan Flannery valid: xhtml-1.0-strict \| css3 software research teaching blog pictures misc search Research My ... css3

View changes: 2010-08-16 02:37 272 new words, 150 deleted words, 46% change

... résumé/cv software teaching research research teaching blog pictures misc search Research Throughout my undergraduate degree in computer scienceMy active areas of research include the following, I was fascinated with the then-buzz-field much of artificial intelligence, and focussed on courses which can be characterized as Logic in these areas. Specifically ... the Year award for Computer Science. ... résumé/cv software research teaching blog pictures misc search Research My active areas of research include the following, much of which can be characterized as Logic in ... Logic Programming Semantics Finite Model ... Descriptive Complexity The use and application of Abstract State ... research which are active, but not primary, include: Philosophy of ... semantics à la Montague and Hogan semantics. Notions of intentional algorithmic equivalence ... résumé/cv software teaching research blog pictures misc search Research Throughout my undergraduate degree in computer science, I was fascinated with the then-buzz-field of artificial intelligence, and focussed on courses in these areas. Specifically ... the Year award for Computer Science. My interests changed dramatically ... after taking a Mathematical Logic course sequence, and I became more interested in formal approaches and... more...

View changes: 2010-08-06 02:37 2 new words, 100 deleted words, 13% change

r yan f lanneryryanflannery.net Navigation «home» résumé/cv software teaching research software how-to's blog pictures misc search Link Roll m & r ... banksy mark ryden todd shorr Research Throughout my undergraduate ryanflannery.net ... résumé/cv software teaching research ... Research Throughout my undergraduate r yan f lannery.net Navigation «home» résumé/cv ... teaching research software how-to's blog pictures misc search Link Roll m & r ... banksy mark ryden todd shorr Research Throughout my undergraduate more...

View changes: 2010-08-05 02:37 3 new words, 1 deleted words, <1% change
... Navigation «home» résumé/cv teaching research hacking software how-to's blog pictures misc Navigation «home» résumé/cv teaching research software how-to's blog pictures misc Navigation «home» ... cv teaching research hacking how-to's blog pictures misc

link to this change log

Changes to the page www.ryanflannery.net/math/ are logged on this page as they are detected. You can link to this log by pasting the HTML below into your page. It produces a link which looks like this: change log

Research

monitor this page

summary of most recent changes

link to this change log

log in

search