JHU/APL CIRCUIT internship program information session

3:00-4:00 pm Friday, 31 January 2020

ITE 459, UMBC

There will be a special information session on the JHU/APL CIRCUIT internship program from 3:00 pm to 4:30 pm on Friday, 31 January 2020 in room ITE 459.

This session is for undergraduates who want to spend their summer (June through August) getting paid to do mentored research at the Johns Hopkins University Applied Physics Lab. The research areas include AI, data science, cybersecurity, precision medicine, and planetary exploration.

Interns selected for the program will do mission-oriented research on-site at JHU/APL in Laurel MD mentored by STEM professionals. There will also be year-round opportunities for engagement and enrichment. The selection for an internship will be based on a combination of potential, need and commitment.

Email *protected email* or *protected email* with questions.

The post JHU/APL CIRCUIT internship program information session, 3pm Fri 1/31 appeared first on Department of Computer Science and Electrical Engineering.

The UMBC Cyber Defense Lab presents

Interactive Proof Assistants for Verification

Ian Blumenfeld
Principal Research Mathematician
Two Six Labs   

12:00-1:00 pm Friday,  31 January 2020, ITE 227

Many advances have been made in software and hardware assurance using automated tooling.  Constraint-based solving tools like SAT and SMT solvers have proved very useful proving functional correctness in the world of software, while the hardware world relies heavily on the use of industrial-strength model checkers to provide formal verification of important properties like liveness and non-interference.  Sometimes, however, push-button tools are simply not enough. In this talk, we will discuss formal mathematical reasoning using interactive proof assistants, particularly Isabelle. While Isabelle is often thought of as a tool for checking the work of mathematicians, it is, in fact, a powerful engine for reasoning about software and hardware security.  We will work through an example of the verification of a multi-precision arithmetic software library using Isabelle. This talk is aimed at total beginners in the realm of automated theorem proving, and seeks to provide an overview of the fundamental techniques and ideas. 

Ian Blumenfeld is a Principal Research Mathematician at Two Six Labs.  He currently is the principal investigator of TwoSix’s efforts on the DARPA SafeDocs program, attempting to help do type-theoretic reasoning about document specification formats.  He is a former employee of Apple where he worked on the formal verification team, ensuring the security of the iPhone SEP chip. He has done extensive work verifying cyber-physical systems at Johns Hopkins APL.  Mr. Blumenfeld’s interest in formal methods began with his time working as an Applied Research Mathematician in NSA’s Research Directorate. He’s also a pretty good swing dancer.

Host: Alan T. Sherman, *protected email*

Support for this event was provided in part by the National Science Foundation under SFS grant DGE-1753681. 

The UMBC Cyber Defense Lab meets biweekly Fridays.  All meetings are open to the public.

The post talk: Ian Blumenfeld on Interactive Proof Assistants for Verification, Fri 1/31 appeared first on Department of Computer Science and Electrical Engineering.

Lockheed Martin Distinguished Speaker Series

Designing Secure Hardware Systems

Shawn Blanton

Trustee Professor, Electrical and Computer Engineering
Carnegie Mellon University

1:00-2:00pm Friday 7 Feb. 2020

Commons 329, UMBC
University Center Ballroom

On October 29, 2018, DARPA issued an RFI that stated: “This Request for Information (RFI) from the Defense Advanced Research Projects Agency’s (DARPA) Microsystems Technology Office (MTO) seeks information on technology, concepts, and approaches to support the integration of security capabilities directly into System on Chip (SoC) system design and to enable the autonomous integration and assembly of SoCs.

This RFI and the tens of millions of dollars that the US government has already invested in hardware security research and development is based on the fact that the fabrication of state-of-the-art electronics is now mostly overseas. With the recent announcement that GLOBALFOUNDRIES is going to stop all 7nm development, there is now only one company in the US that continues to pursue advanced semiconductors (Intel). Unfortunately, Intel does not have the same experience of making chips for third parties as does Samsung and (most importantly) TSMC (Taiwan Semiconductor Manufacturing Corporation). As a result, the US government believes it will be forced to fabricate advanced, sensitive electronics overseas in untrusted fabrication facilities. As a result, there is keen interest in design methodologies that mitigate reverse engineering, tampering, counterfeiting, etc.

In this talk, an overview of hardware security will be presented followed by a discussion on a concept called logic locking. This approach will be described and the “back and forth” that is now occurring in the research community involving: (i) vulnerability discovery and (ii) logic locking improvement.

Shawn Blanton is a professor in the Electrical and Computer Engineering Department at Carnegie Mellon University and Associate Director of the SYSU-CMU Joint Institute of Engineering (JIE). In 1995 he received his Ph.D. in Electrical Engineering and Computer Science from the University of Michigan, Ann Arbor. His research interests include various aspects of integrated system tests, testable design, and test methodology development. He has consulted for various companies and is the founder of TestWorks, a Carnegie Mellon University spinout focused on information extraction from IC test data. He is a Fellow of the IEEE and Senior Member of the ACM and served as the program chair for the 2011 International Test Conference.

The post talk: Shawn Blanton (CMU) on Designing Secure Hardware Systems, 1pm Fri 2/7; COmmons 329 appeared first on Department of Computer Science and Electrical Engineering.

URCAD 2020 Applications now open

UMBC’s 24th Annual Undergraduate Research and Creative Achievement Day will be held on April 22, 2020. Apply to present your research or creative work by February 14, 2020.

All current undergraduates who have conducted research, scholarship or creative work in the last year may apply to present their results at URCAD. Student work is shared through oral presentations, posters, artistic exhibits and performances, and film. Mentors, fellow students, friends, family members, high school teachers and students, graduate school recruiters, and the general public are invited to attend.

Researchers work with faculty mentors on independent research or research that is part of the mentor’s on-going projects.  They are from all disciplines and can be working on a thesis, capstone project, part of a scholars or honors program, or they can be unaffiliated with other programs.

Students who have received Undergraduate Research Awards for the previous year will present their findings. The UMBC Review, UMBC’s annual peer-reviewed research journal, which features academic papers written by UMBC undergraduates, makes its debut at this event- stop by and get your copy! Come hear the alumni keynote speaker talk about their experiences after UMBC, and how being an undergraduate researcher benefited them.

UMBC is unique in providing this opportunity for undergraduate students to conduct and present their research in a professional and supportive setting.  Students get valuable feedback from their peers, faculty, and staff, and practice their public speaking and presentation skills.  This campus-wide celebration of achievement affirms UMBC’s commitment to the twin goals of research and a distinctive undergraduate experience.

For more information and to apply, visit the URCAD site.

The post URCAD 2020 Applications are now open appeared first on Department of Computer Science and Electrical Engineering.

Global Game Jam 2020 registration

Registration for the 2020 Global Game Jam is open!

For the 12th(!) year in a row, UMBC is the Baltimore host site for the Global Game Jam! It will run from 5:00 pm Friday, January 31st to 5:00 pm Sunday, February 2nd, just after classes start. Space is limited, so sign up now!

For anyone who hasn’t participated, the global game jam is a 48-hour game development event, similar in spirit to a hackathon, with hundreds of host sites around the world. At 5:00 pm local time, introduce the jam and announce this year’s theme. Previous year’s themes have ranged from a phrase (“as long as we’re together there will always be problems”) to a word (“extinction”) to an image (ouroboros: a snake eating its tail), to a sound (the recording of a heartbeat). Participants brainstorm game ideas around the theme, form into teams, and spend the weekend building games that are designed to be both fun and express the theme.

The UMBC site is not restricted to just students. In previous years, we have had a mix of UMBC students, alumni, students from other schools, game development professionals, and just people with an interest in game development. You can get more information on game jams, the GGJ, and the UMBC site on the UMBC Games, Animation and Interactive Media web page.   

The UMBC site is limited to just 40 participants, so sign up early if you want to come. If you are not near UMBC, check the main Global Game Jam site for a participating location near you.

The post Global Game Jam at UMBC, 5pm Fri 1/31 – 5pm Sun 2/2 appeared first on Department of Computer Science and Electrical Engineering.

UMBC fields two teams in 2019 Pan-American Intercollegiate Team Chess Championship

The UMBC Chess program has two four-player teams competing in the 2019 Pan-American Intercollegiate Team Chess Championship this weekend in Charlotte, North Carolina. The four day tournament starts this Friday evening at 6:30 and finishes with a final round on Monday morning. The Pan-Am collegiate chess team competition has been held since 1946 and UMBC has won ten times since 1996, tying with the University of Texas Dallas for the most number of wins.

The tentative composition of the two teams in the tournament is:

• Team A: GM Tanguy Ringoir; WIM Mai Narva; IM Rohan Ahuja; IM Marek Matyas; and WIM Ewa Harazinska (alternate).
• Team B: Maor Leker; Douglas M Malcolm; Danielle Sharp; and Kabindra B Shahi.

The team is coached by Igor Epshteyn. CSEE Professor Alan Sherman is the founder and the director of the UMBC Chess program.

The top four USA schools from this six-round team Swiss championship will advance to the Final Four in April.  Initially, UMBC was ranked 8^th top school and 16^th top team among 63 teams (some schools have multiple strong teams).  The Pan-Am Intercollegiate is open to any college or university in North, Central, or South America.

You can follow UMBC’s progress at the Pan-AM website and keep track of the games, pairings, and standings at the 2019 Pan Am web site.

The post UMBC fields two teams in 2019 Pan-American Intercollegiate Team Chess Championship appeared first on Department of Computer Science and Electrical Engineering.

CMSC 201, Computer Science I (section for non-CS/non-CE majors)

Does your major require you to take CMSC 201? Or are you looking for an entry-level computing course to supplement your major?

Enroll in a special section of CMSC 201 Computer Science I (Lecture Section 40; Lab Section 41 or 42) that emphasizes programming topics applicable to many non-CS disciplines. You will also receive more individual attention in this smaller CMSC 201 section!

This section fulfills any major’s requirement for CMSC 201 and is open to all non-CS, non-computer engineering majors.

No programming experience is required. The only prerequisite is that students must have completed MATH 150, 151 or 152 with a C or better; OR have MATH test placement into MATH 151; OR have completed MATH 155 with a C or better.

For permission to enroll, email Dr. Ben Johnson at ben.johnson@umbc.edu.

CMSC 291, Continued Computing for Non-majors (3 credits, lecture only, Section 01)

Looking for computing skills beyond CMSC 201?

In CMSC 291, you will extend your Python programming knowledge, as well as learn valuable skills such as programming on your Windows/Mac OS/Linux computer, controlling your source code, web application development, web scraping (gathering data from existing websites), and database usage. There will also be plenty of in-class, hands-on time!

The course prerequisite is CMSC 201 Computer Science I (for majors or non-majors).

For permission to enroll, email Dr. Ben Johnson at ben.johnson@umbc.edu.

CMSC 201, Computer Science I (section for non-CS/non-CE majors)

Does your major require you to take CMSC 201? Or are you looking for an entry-level computing course to supplement your major?

Enroll in a special section of CMSC 201 Computer Science I (Lecture Section 40; Lab Section 41 or 42) that emphasizes programming topics applicable to many non-CS disciplines. You will also receive more individual attention in this smaller CMSC 201 section!

This section fulfills any major’s requirement for CMSC 201 and is open to all non-CS, non-computer engineering majors.

No programming experience is required. The only prerequisite is that students must have completed MATH 150, 151 or 152 with a C or better; OR have MATH test placement into MATH 151; OR have completed MATH 155 with a C or better.

For permission to enroll, email Dr. Ben Johnson at *protected email*

CMSC 291, Continued Computing for Non-majors (3 credits, lecture only, Section 01)

Looking for computing skills beyond CMSC 201?

In CMSC 291, you will extend your Python programming knowledge, as well as learn valuable skills such as programming on your Windows/Mac OS/Linux computer, controlling your source code, web application development, web scraping (gathering data from existing websites), and database usage. There will also be plenty of in-class, hands-on time!

The course prerequisite is CMSC 201 Computer Science I (for majors or non-majors).

For permission to enroll, email Dr. Ben Johnson at *protected email*

The post Spring 2020: Computing Courses for Non-Majors appeared first on Department of Computer Science and Electrical Engineering.

Professor of the Practice and Graduate Program Director,
Engineering Programs

Apply online at https://apply.interfolio.com/72004

Location  Baltimore, MD, Open Date Dec 2, 2019

The College of Engineering and Information Technology (COEIT) of the University of Maryland Baltimore County (UMBC) invites applications for a 12-month, Full Time, Non-tenure track Professor of the Practice position in the Engineering and Computing Education Program (ECEP).

RESPONSIBILITIES: Reporting to the Dean of COEIT, this position serves as the Graduate Program Director of UMBC’s suite of industry-oriented engineering programs leading to a graduate certificate, and Master of Science degree, and Masters of Professional Studies degree. The suite of engineering programs include Systems Engineering, Engineering Management, Technical Management, Integrated Product Development & Manufacturing and Project Management. These programs are offered to professional students through a partnership between the College of Engineering and Information Technology and UMBC’s Division of Professional Studies (DPS). The incumbent will teach up to two courses per semester within the suite of engineering programs. In addition to teaching, the incumbent will: oversee curriculum and instruction; recruit and supervise qualified part-time faculty; collaborate with DPS on program marketing, student recruitment and retention activities; pursue business development opportunities with industry; manage program Advisory Boards; build the programs and connect the programs with other existing and new opportunities,  and carry out the administrative duties associated with academic program oversight.

UMBC is a dynamic public research university integrating teaching, research and service. Located between Baltimore and Washington D.C., it offers numerous opportunities for collaboration in teaching, research and service as well as rich cultural resources. UMBC has been listed by the U.S. News and World Report as one of the best universities for undergraduate teaching and as a leading innovator in higher education, and it was named as a Great College to Work For by The Chronicle of Higher Education.

The College of Engineering and Information Technology (COEIT) is comprised of four departments: Chemical, Biochemical & Environmental Engineering, Computer Science and Electrical Engineering, Information Systems, and Mechanical Engineering. The faculty and staff of COEIT achieve many noteworthy accomplishments in the pursuit of academic excellence and are highly committed to supporting students in their academic journey. 

Inclusive excellence is a foundational value of our community. UMBC is an Affirmative Action / Equal Opportunity Employer and has a strong commitment to increasing faculty diversity. We seek to attract a diverse pool of candidates for this position and therefore members of under-represented groups including women, minorities, veterans, and individuals with disabilities are especially encouraged to apply.

MINIMUM QUALIFICATIONS:

Education/Experience:  Requires a doctorate degree in a relevant field with at least five years of relevant professional experience and documented college-level teaching in the classroom and/or on-line environment. Extensive experience as an engineering professional is desired.

Application Instructions

APPLICATION:  For best consideration, submit a cover letter of interest, CV, a statement of purpose including a paragraph on commitment to diversity and inclusion, and the names and telephone numbers of three professional references through the Interfolio website at https://apply.interfolio.com/72004. Document review and selection of candidates will start immediately. Position will remain open until filled.

For any questions about this position, please contact Maria Sanchez at *protected email*

The post UMBC seeks Professor of the Practice, Graduate Program Director, Engineering Programs appeared first on Department of Computer Science and Electrical Engineering.