4:["$","div",null,{"className":"min-h-screen bg-white flex flex-col","children":[["$","div",null,{"className":"px-6 pt-6 pb-4 border-b border-gray-100","children":[["$","div",null,{"className":"flex items-center gap-1.5 text-xs text-gray-400 mb-4","children":[["$","a",null,{"href":"/","className":"hover:text-[#26a69a] transition-colors","children":"Market"}],["$","span",null,{"children":"›"}],["$","span",null,{"className":"text-gray-600","children":"Gary T. Leavens"}]]}],["$","div",null,{"className":"text-[10px] text-gray-400 uppercase tracking-widest mb-1","children":"Company Profile"}],["$","h1",null,{"className":"text-2xl font-bold text-gray-900","children":"Gary T. Leavens"}],null]}],["$","div",null,{"className":"flex-1 px-6 py-6","children":[["$","p",null,{"className":"text-sm text-gray-600 leading-relaxed mb-8","children":"Gary T. Leavens is an American academic working as a professor of computer science at the University of Central Florida."}],["$","div",null,{"className":"columns-1 md:columns-2 gap-10","children":[["$","div","0",{"className":"mb-8 break-inside-avoid","children":[["$","div",null,{"className":"text-xs font-semibold text-gray-400 uppercase tracking-wide mb-3 border-b border-gray-100 pb-1","children":"Education"}],["$","div",null,{"className":"text-sm text-gray-600 leading-relaxed wiki-content","dangerouslySetInnerHTML":{"__html":"Leavens earned a Bachelor of Science in computer and communication science from the University of Michigan, a Master of Science in computer science from the University of Southern California, and a PhD in philosophy from the Massachusetts Institute of Technology. == Career =="}}]]}],["$","div","1",{"className":"mb-8 break-inside-avoid","children":[["$","div",null,{"className":"text-xs font-semibold text-gray-400 uppercase tracking-wide mb-3 border-b border-gray-100 pb-1","children":"Career"}],["$","div",null,{"className":"text-sm text-gray-600 leading-relaxed wiki-content","dangerouslySetInnerHTML":{"__html":"From 1977 to 1984, Leavens worked on the technical staff at Bell Labs. From 1989 until 2007, he was a professor of computer science at Iowa State University. His scholarship focuses on behavioral interface specification languages (BISLs) such as Larch/Smalltalk, Larch/C++, and JML. Leavens was the program chair for 2009 OOPSLA. ==References=="}}]]}]]}],["$","div",null,{"className":"mt-8 pt-4 border-t border-gray-100","children":["$","a",null,{"href":"https://en.wikipedia.org/wiki/Gary%20T.%20Leavens","target":"_blank","rel":"noopener noreferrer","className":"text-xs text-gray-400 hover:text-gray-600 transition-colors","children":"Source: Wikipedia ↗"}]}]]}],["$","div",null,{"className":"px-6 py-4 border-t border-gray-100 flex justify-between items-center","children":[["$","a",null,{"href":"/","className":"text-xs text-gray-300 italic hover:text-gray-500 transition-colors","children":"tickerdossier.com"}],["$","a",null,{"href":"https://tickerdossier.substack.com","target":"_blank","rel":"noopener noreferrer","className":"text-xs text-gray-400 hover:text-gray-600 transition-colors","children":"tickerdossier.substack.com"}]]}]]}]