omniomni/omni-engineering huggingface dataset:
Gabriele Keller. Gabriele Cornelia Keller is a computer scientist whose research concerns type systems and data parallelism in functional programming. Educated in Germany, she has worked in Australia, the US, and the Netherlands, where she is Professor of Software Systems at Utrecht University.

Education and career
Keller earned a degree in computer science from Technische Universität Berlin in 1995, and after working in the German software industry, completed a doctorate (Dr. Ing. at Technische Universität Berlin in 1999. Her dissertation, Transformation-based Implementation of Nested Data Parallelism for Distributed Memory Machines, was supervised by .

She became a lecturer at the University of Technology Sydney in Australia from 1999 to 2001, when she moved to the University of New South Wales. She was senior lecturer there from 2001 to 2013 (on leave in 2006 as a vice president at Credit Suisse in New York), and associate professor from 2014 to 2018. In 2018, she took her present position at Utrecht University, as Professor of Software Technology.

Recognition
Keller's work with Manuel M. T. Chakravarty and Simon Peyton Jones developing a system for type families and type-level programming in Haskell won the Most Influential ICFP Paper Award of ACM SIGPLAN, ten years after its publication in 2005.

Book
Keller is an author of the book An Introduction to Computing with Haskell (Pearson, 2002, with Manuel M. T. Chakravarty).

References

External links
Faculty profile

Year of birth missing (living people)
Living people
German computer scientists
German women computer scientists
Programming language researchers
Technische Universität Berlin alumni
Academic staff of the University of Technology Sydney
Academic staff of the University of New South Wales
Academic staff of Utrecht University
Ursynów M-6. Ursynów M-6 was a prototype hovercraft designed for farming exploitation between 1967 and 1971 at the Warsaw University of Life Sciences. The project was cancelled following numerous issues noted during its testing.

History 
In the 1960s, at Warsaw University of Life Sciences, as part of project to develop a hovercraft for farming exploitation, the team led by professor Nowacki, and with engineer Andrzej Moldenhawer, begun designing concepts for Ursynów M-6. Its specifications and functional model were then made by a team at the Warsaw Institute of Aviation, and later with further development and constructed at the university. Its tests begun in 1971. The machine was noted to have numerous issues, including bad stearing, low speed, and blew large quantities of dust in the air. The project was abandoned, and the only constructed unit was lost, with its further history unknown.

Specifications 
The Ursynów M-6 hovercraft was propelled by prototype centrifugal fan made out of Epoxy enforced with glass fiber. The fan weighted 50 kg, and diametre of 1.3 m. The vehicle was powered by a 45 horse power Wartburg engine with gear train with ratio of 1:4.

References 

Hovercraft
Vehicles introduced in 1971
1971 establishments in Poland
Experimental vehicles
Vehicles of Poland
Warsaw University of Life Sciences
List of Rivian vehicles. Rivian is an electric car company that has been selling vehicles since 2021. This is a list of their production and prototype vehicles.

Production Vehicles

Other Models

Prototypes
Sports Car, 2009-2011

Trademarked Model Names
R1
R1V 
R2X 
R4S
R5S 
R3T
R4T
R5T 
R1X

References 

 
Rivian
Krisada Kritayakirana. Krisada Kritayakirana () is a Thai businessman and engineer, specializing in automotive technology. Kritayakirana is the co-founder and CEO of Urban Mobility Tech Co. Ltd, a Thai company offering electric tuk tuk ride sharing through the MuvMi app.

Krisada attended the Triam Udom Suksa Pattanakarn School in Bangkok for secondary school. He later attended Chulalongkorn University, graduating in 2001 with a bachelor of engineering in automotive engineering, the University of Cambridge, graduating in 2002 with a master of philosophy in mechanical engineering. He later attended Stanford University as a Fulbright Science and Technology Fellow, graduating in 2012 with a doctor of philosophy in mechanical engineering.

Publications 

 Autonomous Cornering at the Limits: Maximizing a “g-g” Diagram by Using Feedforward Trail-Braking and Throttle-on-Exit (2010)
 Pushing the limits: From lanekeeping to autonomous racing (2011)
 Autonomous Vehicle Control at the Limits of Handling (2012)
 Using the centre of percussion to design a steering controller for an autonomous race car (2012)

References 

Krisada Kritayakirana
Stanford University alumni
Alumni of the University of Cambridge
Krisada Kritayakirana
Krisada Kritayakirana
Krisada Kritayakirana
Living people
Year of birth missing (living people)
Zirconium monophosphide. Zirconium monophosphide is a binary inorganic compound of zirconium metal and phosphorus with the chemical formula .

Preparation 
Zirconium monophosphide can be prepared from direct reaction of zirconium powders with red phosphorus:

Physical properties
The α-form of zirconium monophosphide has a NaCl crystal structure. The β-form structure is hexagonal. The α-form is a superconductor if cooled below 5K.

References

Zirconium compounds
Phosphorus compounds
Phosphides
Julia Lawall. Julia Laetitia Lawall is a computer scientist specializing in programming languages. Educated in the US, she has worked in the US, Denmark, and France, where she is a director of research for Inria. She is one of the developers of Coccinelle, a tool for finding patterns and making systematic transformations of source code, and she has also done research on domain-specific languages for operating systems.

Education and career
Lawall majored in mathematics at Oberlin College, graduating in 1986, and began her graduate studies in computer science at Carnegie Mellon University. She has a Ph.D. from Indiana University Bloomington, completed in 1994. Her dissertation, Continuation Introduction and Elimination in Higher-Order Programming Languages, was jointly supervised by Daniel P. Friedman and Olivier Danvy.

After completing her doctorate, she worked with Harry Mairson in the Logic and Computation group at Brandeis University in Boston, and at the Research Institute of Computer Science and Random Systems (IRISA) in Rennes, France, before taking a faculty position in the Department of Computer Science (DIKU) of the University of Copenhagen. She moved from Copenhagen to the French Institute for Research in Computer Science and Automation (Inria) in 2011; at Inria, she directs the Whisper project (well-honed infrastructure software for programming environments and runtimes). She also held an affiliation with the Laboratoire d'Informatique de Paris 6 of Sorbonne University from 2013 to 2020.

Recognition
Lawall has won two test-of-time awards for her publications. Her paper with Harry Mairson, "Optimality and inefficiency: what isn’t a cost model of the lambda calculus?", on the optimization criteria for finding normal forms in the lambda calculus, won the inaugural Most Influential ICFP Paper Award of ACM SIGPLAN, ten years after its publication in 1996. Additionally, her paper "Documenting and automating collateral evolutions in linux device drivers" (with Yoann Padioleau, René Rydhof Hansen, and Gilles Muller, in EuroSys 2008) won the 2018 EuroSys Test-of-Time Award. The paper introduced Cocinelle and described its use in maintaining device drivers to keep them synchronized with operating system changes.

References

External links
Home page

Year of birth missing (living people)
Living people
Computer scientists
Women computer scientists
Indiana University Bloomington alumni
Oberlin College alumni
Academic staff of the University of Copenhagen
Molybdenum monophosphide. Molybdenum monophosphide is a binary inorganic compound of molybdenum metal and phosphorus with the chemical formula .

Preparation 
Molybdenum monophosphide can be obtained from electrolysis of molten molybdenum hexametaphosphate:

It can also be prepared from heating of a mixture of molybdenum and metaphosphoric acid in a carbon crucible:

Other reactions are known too.

Properties
Molybdenum monophosphide forms black crystals of hexagonal crystal system with space group P6m2. It is insoluble in water. Molybdenum monophosphide decomposes when heated in air:

Uses

Molybdenum monophosphide can be used as a catalyst.

References

Molybdenum compounds
Phosphorus compounds
Phosphides
Gaganyaan-3. Gaganyaan-3 (from Sanskrit: , "celestial" and , "craft, vehicle") will be the third uncrewed test flight of the Gaganyaan programme, with launch planned in 2025.

Mission Objective 
The mission is planned to last from eight hours to a day of flight. The environmental and life support systems, which includes maintaining temperatures between 25°C and 27°C, removing carbon dioxide, and maintaining the oxygen and nitrogen ratio will also be rigorously tested by the humanoid robot flying the spacecraft.

References 

Gaganyaan
Test spaceflights
Spacecraft launched by LVM3 rockets
2025 in spaceflight
2025 in India
Gaganyaan-2. Gaganyaan-2 (from Sanskrit: , "celestial" and , "craft, vehicle") will be the second uncrewed test flight of the Gaganyaan programme, with launch planned in 2025.

Mission Objective 
Second Uncrewed flight of Gaganyaan capsule. It will carry Vyommitra for testing purpose.

References 

Gaganyaan
Test spaceflights
Spacecraft launched by LVM3 rockets
2025 in spaceflight
2025 in India
ARC Aerosystems. ARC Aerosystems is a British consortium that intends to produce modern CAA-certified VTOL autogyros for commercial use. They have a prototype under test, the Pegasus VTOL-Tech, which they state is scheduled to go into production in 2026. ARC have plans for two other larger gyroplanes, the Linx P3 3-seater, and the Linx P9, a large winged gyroplane.

History

In 2023, ARC Aerosystems  acquired the intellectual property, all rights and type certification of the Avian Gyroplane (also called the "Pegasus" which had previously obtained FAA certification), including the last remaining flying example. ARC Aerosystems later designed and produced the Pegasus VTOL Tec, a modern a two-seat, single-engine autogyro, closely modelled on the Avian Gyroplane, but with VTOL capacity. Prototypes were built and, on 13th November 2023, ARC Aerosystems announced the start of test flights at its facilities in Cranfield (to gain CAA certification). In 2024, ARC announced an order for five Pegasus VTOL aircraft, to be delivered in 2026.

See also

 AutoGyro Cavalon
 AutoGyro Calidus
 RotorSport UK Calidus
Niki Lightning
 Niki Kallithea
 Sport Copter Lightning

References

Single-engined pusher autogyros
AEROS MH-1. The AEROS MH-1 is a Portuguese nanosatellite that is currently orbiting Earth at an altitude of around 510 km. Launched on 4 March 2024 from the Vandenberg Space Force Base in California, it is Portugal's second ever satellite, after the PoSAT-1. Its purpose is ocean mapping and observation, with particular interest in the Portuguese exclusive economic zone in the Atlantic Ocean.

Background and function 
The AEROS MH-1 was launched to map and observe the oceans of planet Earth, with particular interest in the Atlantic Ocean, since the Portuguese Exclusive Economic Zone is located there. It was Portugal's second ever satellite, second only to 1993's PoSAT-1, and its meant to be the first step towards making Portugal “a space nation by the end of the 2020s”.

Work on the satellite began in 2020 and it represents an investment of 2.78 million euros, co-financed by 1.88 million euros from the European Regional Development Fund (ERDF). Its name is a homage to Manuel Heitor, former Portuguese Minister of Science, Technology and Higher Education.

Launch 
The AEROS MH-1 was launched on 4 March 2024, 14:05 PTZ, from the Vandenberg Space Force Base in California, aboard Space X's Falcon 9, as part of the Transporter 10 mission.  It was first Portuguese satellite to be launched into space in over thirty years.

Aftermath 
The satellite now orbits at an altitude of around 510 km, slightly above the International Space Station. Communications and data collection are carried out from the island of Santa Maria in the Azores.

See also 
 Portuguese Space Agency
 PoSAT-1

References 

Space program of Portugal
Satellites orbiting Earth
Portuguese inventions
Spacecraft launched in 2024
Bianca Schroeder. Bianca Schroeder is a computer scientist whose research concerns the reliability of data storage devices and the effects of data faults on high performance computing. Educated in Germany, Ireland, and the US, she works in Canada as a professor and Canada Research Chair at the University of Toronto.

Education and career
Schroeder studied computer science at Saarland University in Germany, with a year in Ireland as an exchange student at the University of Limerick. She earned a master's degree in 1999, under the joint supervision of Kurt Mehlhorn and Susanne Albers. Next, she went to Carnegie Mellon University in the US, where she completed her Ph.D. in 2005. Her dissertation, Improving the Performance of Static and Dynamic Requests at a Busy Web Site, was advised by Mor Harchol-Balter.

Shroeder remained at Carnegie Mellon University for two years as a postdoctoral researcher with Garth Gibson before taking a faculty position at the University of Toronto. Schroeder was given a Tier 2 Canada Research Chair in Reliable and Efficient Data Centres in 2014, renewed in 2019. She is a professor in the Department of Computer and Mathematical Sciences of the University of Toronto,

Recognition
Schroeder was a 2013 recipient of the Outstanding Early Career Computer Science Researcher Award of Computer Science Canada/Informatique Canada. She was awarded a Sloan Research Fellowship in 2013.

Her research has won two USENIX test of time awards. At FAST 2019, she was given the award for a 2007 paper with Garth Gibson entitled "Disk Failures in the Real World: What Does an MTTF of 1,000,000 Hours Mean to You?". At FAST 2022, she was awarded a second time for her 2008 paper "An Analysis of Data Corruption in the Storage Stack", written with Lakshmi N. Bairavasundaram, Garth Goodson, Andrea Arpaci-Dusseau, and Remzi Arpaci-Dusseau.

References

External links
Home page

Year of birth missing (living people)
Living people
Computer scientists
Women computer scientists
Saarland University alumni
Carnegie Mellon University alumni
Academic staff of the University of Toronto
Sloan Research Fellows
Canada Research Chairs
NASA Astronaut Group 24. NASA Astronaut Group 24 (nickname currently unknown) was announced on March 5, 2024, alongside the graduation of the previous NASA Astronaut Class, NASA Astronaut Group 23.

History
NASA announced the creation of this astronaut group in March 2024 and accepted applications for astronaut hires during the month of March 2024 ending April 16, 2024.

See also
 2022 European Space Agency Astronaut Group

References

Lists of astronauts
NASA Astronaut Corps
2024 in spaceflight
2024 establishments in the United States
Zhongji Innolight. Zhongji Innolight  () is a publicly listed Chinese company that engages in the manufacture and sale of telecommunication transceiver modules.

Background

Shandong Zhongji Electrical Equipment (1987 to 2017) 
In 1987, Shandong Zhongji Electrical Equipment was founded originally in Longkou as a machinery manufacturing factory.

In 1999, the company restructured from  a collective enterprise to a private enterprise. It was one of the earliest companies in China to independently develop and manufacture CNC machines for motor winding.

In 2000, the company was recognized as a national high-tech enterprises by the Ministry of Science and Technology.

In April 2012, Shandong Zhongji Electrical Equipment held its initial public offering (IPO) becoming a listed company on the Shenzhen Stock Exchange.

InnoLight Technology (2008 to 2017) 
In April 2008, InnoLight Technology (IT) was founded. It produced high-speed optical transceivers that facilitate communication between servers. The company experience significant growth due to popularity of cloud computing. Investors of the firm included Google Capital, Lightspeed Venture Partners and Oriza Holdings who chose to invest in it due to its importance to data centers.

In June 2015, IT planned to hold an IPO on the Nasdaq under the symbol INLT. The deal size was expected to be $100 million. However, in December 2016, it withdrew its application.

Zhongji Innolight (2017 to present) 
In 2017, Shandong Zhongji Electrical Equipment acquired IT. The company was restructured to form Zhongji InnoLight which kept the same stock ticker.  The machinery business was spun out as a separate entity, Shandong Zhongji Intelligent Equipment (SZIE). Zhongji InnoLight would be the holding company for both IT and SZIE.

In February 2020, Zhongji InnoLight acquired Chengdu Tsuhan Science & Technology, a provider of optical components and transceivers.

In July 2023, Zhongji InnoLight acquired Chongqing Junge Electronic Technology, a producer of electronic products.

References

External links
 

1987 establishments in China
2012 initial public offerings
Chinese brands
Companies based in Shandong
Companies listed on the Shenzhen Stock Exchange
Electronics companies established in 1987
Telecommunication equipment companies of China
Companies in the CSI 100 Index
1978 in Yantai
Hangzhou Silan Microelectronics. Silan Microelectronics (Silan; ) is a publicly listed Chinese semiconductor company headquartered in Hangzhou.

The company focuses on the design of integrated circuit (IC) chip and the manufacturing of semiconductor microelectronics-related products. It is one of the largest integrated device manufacturers (IDM) in China.

Background 

On 25 September 1997, inspired by a speech during Deng Xiaoping's southern tour, Chen Xiangdong and six other partners founded Silan. It was one of the first private IC manufacturing companies in China.

On 11 March 2003, Silan held its initial public offering becoming a listed company on the Shanghai Stock Exchange. It was the first IC design company to be publicly listed in China.

Silan originally started with a 5-inch wafer chip production line that produced 5,000 pieces a month. After its listing, Silan started building its 6-inch production line.

During the 2007–2008 financial crisis, Silan suffered due to a decline in sales orders and a tight cash flow caused by banks requiring it to provide additional loan guarantees. The Hangzhou Municipal Government provided Silan with relief which allowed Silan to repay the loan in six months and emerge from the crisis. After the crisis, Silan adjusted its product line from traditional consumer electronics to more high-end products which were in line with the IDM model.

In 2017, Silan's 8-inch wafer fab started production making it the first in China. By 2020, its monthly production capacity reached 60,000 pieces. It received over 1 billion yuan in funding support from the China Integrated Circuit Industry Investment Fund (ICF).

In February 2022 it was reported that ICF planned to invest 600 million yuan into Silan's 12-inch chip project that was launched in 2021.

In October 2022, Silan announced it aimed to raise 6.5 billion yuan via private placement to expand its output of vehicle power semiconductors due to domestic demand.

See also
Hangzhou Changchuan Technology
Semiconductor industry in China

References

External links
 

1997 establishments in China
2003 initial public offerings
Companies based in Hangzhou
Companies listed on the Shanghai Stock Exchange
Electronics companies established in 1997
Semiconductor companies of China
Architecture astronaut. In software development, an architecture astronaut is a term for an individual who is focused on abstract ideas underpinning software design. It is often used pejoratively. The concept was popularized by developer Joel Spolsky in his 2001 essay, "Don't let architecture astronauts scare you", in which he criticized their tendency to see patterns in everything as "absurd". Programmer John Carmack has defined architecture astronauts as "a class of programmers or designers who only want to talk about things from the highest level."

An abstract approach to software architecture can help build an understanding of the bigger picture, and the ability to communicate ideas to a broad group of stakeholders can be valuable. However, the architecture astronaut can take this approach to an extreme, and become disconnected from the systems they are designing. While they may impress others initially with their ability to speak confidently and at extremely high levels of abstraction, their actual designs often lack technical depth and practicality. Demonstrating little regard for logistical details about how their ideas should be executed, they may ultimately lose the respect of their development teams. According to Spolsky: When you go too far up, abstraction-wise, you run out of oxygen. Sometimes, smart thinkers just don't know when to stop, and they create these absurd, all-encompassing, high-level pictures of the universe that are all good and fine, but don't actually mean anything at all.In 2021, John Carmack, then CTO of Oculus consulting, described the metaverse as "a honeypot trap for architecture astronauts". He lamented that Mark Zuckerberg's focus on building the metaverse could result in thousands of people spending years building things that would not end up being useful.

Other projects that have been characterized as the work of architecture astronauts include XHTML 2.0, which HTML5 evangelist Bruce Lawson described in 2010 as "a beautiful specification of philosophical purity that had absolutely no resemblance to the real world."

References 

Software engineering terminology
Software architecture
Snake (malware). Snake was malware developed by the Federal Security Service of Russia. It was one of the most used tools by FSB's Center 16 and formed a part of the Turla toolset. It saw use in at least 50 countries, being employed to collect data from government networks, diplomatic communication and research facilities.

History 
Its development began in 2003 as “Uroburos”. By early 2004, development was finished and cyber operations using the malware had started. On 8 May 2023, under Operation MEDUSA, the FBI and other agencies took down Snake's infrastructure.

References 

Malware
Trimolybdenum phosphide. Trimolybdenum phosphide is a binary inorganic compound of molybdenum metal and phosphorus with the chemical formula .

Preparation 
Trimolybdenum phosphide can be obtained via electrolysis of a melt mixture of molybdenum hexametaphosphate with molybdenum(VI) oxide and sodium chloride.

Properties
Trimolybdenum phosphide  forms grey crystals of tetragonal crystal system with space group I4. It is insoluble in water. Trimolybdenum phosphide becomes superconducting at 7 K.

Uses
Trimolybdenum phosphide can be used as a catalyst for electrocatalytic processes. It can also be used in accumulators.

References

Molybdenum compounds
Phosphorus compounds
Phosphides