|
Department Of Computer Science, AU
Department of Computer Science at Aarhus University is with its 1000 students the largest Computer Science Department in Denmark. Earlier, the department abbreviation was 'DAIMI’, but after a restructure and internationalization, the abbreviation of the department became CS AU, short for Department of Computer Science, Aarhus University. History Originally, Department of Computer Science was a section within Department of Mathematics at Aarhus University. Here, the department was abbreviated DAIMI, short for Datalogisk Afdeling i Matematisk Institut, and by 1998 the name DAIMI had become so well known that it was kept, when the department became an independent department. The computer science course started at Aarhus University in 1971 as part of Department of Mathematics. During the period 1993-1998 the computer scientific subject area underwent rapid growth, and at the department the total number of staff members rose from 80 to 160, primarily because of an increase in exte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aarhus University
Aarhus University ( da, Aarhus Universitet, abbreviated AU) is a public research university with its main campus located in Aarhus, Denmark. It is the second largest and second oldest university in Denmark. The university is part of the Coimbra Group, the Guild, and Utrecht Network of European universities and is a member of the European University Association. The university was founded in Aarhus, Denmark, in 1928 and comprises five faculties in Arts, Natural Sciences, Technical Sciences, Health, and Business and Social Sciences and has a total of twenty-seven departments. It is home to over thirty internationally recognised research centres, including fifteen centres of excellence funded by the Danish National Research Foundation. The university has been ranked among the top 100 world's best universities. ''Times Higher Education'' ranks Aarhus University in the top 10 of the most beautiful universities in Europe (2018). The university's alumni include Bjarne Stroustrup, t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Denmark
) , song = ( en, "King Christian stood by the lofty mast") , song_type = National and royal anthem , image_map = EU-Denmark.svg , map_caption = , subdivision_type = Sovereign state , subdivision_name = Kingdom of Denmark , established_title = Consolidation , established_date = 8th century , established_title2 = Christianization , established_date2 = 965 , established_title3 = , established_date3 = 5 June 1849 , established_title4 = Faroese home rule , established_date4 = 24 March 1948 , established_title5 = EEC accession , established_date5 = 1 January 1973 , established_title6 = Greenlandic home rule , established_date6 = 1 May 1979 , official_languages = Danish , languages_type = Regional languages , languages_sub = yes , languages = GermanGerman is recognised as a protected minority language in the South Jutland area of Denmark. , demonym = , capital = Copenhagen , largest_city = capital , coordinates = , ethnic_groups = , ethnic_gro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bjarne Stroustrup
Bjarne Stroustrup (; ; born 30 December 1950) is a Danish computer scientist, most notable for the invention and development of the C++ programming language. As of July 2022, Stroustrup is a professor of Computer Science at Columbia University. Early life and education Stroustrup was born in Aarhus, Denmark. His family was working class, and he went to the local schools. He attended Aarhus University 1969–1975 and graduated with a master's degree in mathematics and computer science. His interests focused on microprogramming and machine architecture. He learned the fundamentals of object-oriented programming from its inventor, Kristen Nygaard, who frequently visited Aarhus. In 1979, he received a PhD in computer science from the University of Cambridge, where he was supervised by David Wheeler. His thesis concerned communication in distributed computer systems. Career In 1979, Stroustrup began his career as a member of technical staff in the Computer Science Researc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jakob Nielsen (usability Consultant)
Jakob Nielsen (born 5 October 1957) is a Danish web usability consultant, human–computer interaction researcher, and co-founder of Nielsen Norman Group. He was named the ''“guru of Web page usability”'' in 1998 by The New York Times and the ''“king of usability”'' by Internet Magazine. Background Jakob Nielsen was born 5 October 1957 in Copenhagen, Denmark. He holds a Ph.D. in 1988 in human–computer interaction from the Technical University of Denmark. Nielsen's earlier affiliations include Bellcore (now known as Telcordia Technologies, formally Bell Communications Research), teaching at the Technical University of Denmark, and the IBM User Interface Institute at the Thomas J. Watson Research Center. Career Sun Microsystems From 1994 to 1998, he was a Sun Microsystems Distinguished Engineer. He was hired to make heavy-duty enterprise software easier to use, since large-scale applications had been the focus of most of his projects at the phone company and IBM. Bu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lars Bak (computer Programmer)
Lars Bak (born 1965) is a Danish computer programmer. He is known as a JavaScript expert and for his work on virtual machines. He previously worked for Google, having contributed to the Chrome browser by developing the V8 JavaScript engine. Professional life Bak studied at Aarhus University in Denmark, receiving an MS degree in computer science in 1988 after which he became active in designing and implementing object-oriented virtual machines. He has been awarded the 2018 Senior Dahl–Nygaard Prize. Virtual machines After participating in the design and implementation of the BETA Mjølner System, in 1991 he joined the Self group at Sun Microsystems Laboratories in Palo Alto, California. During his time there, he developed a programming environment for Self and added several enhancements to the virtual machine. In 1994, he joined LongView Technologies LLC, where he designed and implemented high performance virtual machines for both Smalltalk and Java. After Sun Microsystem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lars Arge
Lars Allan Arge (8 October 1967 – 23 December 2020) was a Danish computer scientist, the head of the Center for Massive Data Algorithmics (MADALGO) at Aarhus University, where he was also a professor of computer science. His research involved the study of algorithms and data structures for handling massive data, especially in graph algorithms and computational geometry. Education and career Arge earned his Ph.D. in 1996 from Aarhus University, under the supervision of Erik Meineche Schmidt. He next did a postdoc at Duke University until 1998. He then became a professor at Duke University before returning to Aarhus as a professor in 2004. He continued to hold an adjunct professorship at Duke.Faculty home page Aarhus University, retrieved 2015-06-10. Awards and honors Arge was a member of the |
Susanne Bødker
Susanne Bødker is a Danish computer scientist known for her contributions to human–computer interaction, computer-supported cooperative work, and participatory design, including the introduction of activity theory to human–computer interaction. She is a professor of computer science at Aarhus University, and a member of the CHI Academy. Bødker is the author of ''Through the Interface: A Human Activity Approach To User Interface Design'' (Taylor & Francis, 1990), based on her dissertation work in 1987. It discusses human-computer interaction, and the role of user interfaces from the perspective of activity theory. Human-computer interaction conducted in purposeful human work is in focus. It focuses on the idea that as a user, you do not simply operate on a computer application but operate through onto other objects/subjects. Education Bødker was a visiting researcher at Xerox PARC for 1982–1983. She earned a Ph.D. at Aarhus University in 1987, with a dissertation ''Bruger ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ivan Bjerre Damgård
Ivan () is a Slavic male given name, connected with the variant of the Greek name (English: John) from Hebrew meaning 'God is gracious'. It is associated worldwide with Slavic countries. The earliest person known to bear the name was Bulgarian tsar Ivan Vladislav. It is very popular in Russia, Ukraine, Croatia, Serbia, Bosnia and Herzegovina, Slovenia, Bulgaria, Belarus, North Macedonia, and Montenegro and has also become more popular in Romance-speaking countries since the 20th century. Etymology Ivan is the common Slavic Latin spelling, while Cyrillic spelling is two-fold: in Bulgarian, Russian, Macedonian, Serbian and Montenegrin it is Иван, while in Belarusian and Ukrainian it is Іван. The Old Church Slavonic (or Old Cyrillic) spelling is . It is the Slavic relative of the Latin name , corresponding to English '' John''. This Slavic version of the name originates from New Testament Greek (''Iōánnēs'') rather than from the Latin . The Greek n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
CPN Tools
CPN Tools is a tool for editing, simulating, and analyzing high-level Petri nets. It supports basic Petri nets plus timed Petri nets and colored Petri nets. It has a simulator and a state space analysis tool is included. CPN Tools is originally developed by the CPN Group at Aarhus University from 2000 to 2010. The main architects behind the tool are Kurt Jensen, Søren Christensen, Lars M. Kristensen, and Michael Westergaard. From the autumn of 2010, CPN Tools is transferred to the AIS group, Eindhoven University of Technology, The Netherlands. CPN Tools comprises two main components, a graphical editor and a backend simulator component. The graphical editor is written in the academic language, BETA, and the simulator backend is written in the Standard ML variant SML/NJ Standard ML of New Jersey (SML/NJ; Standard Meta-Language of New Jersey) is a free and open-source compiler and programming environment for the Standard ML programming language. Aside from its runtime system, wh ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
P/poly
In computational complexity theory, P/poly is a complexity class representing problems that can be solved by small circuits. More precisely, it is the set of formal languages that have polynomial-size circuit families. It can also be defined equivalently in terms of Turing machines with advice, extra information supplied to the Turing machine along with its input, that may depend on the input length but not on the input itself. In this formulation, P/poly is the class of decision problems that can be solved by a polynomial-time Turing machine with advice strings of length polynomial in the input size. These two different definitions make P/poly central to circuit complexity and non-uniform complexity. For example, the popular Miller–Rabin primality test can be formulated as a P/poly algorithm: the "advice" is a list of candidate values to test. It is possible to precompute a list of O(n) values such that every composite n-bit number will be certain to have a witness a in the lis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Petri Net
A Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems. It is a class of discrete event dynamic system. A Petri net is a directed bipartite graph that has two types of elements, places and transitions. Place elements are depicted as white circles and transition elements are depicted as rectangles. A place can contain any number of tokens, depicted as black circles. A transition is enabled if all places connected to it as inputs contain at least one token. Some sources state that Petri nets were invented in August 1939 by Carl Adam Petri—at the age of 13—for the purpose of describing chemical processes. Like industry standards such as UML activity diagrams, Business Process Model and Notation, and event-driven process chains, Petri nets offer a graphical notation for stepwise processes that include choice, iteration, and concurrent execution. Unlike these standards, Petri nets ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
