Related Research Articles
Ole-Johan Dahl was a Norwegian computer scientist. Dahl was a professor of computer science at the University of Oslo and is considered to be one of the fathers of Simula and object-oriented programming along with Kristen Nygaard.
Gregor Kiczales is an American computer scientist. He is currently a full time professor of computer science at the University of British Columbia in Vancouver, British Columbia, Canada. He is best known for developing the concept of aspect-oriented programming, and the AspectJ extension to the Java programming language, both of which he designed while working at Xerox PARC. He is also one of the co-authors of the specification for the Common Lisp Object System, and is the author of the book The Art of the Metaobject Protocol, along with Jim Des Rivières and Daniel G. Bobrow.
SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.
Daniel Henry Holmes Ingalls Jr. is a pioneer of object-oriented computer programming and the principal architect, designer and implementer of five generations of Smalltalk environments. He designed the bytecoded virtual machine that made Smalltalk practical in 1976. He also invented bit blit, the general-purpose graphical operation that underlies most bitmap computer graphics systems today, and pop-up menus. He designed the generalizations of BitBlt to arbitrary color depth, with built-in scaling, rotation, and anti-aliasing. He made major contributions to the Squeak version of Smalltalk, including the original concept of a Smalltalk written in itself and made portable and efficient by a Smalltalk-to-C translator.
Xavier Leroy is a French computer scientist and programmer. He is best known for his role as a primary developer of the OCaml system. He is Professor of software science at Collège de France. Before his appointment at Collège de France in 2018, he was senior scientist at the French government research institution Inria.
Ralph E. Johnson is a Research Associate Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign. He is a co-author of the influential computer science textbook Design Patterns: Elements of Reusable Object-Oriented Software, for which he won the 2010 ACM SIGSOFT Outstanding Research Award. In 2006 he was awarded the Dahl–Nygaard Prize for his contributions to the state of the art embodied in that book as well.
John Matthew Vlissides was a software engineer known mainly as one of the four authors of the book Design Patterns: Elements of Reusable Object-Oriented Software. Vlissides referred to himself as "#4 of the Gang of Four and wouldn't have it any other way".
Robert William "Bob" Harper, Jr. is a computer science professor at Carnegie Mellon University who works in programming language research. Prior to his position at Carnegie Mellon, Harper was a research fellow at the University of Edinburgh.
Luca Andrea Cardelli, Fellow of the Royal Society (FRS), is an Italian computer scientist who is a research professor at the University of Oxford in Oxford, UK. Cardelli is well known for his research in type theory and operational semantics. Among other contributions, in programming languages, he helped design the language Modula-3, implemented the first compiler for the (non-pure) functional language ML, defined the concept of typeful programming, and helped develop the experimental language Polyphonic C#.
David Michael Ungar, an American computer scientist, co-created the Self programming language with Randall Smith. The SELF development environment's animated user experience was described in the paper Animation: From Cartoons to the User Interface co-written with Bay-Wei Chang, which won a lasting impact award at the ACM Symposium on User Interface Software and Technology 2004.
William Randall Cook was an American computer scientist, who was an associate professor in the Department of Computer Sciences at the University of Texas at Austin.
The Dahl–Nygaard Prize is awarded annually to a senior researcher with outstanding career contributions and a younger researcher who has demonstrated great potential. The senior prize is recognized as one of the most prestigious prizes in the area of software engineering, though it is a relatively new prize.
Marta Zofia Kwiatkowska is a Polish theoretical computer scientist based in the United Kingdom.
Shriram Krishnamurthi is a computer scientist, currently a professor of computer science at Brown University and a member of the core development group for the Racket programming languages, responsible for creation of software packages including the Debugger, the FrTime package, and the networking library. Since 2006, Krishnamurthi has been a leading contributor to the Bootstrap curriculum, a project to integrate computer science education into grades 6–12.
The Royal Society Milner Award, formally the Royal Society Milner Award and Lecture, is awarded annually by the Royal Society, a London-based learned society, for "outstanding achievement in computer science by a European researcher". The award is supported by Microsoft Research and is named in honour of Robin Milner, a prolific pioneer in computer science who, among other contributions, designed LCF and the programming language ML.
Laurie Hendren was a Canadian computer scientist noted for her research in programming languages and compilers.
Stephanie Weirich is an American computer scientist specializing in type theory, type inference, dependent types, and functional programming. She is a professor of computer science at the University of Pennsylvania.
Martin Vechev is a professor at the Department of Computer Science at ETH Zurich working in the fields of programming languages, machine learning, and security. He leads the Secure, Reliable, and Intelligent Systems Lab (SRI), part of the Department of Computer Science. He is known for his pioneering works in machine learning for code (BigCode), where he introduced statistical programming engines trained on large codebases, reliable and trustworthy artificial intelligence, where he introduced abstract interpretation methods for reasoning about deep neural networks to enable the verification of large machine learning models, and quantum programming, introducing the first high-level programming language and system Silq.
Ilya Sergey is a Russian computer scientist and an Associate Professor at the School of Computing of National University of Singapore, where he leads the Verified Systems Engineering lab. Sergey does research in programming language design and implementation, software verification, distributed systems, program synthesis, and program repair. He is known for designing the Scilla programming language for smart contracts. He is the author of the free online book, Programs and Proofs: Mechanizing Mathematics with Dependent Types, Lecture notes with exercises, which provides an introduction to the basic concepts of mechanized reasoning and interactive theorem proving using Coq.
References
- 1 2 3 4 Curriculum vitae , retrieved 2022-06-13
- ↑ Emina Torlak at the Mathematics Genealogy Project
- ↑ "Awards", ECOOP 2016, retrieved 2022-06-13
- ↑ The AITO Dahl-Nygaard Prize Winners for 2016, Association Internationale pour les Technologies Objets, archived from the original on 2016-03-26, retrieved 2022-06-13
- ↑ Coakley, Rebekka (June 30, 2021), Allen School professor Emina Torlak receives Robin Milner Young Researcher Award for her groundbreaking work in automating reasoning for programmers, Paul G. Allen School of Computer Science & Engineering, retrieved 2022-06-13
- ↑ Robin Milner Young Researcher Award, ACM SIGPLAN, retrieved 2022-06-13
