|
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] |
Cadence Design Systems
Cadence Design Systems, Inc. (stylized as cādence), headquartered in San Jose, California, is an American multinational corporation, multinational computational software company, founded in 1988 by the merger of SDA Systems and ECAD, Inc. The company produces software, Electronic hardware, hardware and silicon structures for designing integrated circuits, System on chip, systems on chips (SoCs) and printed circuit boards. History Origins Cadence Design Systems began as an Electronic design automation, electronic design automation (EDA) company, formed by the 1988 merger of Solomon Design Automation (SDA), co-founded in 1983 by A. Richard Newton, Richard Newton, Alberto Sangiovanni-Vincentelli and James Solomon, and ECAD, Inc., ECAD, a public company co-founded by Ping Chao, Glen Antle and Paul Huang in 1982. SDA's CEO Joseph Costello (software executive), Joseph Costello was appointed as CEO of the newly combined company. Executive leadership Following the resignation of Cadenc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
