جست‌وجوی استاد و پژوهشگر

Kevin W. Hamlenمشاهده پروفایل

استاد

• Cybersecurity
• Software Security
• Formal Methods
• +۶ مورد دیگر

Kevin W. Hamlen is the Louis A. Beecherl, Jr. Distinguished Professor in the Department of Computer Science at the University of Texas at Dallas. He serves as Executive Director of UT Dallas' Cyber Security Research and Education Institute. His research focuses on language-based security , binary software hardening , cyberdeception , and formal program verification . He has received multiple grants from agencies like AFOSR, NSF, DARPA, and industry partners including Lockheed Martin and Intel. PhD and MS from Cornell University BS from Carnegie Mellon University His research explores automated approaches to software security through techniques like binary disassembly , control-flow integrity , and honey-patching . He has pioneered methods for malware defense and cloud/web/mobile security . Recent work examines adaptive cyberdeception and GPU-based security frameworks . His publications span binary code manipulation , malware mitigation , and blockchain security . Key awards include the NSF IUCRC Technology Breakthrough Award and two CSAW Best Paper 2nd Prizes . He advises numerous PhD students, many of whom now work at Google, IBM, and Microsoft. His book Autonomous Cyber Deception (Springer, 2019) with Ehab Al-Shaer and Cliff Wang provides comprehensive coverage of adaptive cyberdeception strategies.

Tom Robyمشاهده پروفایل

استاد

• Algebraic Combinatorics
• Enumerative Combinatorics
• Dynamical Algebraic Combinatorics
• +۴ مورد دیگر

Tom Roby is a tenured full Professor in the Department of Mathematics at the University of Connecticut (UConn). He holds a Ph.D. in algebraic combinatorics from MIT under Richard Stanley, with prior degrees from Swarthmore College and Kenwood Academy. His research focuses on algebraic and enumerative combinatorics, particularly birational rowmotion, homomesy, and dynamical algebraic combinatorics. He has held faculty roles at Cal State Hayward (now East Bay), the University of Wisconsin, Reed College, and the University of Tokyo as a JSPS postdoctoral fellow. Roby has directed the Quantitative Learning Center (Q Center) at UConn from 2005–2012 and contributed to educational outreach programs such as ACCLAIM and PROMYS. His teaching includes courses like Math 2210Q (Applied Linear Algebra). He actively engages in academic service, including directing summer programs for students and K–12 teachers. His work bridges theoretical research with practical education, emphasizing combinatorial dynamics and algebraic structures. His professional activities include organizing workshops on dynamical algebraic combinatorics and publishing extensively on topics like rowmotion, toggling, and poset dynamics. He maintains a robust online presence with course materials, software resources, and collaborations through platforms like Zulip and Nexus.

• Graphics
• Augmented Reality
• Game Design
• +۳ مورد دیگر

Craig Caldwell is a Professor in the Department of Film & Media Arts at the University of Utah and serves as a USTAR Professor. He is also an Adjunct Professor in the School of Computing (2011–2016). He co-founded the Master’s in Games Program within the Entertainment Arts & Engineering at the University of Utah. Caldwell has extensive industry experience, including roles as Head of Creative Training at Electronic Arts (Tiburon Studio) and 3D Technology Specialist at Walt Disney Feature Animation, contributing to films like Mulan , Tarzan , and Bolt . Academically, he previously led the largest film school in Australia at Griffith University and chaired the Media Arts Department at the University of Arizona. Research Interests: Focus on graphics, augmented reality, game design, virtual reality, and storytelling in media. His book, Story Structure and Development: A Guide for Animators, VFX Artists, Game Designers, and Virtual Reality (CRC Press), underscores his expertise in narrative frameworks for digital media. Presentations & Engagement: Regular presenter at global conferences including SIGGRAPH (2014–2023), FMX (2013–2024), Sundance, and Comic-Con. His work bridges academic research with industry applications in animation and interactive media. Education: BFA in Art, Florida Southern College, 1972 MFA in Art, University of Florida, 1974 PhD in Advanced Computing Center for Art and Design, Ohio State University, 1989 Labs/Teams: Co-founder of the Games Program, fostering interdisciplinary education in entertainment arts and engineering.

Christopher Thomas Ryanمشاهده پروفایل

دانشیار

• Optimization
• Game Theory
• Theoretical Economics
• +۷ مورد دیگر

Christopher Thomas Ryan is an Associate Professor in the Operations and Logistics Division at the UBC Sauder School of Business. He holds a PhD and BA from UBC in Management Science and Mathematics, respectively. His research spans optimization theory, game theory, theoretical economics, video game design, and pedagogy for business education. He has held positions at the University of Chicago Booth School of Business and is affiliated with the Colibri Learning Foundation. Education: BA (Mathematics) and PhD (Management Science) from UBC; BA (Sociology and Economics) from University of Guelph. He has authored numerous textbooks and case studies, including works on research careers, operations management, and teaching methodologies. His work integrates human-centric approaches to operations and education systems. Research Interests include small business operations, education operations, theoretical economics, and the design of video games. He has published in top journals like Management Science, Econometrica, and Mathematical Programming. His grants include SSHRC and NSERC awards. Ryan advises students across multiple institutions and has mentored prominent faculty in marketing, operations, and MIS fields. Teaching focuses on core operations management for MBA programs and pedagogical innovation. He has developed cases on AI in education, early childhood development, and small business sustainability. Ryan’s work bridges academic research with practical applications in business and education sectors.

Zhou Zhouمشاهده پروفایل

مدرس ارشد

• Stochastic Control
• Mathematical Finance
• Optimal Stopping Problems
• +۳ مورد دیگر

Zhou Zhou is a Senior Lecturer in the School of Mathematics and Statistics at the University of Sydney. His academic roles include Senior Lecturer (2022–present) and Lecturer (2018–2021) at the University of Sydney, as well as postdoctoral positions at the University of Michigan and University of Minnesota. He holds a Ph.D. in Applied & Interdisciplinary Mathematics from the University of Michigan (2015) and a B.S. in Mathematics from Nankai University (2010). His research focuses on stochastic control, mathematical finance, and game theory, with particular emphasis on time-inconsistent problems, optimal stopping, and equilibrium strategies. Key areas include applications in financial mathematics, stochastic processes, and dynamic optimization. His work has been published in journals such as Mathematical Finance, SIAM Journal on Control and Optimization, and Finance and Stochastics. Zhou has secured grants including the 2023 Faculty of Science Startup Scheme for time-inconsistent control research and the 2022 Australian Research Council grant on green investment impacts. He teaches courses like Arbitrage Pricing in Continuous Time and supervises research students in financial mathematics. His academic contributions span over 50 publications, with notable work on binomial-tree approximations for stopping problems, equilibrium strategies in mean-field games, and policy iteration for stochastic control. Presentations include talks at international conferences and universities worldwide, emphasizing interdisciplinary applications of stochastic analysis.

Rob Leyمشاهده پروفایل

استاد مدعو

• Public Art
• Architectural Design
• Urban Design
• +۳ مورد دیگر

Rob Ley is an Adjunct Professor at the USC School of Architecture, specializing in experimental architectural design and public art. He founded Rob Ley Studio, known for installations at venues like the Storefront for Art and Architecture (New York) and the Taubman Museum of Art. His work spans public commissions for institutions such as Eskenazi Hospital and O’Hare Airport. Ley holds a B.Arch from the University of Illinois and an M.Arch from UCLA. Education: Bachelor of Science in Architecture, University of Illinois, Urbana-Champaign (1993–1996) Master of Architecture, University of California, Los Angeles (1997–2000) Ley’s research focuses on integrating technology and innovation into public spaces, with a secondary emphasis on the social impact of design. His studio’s projects highlight experimental approaches to urban environments and community engagement. Awards & Grants: 2015 American’s for the Arts - Public Art Network Year in Review Award Graham Foundation Grant AIA Research Grants IDEC Special Projects Grant 2010 Best Storefront Design Award (Municipal Art Society of New York) Ley teaches graduate and undergraduate design studios at USC, emphasizing digital fabrication and materials innovation. He has lectured globally on public art and design at institutions such as Cooper Union and the American Institute Vienna. His work bridges architectural practice with social responsibility, advocating for design solutions that address urban challenges.

• Cryptography
• Theoretical Computer Science
• Zero-Knowledge Proofs
• +۵ مورد دیگر

Nir Bitansky is an associate professor of computer science at New York University's Courant Institute, part of the Theory Group and Cryptography Group. He previously held a faculty position at Tel Aviv University (now on leave) and was a postdoctoral researcher at MIT CSAIL, advised by Vinod Vaikuntanathan. His Ph.D. from Tel Aviv University was under Ran Canetti. His research focuses on foundational aspects of cryptography and computational complexity, including zero-knowledge proofs, obfuscation, and post-quantum security. Research Interests: His work bridges theoretical computer science and cryptography, addressing topics such as secure computation, cryptographic hardness assumptions (e.g., LWE, PPAD), privacy-preserving protocols, and quantum-resistant cryptography. Key areas include randomized encodings, succinct arguments, and the interplay between complexity theory and cryptographic primitives. Publications: His recent work emphasizes post-quantum cryptography (e.g., zero-knowledge protocols, commitment schemes) and foundational results in obfuscation. Notable contributions include advancements in batch proofs, non-interactive arguments, and the cryptographic hardness of local search problems. Students and Postdocs: Advised Ph.D. students include Sapir Freizeit, Nathan Geier, and Omri Shmueli (co-advised with Zvika Brakerski). Hosted postdocs such as James Bartusek (now at Columbia) and Rachit Garg. Collaborates widely, co-authoring papers with figures like Vinod Vaikuntanathan and Omer Paneth. Affiliations: Serves on program committees for top venues (e.g., CRYPTO, EUROCRYPT, FOCS). Taught courses on cryptography fundamentals, advanced topics, and lattices at TAU and NYU.

Ashish Cherukuriمشاهده پروفایل

دانشیار

• Optimization
• Control Systems
• Multi-agent Systems
• +۷ مورد دیگر

Ashish Cherukuri is an Associate Professor at the University of Groningen's Faculty of Science and Engineering, affiliated with the Optimization and Decision Systems group. His research focuses on optimization-based control, game theory, and multi-agent systems applied to energy, transportation, and robotics. He holds a Ph.D. from UC San Diego and postdoctoral experience at ETH Zurich. Education: Ph.D., University of California, San Diego (2012–2017) M.Sc., ETH Zurich (2008–2010) B.Tech, Indian Institute of Technology Delhi (2004–2008) Research Interests: Data-driven optimization, distributed algorithms, networked cyber-physical systems, and uncertainty handling in energy and transportation systems. Recent work emphasizes stochastic optimization, game-theoretic routing, and risk-aware control. Awards: Robert E. Skelton Dissertation Award (2017) Outstanding Graduate Student Award (2016) Focht-Powell Fellowship (2012–2015) Grants & Service: Editor for the IEEE Control Systems Society, organizer of Energy-Open 2019, and member of professional societies (IEEE, INFORMS, SIAM). Active in conference organization and academic leadership roles. Labs/Teams: Part of the Jan C. Willems Center for Systems and Control and the Engineering and Technology Institute Groningen (ENTEG). Research integrates theoretical advancements with practical applications in energy networks and smart systems.

Dilian Gurovمشاهده پروفایل

استاد

• Software Specification and Verification
• Multi-Agent Strategic Planning
• Formal Methods
• +۳ مورد دیگر

Dilian Gurov is a Professor in Computer Science at KTH Royal Institute of Technology, associated with the Digital Futures Faculty and the Division of Theoretical Computer Science. He also coordinates the Doctoral Programme in Computer Science at the CSC school. Before joining KTH in 2002, he earned a Ph.D. from the University of Victoria, Canada (1998), and worked at the Swedish Institute of Computer Science (1997-2002). His research focuses on software specification and verification, including contracts, program models, logics, and tools, as well as multi-agent strategic planning involving knowledge-based strategies in imperfect information settings. Key contributions include the CAV Distinguished Paper Award 2023 for 'Automatic Program Instrumentation for Automatic Verification' and an EASST award for 'Checking Absence of Illicit Applet Interactions: A Case Study' (2004). He leads projects funded by VR (SEFROS, ContraST) and Vinnova (AVerT2) and collaborates with industries like Scania on formal verification of C programs. His service roles span over 30 conference committees and organization roles, including PC memberships for iFM, TAP, and ISoLA. Teaching responsibilities include courses such as 'Formal Methods,' 'Program Semantics and Analysis,' and 'Knowledge in Games with Imperfect Information.' His work emphasizes practical applications of formal methods, bridging academic research with industry needs through collaborations and tool development (e.g., CVPP, ProMoVer, TriCo).

• Macroeconomics
• Family Economics
• Labor Market
• +۳ مورد دیگر

Matthias Kredler serves as Associate Professor of Economics and Ramón y Cajal Researcher at Carlos III University of Madrid, specializing in macroeconomic dynamics of aging populations, family insurance mechanisms, and labor market structures. His research bridges theoretical modeling and policy analysis with significant contributions to long-term care economics and human capital theory. He holds a Ph.D. in Economics from New York University and a Diploma in Economics from Ludwig-Maximilians-Universität Munich, complemented by a Visiting Assistant Professorship at the University of Pennsylvania. Kredler's scholarly work centers on household decision-making in old age, examining how families navigate savings, housing, and care provision amid demographic shifts. His signature approach integrates vintage-human-capital models with intergenerational transfer analysis, revealing how informal family care interacts with formal systems. Recent publications demonstrate increasing focus on cross-national policy comparisons, particularly European and U.S. long-term care frameworks. His publication trajectory shows consistent output in premier journals including Review of Economic Studies and Journal of Economic Theory , with recent work emphasizing housing wealth's role in old-age security and the nuanced dynamics of altruistic family behavior. Key recognition includes: Ramón y Cajal Fellowship (Spain's competitive early-career research award) Kredler mentors graduate students through thesis supervision and teaches advanced courses including Macroeconomics II and Quantitative Macroeconomics with Heterogeneous Agents in the Ph.D. program. His research on long-term care systems received targeted funding from Fundación Ramón Areces, reflecting its policy relevance. He actively participates in the Macroeconomics Reading Group at UC3M, fostering collaborative research on heterogeneous-agent models and their applications to real-world economic challenges.

Jindan Niمشاهده پروفایل

مدرس ارشد

• Japanese Literature
• Chinese Literature
• Comparative Literature
• +۳ مورد دیگر

Dr. Jindan Ni is a Senior Lecturer in the Department of Global and Language Studies at RMIT University's School of Global, Urban and Social Studies. She holds academic affiliations at RMIT's City Campus and can be reached at jindan.ni@rmit.edu.au . Her career includes prior roles such as Sessional Lecturer at the University of Melbourne (2015–2017) and Lecturer of Japanese Language and Culture at Fujian Normal University, China (2010–2011). She currently oversees supervision for research projects including Female Images in the English Translations of Shui Hu Zhuan and Understanding Female Chinese International Students' Negotiation of Gender and Cultural Norms . Her research focuses on Japanese and Chinese literature, comparative literature, translation studies, and language education. Dr. Ni explores interdisciplinary themes such as cross-cultural literary dialogues and the intersection of gender with cultural norms. She has engaged with UN Sustainable Development Goals including Quality Education, Gender Equality, and Reduced Inequalities. Notable professional contributions include editorial roles for The Australian Review of Applied Linguistics and membership in organizations like the Modern Language Association. Dr. Ni has received the Japan Foundation Fellowship (2023–2024) and actively participates in academic committees such as the Research Committee of Global, Urban and Social Studies. Her teaching spans Chinese language courses and drama-based learning modules. She advocates for culturally responsive pedagogies and has published widely on topics ranging from classical literature to modern translation practices.

Marcus Botacinمشاهده پروفایل

استادیار

• Malware Analysis
• Hardware-Assisted Security
• Antivirus Technology
• +۴ مورد دیگر

Marcus Botacin is an Assistant Professor in the Department of Computer Science & Engineering at Texas A&M University (TAMU), USA. Previously, he held positions as Visiting Assistant Professor (2022-2024) and Lecturer at the Federal University of Paraná (Brazil). His research focuses on malware analysis, hardware-assisted security, and antivirus technology. He earned his Ph.D. in Computer Science from UFPR (2021), M.Sc. from UNICAMP (2017), and B.Sc. in Computer Engineering from UNICAMP (2015). Education: Ph.D., Computer Science, Federal University of Paraná, Brazil (2021) M.Sc., Computer Science, University of Campinas, Brazil (2017) B.Sc., Computer Engineering, University of Campinas, Brazil (2015) Research Interests: Botacin's work addresses challenges in malware detection (static/dynamic methods, sandboxing), hardware-enhanced security mechanisms (e.g., branch monitoring), and antivirus internals. He emphasizes practical solutions and ethical considerations in cybersecurity, advocating for culturally aware threat models (e.g., Brazilian financial malware studies). Publications & Trends: His recent work explores adversarial ML attacks on malware detectors, HPC-based detection frameworks, and automated malware generation risks. He frequently publishes in top venues like ACM CCS, USENIX Security, and IEEE TDSC. Awards: Top-3 Best Ph.D. Thesis in Computer Security (Brazilian Computer Society, 2022) Best PhD Thesis Award from UFPR (2022) MLSec Evasion Challenge 1st place (2021/2020) Advising & Grants: Supervises 15+ students at TAMU and leads NSF-funded projects (e.g., $523K grant for HPC malware detection frameworks). Serves on 21+ conference program committees and reviews for over 50 journals. Lab & Projects: Develops Corvus (public malware analysis sandbox) and explores hardware-accelerated AV solutions like Terminator and HEAVEN.

John Nachbarمشاهده پروفایل

استاد

• Economic Theory
• Game Theory
• General Equilibrium Theory
• +۳ مورد دیگر

John Nachbar is a Professor of Economics and Director of Undergraduate Studies in Economics at Washington University in St. Louis. He holds a PhD from Harvard University and has been affiliated with the university since 1990, following a two-year tenure at RAND Corporation. His research focuses on microeconomic theory, game theory, and general equilibrium theory. Education: PhD in Economics, Harvard University. Research interests emphasize foundational aspects of economic decision-making, including strategic interactions in repeated games, equilibrium analysis, and evolutionary dynamics in game-theoretic contexts. His work has been published in leading journals like Econometrica and International Journal of Game Theory . Award highlights include Fellowships from the Econometric Society (2009-present) and the Society for the Advancement of Economic Theory (2011-present), alongside the Outstanding Faculty Mentor Award (2007-2008). He serves on the Master Program Management Committee and is actively involved in undergraduate economics education. His advising and mentorship have been formally recognized, reflecting his dedication to student development. No specific grants or lab affiliations are explicitly stated, though his research contributions align with theoretical economics frameworks.

• Operations Research
• Optimization
• Combinatorial Optimization
• +۶ مورد دیگر

Michael Trick is the Senior Associate Dean for Faculty and Research and Higgins Professor of Operations Research at the Tepper School of Business, Carnegie Mellon University. His research focuses on combinatorial optimization, sports scheduling, constraint programming, and operations research applications. He has contributed to seminal work on sports timetabling (e.g., scheduling college basketball conferences) and the traveling tournament problem. Trick's work bridges theoretical advancements with practical applications, including integer programming, branch-and-price methods, and stochastic dynamic programming. He has led initiatives in operations research education and served as President of INFORMS, emphasizing the field's societal impact. His research also spans voting systems, optimization for newspaper zoning, and algorithmic design for complex scheduling problems. Trick's expertise spans academic leadership, research methodology, and cross-disciplinary applications. His articles address topics like auction design for spectrum allocation, bike-sharing logistics, and robust scheduling strategies. He collaborates across academia and industry, contributing to both theoretical advancements and real-world operational challenges. His work often highlights the practical utility of mathematical programming techniques in diverse domains.

Karim Aliمشاهده پروفایل

دانشیار

• Programming Languages
• Static Analysis
• Software Security
• +۸ مورد دیگر

Karim Ali is an Associate Professor of Computer Science at New York University Abu Dhabi (NYUAD), where he leads research in programming languages, static analysis, security, and compilers. He is affiliated with the Department of Computer Science within the College of Arts and Science. Prior to joining NYUAD, he served as an Associate Professor at the University of Alberta. His academic training includes a BSc from The American University in Cairo, and MMath and PhD degrees from the University of Waterloo, completed in 2014. BSc: The American University in Cairo MMath: University of Waterloo PhD: University of Waterloo (2014) His research focuses on making static analysis tools more practical by enhancing their scalability, precision, and usability. He investigates program analysis techniques applicable to real-world software, with applications in security, just-in-time compilation, and mobile app development. His work spans theoretical foundations and tool development, including the SWAN framework for Swift and contributions to secure cryptographic API usage through CogniCrypt. The recent publications reflect a strong trend in developer-centric static analysis, secure coding, energy efficiency in mobile apps, and compiler optimization. His work combines empirical studies with tool-building, emphasizing usability and integration into developer workflows. Scientific Awards: Dahl-Naygaard Junior Prize (2021) ACM SIGSOFT Distinguished Paper Award ACM SIGPLAN Distinguished Paper Award Distinguished Artifact Award, ECOOP 2014 Karim Ali has mentored numerous students and collaborated extensively with researchers worldwide. His lab has contributed tools adopted by major static analysis frameworks like Soot, WALA, and DOOP. He has secured research recognition through awards and industrial impact, including helping Symantec fix a security vulnerability. He teaches core courses such as Computer Systems Organization and supervises capstone projects, guiding students in original research. His lab conducts research on programming languages and static analysis, with projects including SWAN for Swift analysis, usability studies of static analysis tools, and development of precise pointer analysis techniques. The team works on both academic research and practical tooling for developers.