|
Kenneth L. McMillan
Kenneth L. McMillan is an American computer scientist working in the area of formal methods, logic, and programming languages. He is a professor in the computer science department at the University of Texas at Austin, where he holds the Admiral B.R. Inman Centennial Chair in Computing Theory. Career McMillan received his Ph.D. from Carnegie Mellon University Carnegie Mellon University (CMU) is a private research university in Pittsburgh, Pennsylvania. One of its predecessors was established in 1900 by Andrew Carnegie as the Carnegie Technical Schools; it became the Carnegie Institute of Technology ... in 1992, under Edmund M. Clarke. He is credited to have invented symbolic model checking during his thesis work, which won him the 1992 ACM Doctoral Dissertation Award, the highest doctoral dissertation prize awarded by the Association for Computing Machinery (ACM). He also won the 1998 ACM Paris Kanellakis Award , Paris Kanellakis Award for Theory and Practice jointly wit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Edmund Clarke 2 FLoC 2006
Edmund is a masculine given name or surname in the English language. The name is derived from the Old English elements ''ēad'', meaning "prosperity" or "riches", and ''mund'', meaning "protector". Persons named Edmund include: People Kings and nobles *Edmund the Martyr (died 869 or 870), king of East Anglia *Edmund I (922–946), King of England from 939 to 946 *Edmund Ironside (989–1016), also known as Edmund II, King of England in 1016 *Edmund of Scotland (after 1070 – after 1097) *Edmund Crouchback (1245–1296), son of King Henry III of England and claimant to the Sicilian throne *Edmund, 2nd Earl of Cornwall (1249–1300), earl of Cornwall; English nobleman of royal descent *Edmund of Langley, 1st Duke of York (1341–1402), son of King Edward III of England *Edmund Tudor, 1st Earl of Richmond, Edmund Tudor, earl of Richmond (1430–1456), English and Welsh nobleman *Edmund, Prince of Schwarzenberg (1803–1873), the last created Austrian field marshal of the 19th centu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
