Current Research Areas

The research areas of the Lab for Cognitive Informatics and Cognitive Computing cover cognitive informatics, cognitive computing, cognitive computers, abstract intelligence, denotational mathematics, computational intelligence, cognitive linguistics, cognitive systems, cognitive robots, cognitive agents, neuroinformatics,

and brain informatics.

The research areas of the Lab for Denotational Mathematics and and Software Science cover software science, software engineering, denotational mathematics and formal methods in applications of rigorous system modeling, refinement, code generation, real-time systems, and formal design frameworks.

Details of each research areas can be found at ICIC.       

Note: My lab is currently seeking an excellent PhD student in the above areas for Jan. 2013. Focuses will be

         on Cognitive Computers, Cognitive Robots, and Cognitive Machine Learning.         

Current Graduate Students